[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We hereby invite you to participate in the
FIT (Foundations of Interface Technologies) workshop
held on April 5th 2008 as part of ETAPS 2008
(European joint conference on Theory And Practice of Software).

(Online registration: http://etaps.inf.mit.bme.hu:8080/etaps08reg/)

The FIT 2008 programme includes two distinguished invited talks, and a
mixture of submitted and solicited contributions:

Workshop website: http://fit2008.cs.aau.dk/

Invited speakers:
    - Albert Benveniste (IRISA / INRIA):
            Multiple Viewpoint Contracts and Residuation
    - Mariëlle Stoelinga (University of Twente):
            Interfaces for Reliability

    - Naoki Kobayashi (University of Tokyo):
            Behavioral Types as Interfaces for Concurrent Processes
    - Florian Kammueller (TU Berlin):
            Modelchecking Nonfunctional Requirements for Interface
    - Sven Schewe and Bernd Finkbeiner (Saarbrücken):
            Component Interfaces for System Synthesis
    - Dilian Gurov (KTH Stockholm), Marieke Huisman (INRIA Sophia
Antipolis), Christoph Sprenger (ETH Zurich)
            An Algorithmic Approach to Compositional Verification of
Sequential Programs with Procedures: An Overview.
    - Jan Jürjens (Open University, UK)
            Using Interface Specifications for Verifying Crypto-protocol
    - Kim G. Larsen (Aalborg)
            Playing Games with Timed Interfaces
    - Jasper Berendsen and Frits Vaandrager (Radboud University Nijmegen)
            Compositionality in Real-Time Model Checking
    - Arvind Easwaran, Insup Lee, Oleg Sokolsky (University of Pennsylvania)
            Interface Algebra for Analysis of Hierarchical Real Time Systems
    - Hans-Jörg Peter, Bernd Finkbeiner, Sven Schewe (Saarbrücken)
            Automatic assumption synthesis from timed automata for
compositional model checking

Reply via email to