[TYPES/announce] FIT 2012: call for participation

[Sebastian Bauer]

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

        CALL FOR PARTICIPATION: FIT 2012

4th International Workshop on Foundations of Interface Technologies

        Satellite Workshop at ETAPS 2012
        Tallinn, Estonia, March 25, 2012

        http://fit2012.pst.ifi.lmu.de/

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

- Workshop Topic:

Component-based design is widely considered as a major approach to
developing complex systems in a time- and cost-effective way. Component
interfaces are central in this approach and summarize the externally
visible properties of a component which can be syntactic properties such
as operation signatures, but can also be behavioral and extra-functional
properties such as quality of service, security and dependability. In
recent years, rich interface formalisms have been proposed to specify
legal sequences of messages, or resource and timing constraints. The
challenge is to achieve compositionality - the key requirement for the
effective analysis and prediction of global system behavior based on
individual component behaviors.

The aim of this workshop is to bring together researchers who are
interested in the formal underpinnings of interface technologies.

- Contributed talks and invited speakers:

* Jose Luiz Fiadeiro - An Interface and Component Algebra for
Service-Oriented Design
* Karsten Wolf - Show me your friends and I tell you who you are
* Salvatore La Torre, P. Madhusudan and Gennaro Parlato - Sequentializing
Parameterized Programs
* Oana Andrei, Muffy Calder and Alice Miller - Role-based Interface Automata
* Marco Carbone, Thomas Hildebrandt, Hugo A. Lopez, Gian Perrone and
Andrzej Wasowski - Refinement for Transition Systems with Responses
* Rolf Hennicker - Challenges and Solutions in Interface-Based Design of
Component Systems
* Jiri Srba - Beyond the Classical Modal Transition Systems
* Axel Legay - tba
* Louis-Marie Traonouez - A parametric counterexample approach for robust
timed specifications

- Registration:

Registration is handled through the ETAPS registration website.
Early registration will close 29th of January, 2012.

- Venue:

The workshop will take place at the campus of the Tallinn University of
Technology. Please visit the official ETAPS website for details on the
venue.


Sebastian Bauer (Ludwig-Maximilians-Universität München, Germany) &
Jean-Baptiste Raclet (University Paul Sabatier-Toulouse III, France)