• Mar 17, 2015: FESCA'15 proceedings have been published in EPTCS
• Jan 26, 2015: Registration to FESCA 2015 is open via ETAPS registration website
• Dec 15, 2014: Michael Langhammer (Karlsruhe Institute of Technology, Germany) accepted an invitation to give a tutorial at FESCA 2015 on Co-Evolution of Component-based Architecture and Code using Vitruvius
• Dec 11, 2014: FESCA deadline for paper registration/submission has been extended to Dec 17/Dec 21, 2014
• Oct 05: Steffen Zschaler (King's College London, UK) accepted an invitation to give a keynote at FESCA 2015 on Building flexible analysis: Modular formal specification of QoS and QoS analysis
• Sep 01: EasyChair submission site is now open for paper registration (entering authors, title, abstract and keywords) and paper submission (adding PDF to registered papers)
• Jul 11, 2014: FESCA'15 website was launched

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 of today's software systems, FESCA aims at addressing two research questions: (1) what role the software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively 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, including the techniques in the realm of Model-Driven Development. The topics include (but are not limited to):

• Modelling
  • Modelling formalisms;
  • Models, metamodels and model transformations;
• Correctness checking
  
  • Temporal properties and their formal verification;
  • Interface compliance and contractual use of components;
  • Correctness of models, metamodels and model transformations
• 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 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).

• Paper registration: December 10, 2014 December 17, 2014
• Submission deadline: December 17, 2014 December 21, 2014
• Notification of acceptance: January 26, 2015
• Final versions due: February 16, 2015

Steffen Zschaler (King's College London, UK)
Title: Building flexible analysis: Modular formal specification of QoS and QoS analysis

Michael Langhammer (Karlsruhe Institute of Technology, Germany)
Title: Co-Evolution of Component-based Architecture and Code using Vitruvius

Abstract:

• Barbora Bühnová, Masaryk University, Czech Republic
• Lucia Happe, Karlsruhe Institute of Technology, Germany
• Jan Kofroň, Charles University in Prague, Czech Republic

Contact address: fesca2015(at)easychair.org, please include the keyword FESCA in the email subject.

Přemysl Brada (University of West Bohemia in Pilsen, Czech Republic)

Ivana Černá (Masaryk University, Czech Republic)

Yanja Dajsuren (Eindhoven University of Technology, Netherlands)

Antinisca Di Marco (Università dell'Aquila, Italy)

Petr Hnetynka (Charles University in Prague, Czech Republic)

Samuel Kounev (University of Würzburg, Germany)

Markus Lumpe (Swinburne University of Technology, Australia)

Daniel Menasche (UFRJ, Brazil)

Diego Perez Palacin (Politecnico di Milano, Italy)

Dorina Petriu (Carleton Univesity, USA)

Nadia Polikarpova (Massachusetts Institute of Technology, USA)

Ralf Reussner (Karlsruhe Institute of Technology, Germany)

Cristina Seceleanu (Mälardalen University, Sweden)

Catia Trubiani (Gran Sasso Science Institute, Italy)

Steffen Zschaler (King's College London, UK)

Please follow the information at ETAPS 2015 website.

The previous FESCA workshops at ETAPS 2004-2014 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including 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 2015 will make an equally positive contribution.