[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [simu-conf] Symp. on Theory of Modeling and Simulation 2013 - Preliminary CFP



		          PRELIMINARY CALL FOR PAPERS
	                    CALL FOR WORKSHOPS

    SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS/DEVS 2012)

              April 7-10, 2013? San Diego, California, USA

                	    http://www.tms-devs.org

                             Sponsored by
          The Society for Modeling and Simulation International
        in cooperation with ACM/SIGSIM, IEEE CS and ICST (pending)

The purpose of this symposium is to provide a forum to discuss recent
advancements in Theory of M&S. The main focus is on theory of modeling,
methodology, practice and software to cope with the challenges arising
out of these, as well as lessons learned and challenges. The Symposium
bridges different areas in the field of Theory of M&S, including formal
modeling, model-checking, graph transformation, modeling methodologies.

All papers will be included in the conference proceedings and archived
in
the ACM Digital Library. 


Important Dates
===============
Call for Workshops and Special Sessions	September 15th, 2012
Paper Submission					November 1, 2012
Notification	 				Jan 10, 2013

WORKSHOPS
=========
Authors interested in organizing satellite workshops can contact the
Organizers before September 15th.


DEVS 2012 Organizing committee
==============================

General Chairs:
Gabriel A. Wainer, Carleton University, Canada
Pieter Mosterman, McGill University, Montreal, Canada; The Mathworks,
USA

Program Chairs:
Fernando Barros, Universidade da Coimbra, Portugal
Gregory Zacharewicz, University of Bordeaux, France

Advisory Board
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), University of Arizona, USA
(Chair)
Christos Cassandras (FIEEE, FIFAC), Boston University, USA
François Cellier (FSCS), ETH Zürich, Switzerland
Mo Jamshidi (FIEEE, FASME, FAAAS), University of Texas at San Antonio,
USA
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA


Further information in the Conference website
=============================================
http://www.tms-devs.org

[Apologies for multiple postings]