FESCA 2016 - Deadlines extension

[Jan Kofron <jan.kofron@d3s.mff.cuni.cz>]

Appologies for cross-posting!

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

The deadline for FESCA 2016 (satelite event of ETAPS) have been extended:

* Paper registration: December 20, 2015 (extended)
* Submission deadline: December 30, 2015 (extended)
* Notification of acceptance: February 8, 2016 (extended)
* Final versions due: February 28, 2016 (extended)


Please find an updated version of CfP below.

Best regards!
Jan Kofron



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

                            2nd Call for Papers

                               - FESCA 2016 -

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

                          Satellite event of ETAPS
                         April 3rd, 2016, Eindhoven, NL

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

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


     * Paper registration: December 20, 2015 (extended)
     * Submission deadline: December 30, 2015 (extended)
     * Notification of acceptance: February 8, 2016 (extended)
     * Final versions due: February 28, 2016 (extended)

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


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 10 pages) presenting ideas and directions of 
interesting ongoing and yet unpublished research related to the workshop 
topics, and
* tool demonstration papers (up to 8 pages) presenting and highlighting 
the distinguishing features of a topic-related tool (co-developed by the 
authors).


PROCEEDINGS

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


IMPORTANT DATES

* Paper registration: December 20, 2015 (extended)
* Submission deadline: December 30, 2015 (extended)
* Notification of acceptance: February 8, 2016  (extended)
* Final versions due: February 28, 2016 (extended)
* Workshop date:  April 3, 2016


INVITED SPEAKER
Steffen Becker (Technische Universität Chemnitz, Germany)


PROGRAMME COMMITTEE (tentative)

Alessandro Abate (University of Oxford, UK)
Yanja Dajsuren (Centrum Wiskunde & Informatica, Netherlands)
Antinisca Di Marco (Università dell'Aquila, Italy)
Ruediger Ehlers (University of Bremen, Germany)
Uli Fahrenberg (IRISA Rennes, France)
Georgios Fainekos (Arizona State University, US)
Radu Grosu (Vienna University of Technology, Austria)
Petr Hnetynka (Charles University in Prague, Czech Republic)
Paul Peterson (Mälardalen University, Sweden)
Patrizio Pelliccione (Chalmers University of Technology, Sweden)
Nadia Polikarpova (Massachusetts Institute of Technology, USA)
Pavithra Prabhakar (Kansas State University, USA)
Diego Pérez (Politecnico di Milano, Italy)
Matthias Rungger (Technische Universität München, Germany)
Catia Trubiani (Gran Sasso Science Institute, Italy)


PC CO-CHAIRS

Jan Kofron, Charles University in Prague, Czech Republic
Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden
Bara Buhnova, Masaryk University, Brno, Czech Republic

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet@informatik.uni-hamburg.de ]]