[agents] Fwd: CFP MOD* 2014

[Luca Ferrucci]

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 (STRICT)

 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 Alberto Furia, ETH Zuerich, 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