[TYPES] [SEFM 2005] CfParticipation - Early Registration ends 31 July 2005

[Bernhard Beckert]

EARLY REGISTRATION DEADLINE IS *31 JULY 2005*

Call for Participation


SEFM 2005
Third IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
Koblenz, Germany
5-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, Silvio Ranise, Christophe Ringeissen

 - Unified Modeling Language 2.0 - Concepts and Semantics
   by Alexander Knapp, Harald Störrle

 - 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.