[ecoop-info] FORECAST 2016: Call for Papers

Announcements of FME events events at fmeurope.org
Tue Mar 22 15:42:41 CET 2016

* *
*                                 FORECAST 
2016                                 *
* *
* FORmal methods for the quantitative Evaluation of Collective Adaptive 
SysTems *
* *
*                   affiliated with SEFM as part of STAF 
2016                   *
*                              8 July 2016, 
Vienna                              *
* *
*                             First Call for 
Papers                             *
* *
* http://forecast.disia.unifi.it/                        *


April 30, 2016   Abstract submission
May 5, 2016      Paper submission
May 25, 2016     Notification
June 5, 2016     Camera ready versions
July 4-8, 2016   STAF symposium
July 8, 2016     FORECAST workshop


Collective Adaptive Systems (CAS) consist of a large number of spatially
distributed heterogeneous entities with de-centralised control and varying
degrees of complex autonomous behaviour that may be competing for shared
resources even when collaborating to reach common goals. It is important to
carry out thorough quantitative modelling and analysis and verification of
their design to investigate all aspects of their behaviour before they are
put into operation. This requires combinations of formal methods and 
mathematics which moreover scale to large-scale CAS. The primary goal of
FORECAST is to raise awareness in the software engineering and formal 
communities of the particularities of CAS and the design and control 
which they bring.


FORECAST welcomes research papers (containing novel, previously unpublished
results), experience reports, reports of case studies, tool papers, and 
papers (describing work in progress or exploratory ideas), in all areas 
to formal methods for the quantitative evaluation of CAS (on the 
crossroads of
formal methods, applied mathematics, and software engineering).


- Gul Agha (University of Illinois at Urbana-Champaign, USA)
- Adelinde Uhrmacher (University of Rostock, Germany)
- Mirko Viroli (University of Bologna, Italy)


We solicit the submission of original, unpublished contributions (6-12 
not under review for publication elsewhere. All papers must be prepared in
LaTeX using the EPTCS style.
- Full papers should not exceed 12 pages.
- Short papers should not exceed 8 pages.
Additional details, omitted due to space limitations, may be included in an
Appendix. Submit via: https://easychair.org/conferences/?conf=4cast2016


All accepted papers will be included in the proceedings, which will be
published as a volume of the Electronic Proceedings in Theoretical Computer
Science (EPTCS) series.


A special issue in a highly-reputed journal is planned.


- Maurice H. ter Beek (ISTI-CNR, Pisa, Italy)
- Michele Loreti (University of Florence, Italy)


- Ezio Bartocci (Technical University of Vienna, Austria)
- Jake Beal (BBN Technologies, USA)
- Luca Bortolussi (University of Trieste, Italy)
- Rocco De Nicola (IMT Lucca, Italy)
- Giovanna Di Marzo Serugendo (University of Geneva, Switzerland)
- Vashti Galpin (University of Edinburgh, UK)
- Nicolas Gast (INRIA Grenoble - Rhone-Alpes, France)
- Holger Giese (HPI, University of Potsdam, Germany)
- Michael Harrison (Newcastle University, UK)
- Jane Hillston (University of Edinburgh, UK)
- Axel Legay (INRIA Rennes, France)
- Alberto Lluch Lafuente (Technical University of Denmark)
- Mieke Massink (ISTI-CNR, Pisa, Italy)
- Guillaume Massonnet (INRIA Grenoble - Rhone-Alpes, France)
- Carolyn Talcott (SRI International, USA)
- Erik de Vink (Technical University of Eindhoven, The Netherlands)
- Franco Zambonelli (University of Modena and Reggio Emilia, Italy)


The European project QUANTICOL: http://www.quanticol.eu/
Member project of Fundamentals of Collective Adaptive Systems (FOCAS), a
Future and Emerging Technologies Proactive Initiative funded under FP7.


Email: 4cast2016 at easychair.org

events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list