[ecoop-info] FESCA'17 - First Call For Papers

Jan Kofron jan.kofron at d3s.mff.cuni.cz
Mon Sep 19 16:40:34 CEST 2016

Apologies for cross posting.


                          Call for Papers

                          - FESCA  2017 -

          14th International Workshop on Formal Engineering
         approaches to Software Components and Architectures

                      Satellite event of ETAPS
                   April 22, 2017, Uppsala, Sweden



     * Paper registration: January 18, 2017
     * Submission deadline: January 25, 2017
     * Notification of acceptance: February 27, 2017
     * Final versions due: March 14, 2017



In recent years, the growing importance of functional correctness and
the increased relevance of system quality properties (e.g. performance,
reliability, security) have stimulated the emergence of analytical and
modelling techniques for the design and development of software
systems. With the increasing complexity and utilization of today's
software systems, FESCA aims at addressing two research questions:
(1) what role is played by the software design phase in the systematic
addressing of the analytical and modelling challenges, and (2) how can
formal and semi-formal techniques be effectively applied to make the
issues easier to address automatically, with lower human intervention.


We encourage submissions on (semi-)formal techniques and their
application that aid analysis, design and implementation of software
applications, especially those employed in interconnected,
communicating devices, devices interacting with the physical world,
and cyber-physical systems. The topics include (but are not limited

* Formal modelling of component-based, timed and hybrid systems
* Algorithmic controller synthesis
* Correctness checking
    - Safety verification
    - Temporal properties and their formal verification
    - Interface compliance and contractual use of components
* Analysis and prediction of quality attributes
    - Formal prediction and analysis
    - Static and dynamic analysis
    - Instrumentation and monitoring approaches
* Industrial case studies and experience reports

We encourage not only mature research results, submissions presenting
innovative ideas and early results of junior researchers are also of
a particular interest.


Three kinds of submissions are solicited:

* regular papers (up to 15 pages) presenting original and unpublished
   work related to the workshop topics,
* position papers (up to 5 pages) presenting ideas and directions of
   interesting ongoing and yet unpublished research related to the
     workshop topics, and
* presentation abstracts (1 page) presenting work already accepted at
   other conference or workshop.


Final versions of accepted regular and position papers, and
presentation abstracts will be published in a volume of the Electronic
Proceedings in Theoretical Computer Science (EPTCS).


* Paper registration: January 18, 2017
* Submission deadline: January 25, 2017
* Notification of acceptance: February 27, 2017
* Final versions due: March 14, 2017
* Workshop date:  April 22, 2017

Tomas Bures (Charles University, Czech Republic)

Patrizio Pelliccione (University of L'Aquila, Italy)


Alessandro Abate (University of Oxford, UK)
Christian Colombo (University of Malta, MT)
Yanja Dajsuren (Technische Universiteit Eindhoven, NL)
Antinisca Di Marco (Università degli Studi dell'Aquila, IT)
Rudiger Ehlers (Universität Bremen, DE)
Uli Fahrenberg (IRISA Rennes, FR)
Georgios Fainekos (Arizona State University, US)
Radu Grosu (Technische Universität Wien, AT)
Petr Hnetynka (Charles University, CZ)
Diego Pérez (Politecnico Milano, IT)
Matthias Rungger (Technische Universität München, DE)
Cristina Seceleanu (Mälardalen University, SE)
Catia Trubiani (Gran Sasso Science Institute, IT)


Jan Kofron, Charles University, Prague, Czech Republic
Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden

More information about the ecoop-info mailing list