The FORECAST workshop will be co-located with SEFM 2016 in Vienna on 8th July 2016.
The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS, and of the design and control problems which they bring. FORECAST provides an excellent opportunity to exchange results and experiences concerning the application of quantitative modelling and analysis techniques.
The workshop is will feature a mixture of invited presentations by renowned experts on the workshop topics, on the crossroads of SEFM and QUANTICOL, and contributions selected after an open call for papers.
The submissions (6-12 pages) are expected to comprise research papers (containing new, 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). The deadline for submissions is May 5th, 2016.
The proceedings will be published in EPTCS, while negotiations for a special issue are ongoing.