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

[Jan Kofron]

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

               http://d3s.mff.cuni.cz/conferences/fesca

=====================================================================


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

=====================================================================


WORKSHOP AIM

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.


TOPICS

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

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


SUBMISSIONS

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.

PROCEEDINGS

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


IMPORTANT DATES

* 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


INVITED SPEAKER
Tomas Bures (Charles University, Czech Republic)

TUTORIAL
Patrizio Pelliccione (University of L'Aquila, Italy)


PROGRAMME COMMITTEE

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)


PC CO-CHAIRS

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