[TYPES] SEFM 2005 Call for Participation

[Wolfgang Ahrendt]

Call for Participation


SEFM 2005
Third IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
Koblenz, Germany
7-9 September 2005
http://sefm2005.uni-koblenz.de


The Third IEEE International Conference on Software Engineering and
Formal Methods (SEFM 2005) will be held in Koblenz, Germany,
7-9 September 2005.  Affiliated workshops and tutorials will be
held on 5th and 6th September 2005.

SCOPE AND OBJECTIVES

  The aim of the conference is to bring together practitioners and
  researchers from academia, industry and government to advance the
  state of the art in formal methods, to scale up their application in
  software industry and to encourage their integration with practical
  engineering methods.

CONFERENCE PROGRAMME

  See http://sefm2005.uni-koblenz.de/programme.html

INVITED SPEAKERS

  Dines Bjørner
  National University of Singapore
  A CLOVERLEAF OF SOFTWARE ENGINEERING

  Wolfgang Paul
  Universität des Saarlandes
  TOWARDS THE FORMAL VERIFICATION OF A C0 COMPILER

  Anthony Hall
  THE FME LECTURE. MAKING FORMAL METHODS WORK

  K. Rustan M. Leino
  Microsoft Research
  INVARIANTS ON DEMAND

  Joseph Sifakis
  Verimag
  COMPONENT-BASED CONSTRUCTION OF REAL-TIME SYSTEMS

TUTORIALS

  - Building, Combining, and Integrating Decision Procedures for
Software Verification
    by David Deharbe

  - Unified Modeling Language 2.0 - Concepts and Semantics
    by Alexander Knapp

  - An Introduction to CSP || B
    by Neil Evans, Steve Schneider, Helen Treharne

  - QoS Modelling and Verification with UML Statecharts
    by Holger Hermanns, David N. Jansen, Joost-Pieter Katoen

WORKSHOP

  - TRain: Towards a Domain Theory of Railways

GENERAL CONFERENCE CHAIR

  Peter H. Schmitt, U. of Karlsruhe, Germany

PROGRAM COMMITTEE CHAIRS

  Bernhard K. Aichernig, UNU-IIST, Macao SAR China
  Bernhard Beckert, U. of Koblenz, Germany

LOCATION

  The 2000-year-old town of Koblenz is situated in the picturesque
  landscape of the Rhine and Moselle and surrounded by four low
  mountain ranges. In 2002 the UNESCO ranked the upper Middle Rhine
  valley one of the most beautiful and oldest man-made landscapes,
  among the world cultural heritages.  The chain of castles and
  palaces along the steep slopes, where the famous Rhine wines are
  grown, stretches from Koblenz to the legendary Loreley and continues
  to the cities of Rüdesheim and Bingen.

ACCOMMODATION

  There are pre-reserved hotel room contingents for participants of
  SEFM 2005 (see http://sefm2005.uni-koblenz.de/hotels.html). Reservations
  for rooms in these contingents can only be made until July 31, 2005. Due
  to the very limited number of available hotel rooms in Koblenz in
  September, we highly recommend room booking as soon as possible.

REGISTRATION

  To register, please fill in the registration form available at
  http://sefm2005.uni-koblenz.de/registration.html.
  Early registration ends July 31st, 2005.

SCHOLARSHIPS

  The International Institute for Software Technology of the United
  Nations (UNU-IIST) will support a limited number of SEFM attendees
  from developing countries by providing a scholarship to cover their
  full registration fees at SEFM 2005 (the scholarship will not cover
  airfare/transportation and accommodation costs). Further information
  is available on the conference web page.