[fg-arc] FESCA at ETAPS 2014: CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2014, Grenoble, France

[Lucia Happe]

***   Please accept our apologies should you receive multiple copies of this
call from different lists.   ***



INVITATION:

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



Please, consider to contribute to and/or forward to the appropriate groups
the following opportunity to submit and publish original scientific results
to FESCA 2014.



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





Call for Papers



- FESCA 2014 -



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



Satellite event of ETAPS

April 12th, 2014, Grenoble, France



http://fesca.ipd.kit.edu/fesca2014/



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



**************************************************************************

PROGRAM HIGHLIGHTS: We are pleased to announce invited speaker:



Prof. Dr. Colin Atkinson, Chair of Software Engineering at University of
Mannheim (Germany), has agreed to deliver the FESCA 2014 keynote speech on
the topic:

"Facilitating Formal Views in View-Driven (Orthographic) Software
Engineering" and tutorial on the topic: "Orthographic and Deep Modeling with
Melanee"



**************************************************************************





TOPICS



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.

In this context, 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.

Besides general software systems, FESCA is interested in methods focusing on
a specific application domain, such as:

* Cloud environment

* Mobile and embedded systems

* Information systems

* Hardware infrastructures

We encourage not only mature research results, submissions presenting
innovative ideas and early results are also of 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 and position papers will be
published in a volume of the Electronic Proceedings in Theoretical Computer
Science (EPTCS). 

    *  The tool demonstration papers will not appear in the EPTCS
proceedings, but will be included in the electronic pre-proceedings
(distributed at the workhop) and made available on the workshop website.





IMPORTANT DATES



    *    Paper registration: December 6, 2013

    *    Submission deadline: December 13, 2013

    *    Notification of acceptance: January 20, 2014

    *    Final versions due: February 10, 2014

    *    Workshop date:  April 12, 2014


PROGRAMME COMMITTEE



    * Ivana Černá (Masaryk University, Czech Republic)

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

    * Petr Hnetynka (Charles University in Prague, Czech Republic)

    * Samuel Kounev (Karlsruhe Institute of Technology, Germany)

    * Ralf Küsters (Universität Trier, Germany)

    * Markus Lumpe (Swinburne University of Technology, Australia)

    * Daniel Menasche (UFRJ, Brazil)

    * Raffaela Mirandola (Politecnico di Milano, Italy)

    * Dorina Petriu (Carleton Univesity, USA)

    * Nadia Polikarpova (ETH Zürich, Switzerland)

    * Ralf Reussner (Karlsruhe Institute of Technology, Germany)

    * Cristina Seceleanu (Mälardalen University, Sweden)

    * Kishor Trivedi (Duke University, USA)

    * Catia Trubiani (Università dell'Aquila, Italy)

    * Steffen Zschaler (King's College London, UK)



PC CO-CHAIRS



    *     Barbora Buhnova (Masaryk University, Czech Republic)

    *     Lucia Happe (Karlsruhe Institute of Technology, Germany)

    *     Jan Kofron (Charles University in Prague, Czech Republic)






-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20131113/5e8476be/attachment.html>