• David Gries, Cornell University
• Leslie Lamport, Microsoft Corporation
• Peter Pepper, Technische Universität Berlin

• Failing to convince students, academics and practitioners alike that Formal Methods are truly pragmatic;
• failing to overcome a phobia of formality and mathematics;
• failing to provide students with the basic skills and understanding required to adopt a more mathematical and logical approach to software development.

• Formal Methods educators, both actual and potential;
• other computer science and software engineering educators;
• industrial practitioners and project managers;
• technical and scientific publishers.

• Symposium chair: Raymond Boute, Ghent University (B)
• Organizing chair: Jean-François Raskin, Brussels University (B)
• Program chair: C. Neville Dean, Anglia Polytechnic University (UK)
• Program committee:
  Neville Dean (Chair), Anglia Polytechnic University, UK
  Vicki Almstrum, University of Texas at Austin, USA
  Roland Backhouse, University of Nottingham, UK
  Wolfgang Grieskamp, Microsoft Research, USA
  Henri Habrias, University of Nantes, France
  Andrew Martin, University of Oxford, UK
  José Oliveira, Universidade do Minho, Braga, Portugal
  Elvinia Riccobene, University of Catania, Italy

For photographs, first click on the picture shown on the left, then click on the solid triangles and to navigate.

Local travel information: here is a map.
By public transportation: from the Gent Sint-Pieters train station, take tram 1, 10, 11 or 12 to the city center. Get off at the "Korenmarkt" (see map), walk across the bridge ("Sint-Michielshelling"), and turn sharp left after passing the church.
By car: when coming from the freeway, take the exit "Gent Centrum", then follow the parking route to parking P7, which is across the street from "Het Pand".

Travelling to Ghent (from Brussels airport): by train from the airport (Brussel Nationaal) to Gent Sint-Pieters. Note: change train at Brussel Noord (about 15 min. after departure from the airport)

<< Back to table of contents

Remarks:
(a) If you do not receive confirmation within one week of registration, please contact Medicongress
(b) Regular speakers are also requested to register

Registration form: click here

<< Back to table of contents