Workshop in Honour of Hubert Comon-Lundh
November 18–19, 2008 — Cachan


The Laboratoire Spécification & Vérification (LSV) is organizing a two-day workshop. The workshop will be centered around a special award ceremony: Hubert Comon receiving CNRS's 2008 Silver Medal for Computer Science (Tuesday 18th). Some photos are available here.

The event is open to the public and free, but registration is required for logistical purposes.

Programme

Tuesday, November 18, 2008
10:00 Welcome & Coffee
10:30 Session 1 Opening and welcome speeches
10:40 Jean-Pierre Jouannaud (LIX) : Tintin and the lost rewriting paradise
11:30 Véronique Cortier (LORIA) : Security protocols: from symbolic to cryptographic models
12:20 Lunch
14:00 Session 2 Sophie Tison (LIFL) : Tree Automata Techniques and Applications
14:50 Helmut Seidl (TU, München) : Horn Clauses for Program Analysis
15:40 Coffee break
16:00 Official Ceremony: CNRS Silver Medal awarded to Hubert Comon-Lundh
20:30 Workshop dinner in Paris -- Terminus Nord, 23 rue de Dunkerque, 75010 Paris

Wednesday, November 19, 2008
09:30 Session 3 Jean Goubault-Larrecq (LSV): A brief history of SECSI
09:55 Ralf Treinen (PPS): Symbolic Constraint Solving
10:40 Coffee break
11:00 Session 4 Denis Lugiez (LIF): Automata and Verification
11:45 Hitoshi Ohsaki (AIST): Equational Tree Automata: Past, Present and Future
12:30 Lunch
14:00 Session 5 Claude Kirchner (INRIA Bordeaux): Weaving computation and deduction
14:50 Géraud Sénizergues (LaBRI): Words and Trees
15:40 Coffee break
16:00 Session 6 Hubert Comon-Lundh (LSV): Models of Security Protocols


Registration

Please use the following link. A confirmation by e-mail will be sent to you. Please register before Nov. 7th. See the list of already registered participants.


Location

The workshop will take place in Amphi 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.


Organization

 The organization committee consists of Philippe Schnoebelen (general), Virginie Guenard (registration), Thomas Chatain, and Stéphanie Delaune.

About LSV