[TYPES/announce] FIT 2012 - Call for Contributions

Sebastian Bauer sebastian.bauer at pst.ifi.lmu.de
Tue Oct 25 07:43:48 EDT 2011

                   FIT 2012 - CALL FOR CONTRIBUTIONS
  4th International Workshop on Foundations of Interface Technologies
                WORKSHOP AT ETAPS 2012 - Tallinn, Estonia
                      Sunday 25th March 2012

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


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.

FIT 2012 is affiliated to ETAPS and will be held in Tallinn, Estonia.


  * Modeling of rich interfaces, handling aspects like
       o timeliness
       o QoS
       o safety
       o reliability
       o fault-tolerance
       o security
       o probability
       o resource constraints
  * Type systems
  * Design methods for interfaces, design by contract
  * Verification and analysis of interfaces:
       o abstraction
       o refinement
       o assume/guarantee reasoning
       o compositionality
       o property preservation
       o adaptation
  * Domain-specific interfaces, use of interfaces like
       o product lines
       o web services


FIT embraces an inclusive formula that emphasizes interaction and
discussion. Researchers are encouraged to submit new results, work in
progress, work already published, or work submitted for publication
elsewhere. Submissions will be judged on general quality and
prospective interest to workshop participants. Contributions should be
typeset in EPTCS format, available at http://style.eptcs.org/ .

Two kinds of submissions are considered:

  * Regular papers (up to 20 pages in EPTCS format), presenting original
    and unpublished work (which can also be a survey)
  * Abstracts (up to 3 pages in EPTCS format), presenting published work

All papers should be submitted via EasyChair:

Informal proceedings will be given to registered participants.
Regular papers will be published as post-proceedings after the
workshop as a volume of the Electronic Proceedings in Theoretical
Computer Science (EPTCS).


  * Submission: Monday, 19th December 2011
  * Notification: Thursday, 19th January 2012
  * Camera-ready version for the local pre-proceedings:
      Monday, 6th February 2012
  * Workshop: Sunday, 25th March 2012
  * Final version for Post-Proceedings (EPTCS): 12th April 2012


  * José Luiz Fiadeiro (University of Leicester, UK)
  * Jiri Srba (Aalborg University, Denmark)
  * Karsten Wolf (Universität Rostock, Germany)


  * Tevfik Bultan (University of California, Santa Barbara, USA)
  * Marco Faella (Università di Napoli "Federico II", Italy)
  * Rolf Hennicker (LMU München, Germany)
  * Holger Hermanns (Saarland University, Germany)
  * Kim G. Larsen (Aalborg University, Denmark)
  * Axel Legay (INRIA/IRISA Rennes, France)
  * Thomas Santen (Microsoft Research, Germany)
  * Sven Schewe (University of Liverpool, UK)
  * Mariëlle Stoelinga (University of Twente, The Netherlands)
  * Andrzej Wąsowski (IT University Copenhagen, Denmark)

Sebastian Bauer (LMU München, Germany): bauerse at pst.ifi.lmu.de
Jean-Baptiste Raclet (University Paul Sabatier-Toulouse III, France):
raclet at irit.fr

More information about the Types-announce mailing list