Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Symposium on Theory of Modeling and Simulation (DEVS 2011)'

Call for Papers
Divulgação de "Call for Papers".
Data: Sunday, November 21, 2010 At 08:00
Duração: Todo dia
Contato - Info:
Email:

Symposium on Theory of Modeling and Simulation (DEVS 2011)

April 4-9 2011. Boston Marriott Long Wharf Hotel Boston, MA. USA.
http://www.sce.carleton.ca/faculty/wainer/DEVS11

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

PRELIMINARY CALL FOR PAPERS

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. It also provides an opportunity to exchange ideas with other SpringSim'11 symposia participants in different fields.

Topics of interest include (but are not limited to) the following:

Theory
- DEVS, Petri Nets, Finite State Machines, Timed Automata, Process Algebras, etc.
- Hybrid system modeling and integration of formalisms
- Formal analysis and symbolic reasoning
- Model Checking
- Graph Transformations

M&S Software
- M&S Software, including frameworks and libraries for DEVS, PN, FSM, TA, PA, etc.
- Education aspects of Theory of M&S

Methodology
- Parallel & distributed simulators
- Middleware and simulators Interoperability (grid, cloud, web services, etc.)
- M&S Engineering
- M&S-Based development methods

Practice and Lessons Learned
- Military systems and infrastructures
- Real-time and embedded systems
- High performance computing
- Software-intensive/networked systems
- Transportation and traffic systems
- Ecological and environmental systems
- Standards

All papers will be included in the conference proceedings and archived in both the the ACM and EU Digital Libraries; Full Papers will be also printed in hard copy.

Important Dates
===============
Paper Submission: 21 Nov 2010
Notification: 21 Dec 2010
Final Paper: 25 Jan 2011
Main conference: 4-9 Apr 2011

Submission Procedures
=====================
The conference committee will accept three types of papers submitted as a PDF file to the conference website (http://www.scs.org/springsim/submission) as listed below. Final version of all the papers must comply with the SCS conference format. All the submitted papers should be original and not have been submitted to other venues; they will be peer reviewed with respect to their quality, originality and relevance. The authors of the accepted paper must register in advance for inclusion of their paper in the conference proceedings. The authors of the accepted paper must register in advance for inclusion of their paper in the conference proceedings.

1. Full manuscript: 8 pages in final conference format. In addition to publication in the conference proceedings, they will be considered for best paper award and for possible inclusion in a Special Issue of the Simulation Journal (SCS). Full papers will be published both in hard copy and CD-ROM.

2. Work in Progress: Short papers up to 6 pages in final conference format.

3. Short Papers: Papers with industrial focus, military or government applications, and work-in-progress in abstract or short paper format.

DEVS AWARD
==========
This year, the Symposium will hold the Second Bernard P. Zeigler DEVS M&S Award, to recognize high-impact innovations in M&S methods, applications and tools (sponsored by RTSync - Chair: Doohwan Kim).

WORKSHOPS
=========
Authors interested in organizing satellite workshops can contact the organizers. Up to date, two workshops have been confirmed:
- M&S and Software Engineering (Chairs: Andrea D'Ambroggio - UniRoma "La Sapienza" - and Dorina Petriu - Carleton University -).
- DEVS Standardization (Chairs: Xiaolin Hu - Georgia State - and Hessam Sarjoughian - University of Phoenix -).

DEVS 2011 Organizing committee
==============================
General Chairs:
Gabriel A. Wainer, Carleton University, Canada
Mamadou K. Traoré, Université Blaise Pascal, Clermont-Ferrand, France

Program Chairs:
Reiko Heckel, University of Leicester, United Kingdom
Jan Himmelspach, Universität Rostock, Rostock, Germany

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

DEVS 2011 International Technical Program Committee
===================================================

• Theory
o Fernando Barros, Universidade da Coimbra, Portugal
o Pedro D’Argenio, FAMAF, Argentina
o Juan de Lara, Universidad Autónoma de Madrid, Spain
o Norbert Giambiasi, LSIS, Marseille, France
o Dan Hirsch, Intel Corp., Argentina
o Moon Ho Hwang, DS Delmia Corp., USA
o Tag Gon Kim, KAIST, Korea
o Hernán Melgratti, Universidad de Buenos Aires, Argentina
o Enrico Tronci, Università di Roma "La Sapienza", Italy
o Emilio Tuosto, University of Leicester, UK
o Lin Uhrmacher, Universität Rostock, Germany
o Hans Vangheluwe, McGill University, Canada
o Francesco Zanichelli, Universitá di Parma, Italy

• Methodology
o Olivier Dalle, INRIA Sophia-Antipolis and Université de Nice, France
o Maximiliano Cristiá, Flowgate Consulting and CIFASIS-UNR, Argentina
o Andrea D'Ambrogio, Università di Roma "Tor Vergata", Italy
o Ernesto Kofman, Universidad Nacional de Rosario, Argentina
o Yvan Labiche, Carleton University, Canada
o Lisandru Muzy, Université de Corse
o Libero Nigro, Universitá della Calabria, Italy
o James Nutaro, Oak Ridge National Laboratory, USA
o Hiren Patel, University of Waterloo, Canada
o Dorina Petriu, Carleton University, Canada
o Hessam Sarjoughian, Arizona State University, USA
o Alfonso Urquia, UNED, Spain
o Andreas Tolk, Old Dominion University, USA
o Levent Yilmaz, Auburn University, USA

• Practice and Lessons Learned
o Lisane Brisolara, UFPel, Brazil
o Olaf Hagendorf, Universität Wismar, German
o C. Anthony Hunt, UCSF, USA
o Lewis Ntaimo, Texas A&M, USA
o Gabriela Nicolescu, École Polytechnique de Montréal, Canada
o Thorsten Pawletta, Universität Wismar, Germany
o Sabri Pllana, University of Vienna
o Eric Ramat, Université du Littoral, France
o José Luis Risco-Martín, Universidad Complutense de Madrid, Spain
o Mamadou Seck, TU Delft, Netherlands
o Yujing Wu, The MathWorks, USA

• M&S Software
o Alex Chow, RTSync, USA
o Jean-Baptiste Filippi, Université de Corse
o Claudia Frydman, LSIS, Marseille, France
o Xiaolin Hu, Georgia State University, USA
o Saurabh Mittal, Dunip Technologies, USA
o Pieter Mosterman, The MathWorks, USA
o Taisy Silva Weber, UFRGS, Brazil
o Alexander Verbraeck, TU Delft, Netherlands
o Emilia Vilani, Instituto Tecnológico de Aeronáutica, Brazil
o N. L. Vijaykumar, National Institute for Space Research (INPE), Brazil
o Gregory Zacharewicz, Université de Bordeaux, France


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)