FORECAST 2016

FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)

affiliated with SEFM as part of STAF 2016

OBJECTIVES

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 applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.

TOPICS

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

INVITED SPEAKERS

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

PC CHAIRS

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

PROGRAM COMMITTEE

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

SPONSOR

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.

MORE INFORMATION

Email: 4cast2016@easychair.org