[Om-announce] MOD* 2014: Logics and MODel-checking for self-* systems (CfP)

[MOD*]

[Apologies for multiple messages]


CALL FOR PAPERS

The 1st Workshop on 
Logics and MODel-checking for self-* systems (MOD*)

http://modstar.cs.unibo.it/

12 September 2014, Bertinoro, Italy

Affiliated with iFM 2014: The 11th International Conference on
Integrated Formal Methods

Logics and model-checking have been successfully used in the last
decades for modeling and verification of various types of hardware and
software systems. While most languages and techniques emerged in a
context of monolithic systems with a limited self-adaptability, modern
systems require approaches able to cope with dynamically changing
requirements and emergent behaviors. The emphasis on system
reconfigurability has not been followed by an adequate research
effort, and the current state of the art lacks logics and model
checking paradigms that can describe and analyze complex modern
systems in a comprehensive way.

This workshop aims at filling this gap by bringing together
researchers and practitioners with the goal of pushing forward the
state of the art on logics and model checking, with particular
attention on the specification and verification of systems in the
following (and further) categories:

* self-adaptive systems
* self-reconfiguring systems
* self-organizing systems
* cyber-physical systems
* hybrid systems
* elastic systems 
* multi-agent systems

The workshop focuses on demonstrating the applicability of Formal
Methods in practical contexts. Therefore, both
methodological/theoretical and industrial/applicative papers are
welcome.

IMPORTANT DATES

June 9, 2014: Abstract submissions
June 16, 2014: Submission of regular papers
July 21, 2014: Notification of paper acceptance/rejection
August 8, 2014: Camera-ready copies of accepted papers
September 12, 2014: Workshop

SUBMISSIONS

Authors are invited to submit original unpublished papers. Every
submitted paper will be reviewed by at least three members of the
Program Committee. Accepted papers will be published in the Electronic
Proceedings in Theoretical Computer Science series (EPTCS).  Authors
are invited to submit papers of no more than 14 pages in the EPTCS
format style (please use the LaTeX style provided at
http://style.eptcs.org/). Proofs omitted due to space constraints can
be put into an appendix to be read at the reviewers'
discretion. Proofs added into appendix will *not* be published on
proceedings. Submissions should be made using the MOD* 2014 Easychair
web site:

https://www.easychair.org/conferences/?conf=mod2014

The authors must be prepared to sign a copyright transfer
statement. At least one author of each accepted paper must register to
the workshop by the early date, to be indicated by the organizers, and
*must* present the paper.  A special issue with a selection of the
best papers on an international journal will be taken into
consideration.

ORGANIZERS

Marcello M. Bersani, Politecnico di Milano, marcellomaria.bersani at polimi.it
Davide Bresolin, Università di Bologna, davide.bresolin at unibo.it
Luca Ferrucci, Politecnico di Milano, ferrucci at elet.polimi.it
Manuel Mazzara, Politecnico di Milano, mazzara at elet.polimi.it

PROGRAM COMMITTEE

Ezio Bartocci, Vienna University of Technology, Austria
Bert van Beek, Technical University of Eindhoven, The Netherlands
Carlo Bellettini, Università degli studi di Milano, Italy
Laura Bocchi, Imperial College London, UK
Samir Brahim, Alfaisal saudi University, Saudi Arabia
St‚phane Demri, New York University and CNRS, France
Leo Freitas, Newcastle University, UK
Achille Frigeri, DEIB, Politecnico di Milano, Italy
Carlo A. Furia, ETH Zurich, Switzerland
Silvio Ghilardi, Università degli studi di Milano, Italy
Valentin Goranko, Technical University of Denmark, Denmark
Luca Pardini, Università di Pisa, Italy
Diego Perez, DEIB, Politecnico di Milano, Italy
Nafees Qamar, Vanderbilt University, USA
David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal
Pierluigi San Pietro, DEIB, Politecnico di Milano, Italy
Cesar Sanchez, IMDEA Software Institute, Madrid, Spain
Carsten Schürmann, ITU Copenhagen, Denmark
Roberto Segala, Università di Verona, Italy
-------------- next part --------------