[TYPES] FIT 2005 -- 1st CfP

[Jakob Rehof]

FIT 2005

            Foundations of Interface Technologies

                   Sunday August 21, 2005
                    San Francisco, USA
             a sattelite workshop to CONCUR 2005
              http://fmt.cs.utwente.nl/fit2005/

-----------------------------------------------------------------
             1st Announcement and Call for Papers
-----------------------------------------------------------------

Component-based design is widely considered one of the main
approaches to developing systems in a time and cost-effective way.

Central in this approach is the notion of component interfaces
that summarizes the externally visible properties of components
and are a key to achieving component interoperability and
predictable global system behavior based on the component behavior.

To capture the intricacy of complex software products rich interfaces have
been proposed.  These interfaces not only specify syntactic
properties, such as the signatures of methods and operations, but also
take into account behavioural and extra-functional properties, such as
quality of service, security and dependability.  Rich interfaces have been
proposed for describing, e.g.  legal sequences of messages or method calls
accepted by a components, or resource and timing
constraints in embedded software.

The development of a rigorous framework for the specification and
analysis of rich interfaces is challenging.  The aim of this workshop is
to bring together researchers who are interested in the formal
underpinnings of interface technologies.

Topics of interest
------------------
* modeling of rich interfaces, handling aspects like:
     - timeliness,
     - QoS,
     - safety,
     - reliability,
     - fault-tolerance,
     - security,
     - resource constraints etc.
* design methods for interfaces, design by contract.
* verification & analysis of interfaces:
      - abstraction,
      - refinement,
      - assume/guarantee reasoning,
      - compositionality,
      - property preservation,
* domain-specific interfaces, use of interfaces, and case studies

Invited speakers
----------------
Hermann Kopetz, Vienna University of Technology
Madhusudan Parthasarathy, University of Illinois, Urbana-Champaign

Proceedings
-----------
The proceedings of FIT 2005 will be published by Elsevier Science in
their series Electronic Notes in Theoretical Computer Science.
ENTCS is an electronic series associated with the
journal Theoretical Computer Science.

A hardcopy preliminary proceedings will be provided to conference
attendees.

Submissions
-----------

To ensure a uniform format for papers, all submissions to FIT 2005 should
be prepared in LaTeX using the ENTCS macros.
Further information is available via the ENTCS home page:
http://www.elsevier.nl/locate/entcs/. Complete papers should not
exceed 15 pages excluding appendices and should be e-mailed as
postscript or pdf files, preferably as MIME attachments to
fit2005 at cs.utwente.nl.


Important dates
---------------
May 31: paper submission
July 3: notification of acceptance
July 17: final version


Program committee
-----------------
Frank de Boer, University of Utrecht
Susanne Graf, Verimag
Thomas A. Henzinger, EPFL
Holger Hermanns, Saarland University
Bengt Jonson, Uppsala University
Edward Lee, University of California, Berkeley
Rupak Majumdar, University of California, Los Angeles
Jakob Rehof, Microsoft Research
Marielle Stoelinga, University of Twente
Clemens Szyperski, Microsoft Research
Lenore Zuck, University of Illinois, Chicago

Organizers
----------
Holger Hermanns, hermanns -AT- cs.uni-sb.de
Jakob Rehof, rehof -AT- microsoft.com
Marielle Stoelinga, marielle -AT- cs.utwente.nl

-----------------------------------------------------------------