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.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
