[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



		          	    CALL FOR PAPERS

    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 

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
===============
Paper Submission			November 15, 2012
Notification	 		Januray 10, 2013
Ready Camera Paper		February 5, 2013


DEVS 2013 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
(Founder and 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]