The Coq mailing list

[David Pereira <dpereira AT liacc.up.pt>]

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