posted by organizer: michele_loreti || 405 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://forecast.disia.unifi.it
 
When Jul 8, 2016 - Jul 8, 2016
Where Vienna
Abstract Registration Due Apr 30, 2016
Submission Deadline May 5, 2016
Notification Due May 25, 2016
Final Version Due Jun 6, 2016
Categories    formal methods   collective adaptive systems   quantitative analysis
 

Call For Papers

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/


IMPORTANT DATES
- 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


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)


SUBMISSIONS
We solicit the submission of original, unpublished contributions (6-12 pages)
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


PROCEEDINGS
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.


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


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

Related Resources

FSEN 2017   Fundamentals of Software Engineering
NFM 2017   The 9th NASA Formal Methods Symposium
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
InfQ 2016   Workshop of the Italian group on Quantitative Methods in Informatics
PEFnet 2017   20th European Scientific Conference of Doctoral Students
QEST 2016   International Conference on Quantitative Evaluation of Systems
LREC 2016   Language Resources and Evaluation Conference