posted by user: hossein_haeri || 1089 views || tracked by 2 users: [display]

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


When Apr 3, 2016 - Apr 3, 2016
Where Eindhoven, The Netherlands
Abstract Registration Due Jan 4, 2016
Submission Deadline Jan 14, 2016
Notification Due Feb 15, 2016
Final Version Due Feb 28, 2016
Categories    formal modelling   component-based software engin   correctness checking   algorithmic control

Call For Papers

13th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS, April 3rd, 2016, Eindhoven, Netherlands

The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.

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.
Workshop 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.
Submission Guidelines

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

The papers should be written in English, follow the EPTCS style, and respect the page limit. Papers are to be submitted via the EasyChair conference system, and need to be registered before submission (authors, title, abstract, keywords). All accepted papers are required to be presented at the workshop by one of the authors. Tool demonstration and position papers are required to state "Tool demonstration paper/Position paper" as a subtitle of the publication.

Final versions of all accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Important DatesPaper registration: December 10, 2015 January 4, 2016
Submission deadline: December 17, 2015 January 14, 2016
Notification of acceptance: January 25, 2016 February 15, 2016
Final versions due: February 15, 2016 February 28, 2016

Invited Speaker

Steffen Becker (Technische Universität Chemnitz, Germany)
Organizing Committee
Jan Kofron, Charles University in Prague, Czech Republic
Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden
Bara Buhnova, Masaryk University, Brno, Czech Republic

Contact address: fesca2016(at), please include the keyword FESCA in the email subject.
Programme Committee

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, USA)
Radu Grosu (Vienna University of Technology, Austria)
Petr Hnetynka (Charles University in Prague, Czech Republic)
Patrizio Pelliccione (Chalmers University of Technology, Sweden)
Diego Pérez (Politecnico di Milano, Italy)
Paul Pettersson (Mälardalen University, Sweden)
Nadia Polikarpova (Massachusetts Institute of Technology, USA)
Pavithra Prabhakar (Kansas State University, USA)
Matthias Rungger (Technische Universität München, Germany)
Catia Trubiani (Gran Sasso Science Institute, Italy)
Registration and Travelling

Please follow the information at ETAPS 2016 website.
Previous FESCA Workshops

The previous FESCA workshops at ETAPS 2004-2015 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Steffen Zschaler (King's College London, UK), Colin Atkinson (University of Mannheim), Manfred Broy (Technische Universität München, Munich, Germany), Ivana Černá (Masaryk University, Czech Republic), Vittorio Cortellessa (Università dell'Aquila), José Luiz Fiadeiro, (University of Leicester, UK), Constance L. Heitmeyer (Naval Research Laboratory, USA), Rolf Hennicker (LMU, Munich, Germany), Samuel Kounev (KIT, Germany), František Plášil (Charles University, Prague, Czech Republic) and Martin Wirsing (LMU, Munich, Germany). It is expected that FESCA 2016 will make an equally positive contribution.

Related Resources

EFM 2019   1st International Workshop on Empirical Formal Methods
SEFM 2019   Software Engineering and Formal Methods
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
AEBS 2019   2nd International Conference on Practical Approaches to address Economic Issues, Business & Social Sciences Challenges
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
CASCH 2019   Computational Approaches to the sustainability of Cultural Heritage
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
ACSD 2019   19th International Conference on Application of Concurrency to System Design