[ecoop-info] FESCA'17 - deadlines extended

Jan Kofron jan.kofron at d3s.mff.cuni.cz
Wed Jan 18 15:48:02 CET 2017

Apologies for cross posting.


                     Last 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 28, 2017 (extended)
   * Submission deadline: February 3, 2017 (extended)
   * Notification of acceptance: March 1, 2017 (extended)
   * 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
ecoop-info mailing list
ecoop-info at ecoop.org

More information about the ecoop-info mailing list