Perspectives in Verification
November 17–18, 2005 — Cachan"); SETHEAD("Perspectives in Verification, November 17–18, 2005, Cachan"); STYLELSV(); MKPAGE(); ?>

The Laboratoire Spécification & Vérification (LSV) of École Normale Supérieure de Cachan organizes a two-day workshop on "Perspectives in Verification" in honour of Prof. Dr. Wolfgang Thomas (RWTH – Aachen), on the occasion of his doctorate honoris causa, to be awarded in Cachan on November 18th, 2005.

The programme of the workshop is composed of 8 invited lectures, by prominent researchers in the field. The event is open to the public and free, but registration is required. Participation in the workshop dinner is open, albeit at your own expense (33 euros). Parallel events (Treinen's habilitation lecture on Thursday, and the Award Ceremony on Friday) are open.

Programme
(Note: Click on titles for abstracts and slides)

Thursday, November 17, 2005
09:30 Welcome & Coffee
10:00 Session 1 Wolfgang Thomas: Perspectives in algorithmic model theory
11:00 Anca Muscholl: First-order logic with infinite alphabets
12:15 Lunch
14:15 Session 2 Martin Grohe: Law enforcement on hypergraphs
15:15 Coffee break
16:00 Ralf Treinen, Symbolic Constraint Solving
Habilitation lecture.
20:00 Workshop dinner in Le Moulin Vert, 33 rue du Moulin Vert, near Métro Alésia or RER Denfert-Rochereau in Paris 14e (see map). NB: Thursday night is "Beaujolais nouveau" night.

Friday, November 18, 2005
09:00 Session 3 André Arnold: On simulation theorems in mu-calculi
10:00 Erich Grädel: Complexity measures for directed graphs
11:00 Coffee break
11:15 Session 4 Amir Pnueli: Program synthesis in action
12:15 Lunch
13:45 Session 5 Paul Gastin: On the synthesis of distributed controllers
14:45 Igor Walukiewicz: Pushing the limits of pushdown verification
15:45 Coffee break
16:00 Doctorate Honoris Causa Award Ceremony

Photos

Some photos of the workshop are available here.

Some more photos have been provided to us by Alfonso Rodriguez, from DSI-M, ENS Cachan.

Registration

Participation in the workshop is free but registration is required. Please use our electronic registration procedure. A confirmation by e-mail will be sent to you. See the list of already registered participants.

Location

The workshop will take place in the Amphithéâtre Marie Curie, in the Bâtiment d'Alembert of the École normale supérieure de Cachan.

See here for a map of the campus, where Bâtiment d'Alembert is building number 1.
How to reach the campus by metro is explained here.

Hotel list

 There are literally hundreds of great hotels for your stay in Paris. However, the most convenient ones when it comes to reach the École Normale Supérieure de Cachan are located:
  • On the RER B train line, near train stops Luxembourg or St-Michel (both in Latin Quarter), Denfert-Rochereau (close to Montparnasse), or Gare du Nord (train station connected to Aachen, Brussels and London).
  • At Porte d'Orléans where a direct bus line (number 197) takes you every five minutes to Bagneux/Cachan.
A list of some hotels can be found on the ENS de Cachan web site.

Organization

 The organization committee consists of Philippe Schnoebelen (general), Brigitte van Elsen (registration), Stéphane Demri (speakers), Patricia Bouyer, Nicolas Markey, and Steve Kremer.