The Coq mailing list

[Steve Kremer <kremer AT lsv.ens-cachan.fr>]

(** Please forward this message to potentially interested people around
you **)

                       PERSPECTIVES IN VERIFICATION
        
                       November 17-18, 2005, Cachan

           in honour of Prof. Dr. Wolfgang Thomas (RWTH Aachen)

   on the occasion of his doctorate Honoris Causa, Cachan, Nov. 18, 2005

          see http://www.lsv.ens-cachan.fr/WPV.php for more info


The Laboratoire Specification & Verification (LSV) of Ecole Normale
Superieure 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.

                                 PROGRAMME
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       Erich Graedel: Complexity measures for directed graphs
15:15   Coffee break
16:00   Ralf Treinen on Symbolic Constraint Solving.
20:00   Workshop dinner in Paris

Friday, November 18, 2005
09:00   Session 3       Andre Arnold: On simulation theorems in mu-calculi
10:00                   Martin Grohe: Law enforcement on hypergraphs
11:00   Coffee break
11:15   Session 4       Amir Pnueli: TBA
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

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.
Parallel events (Treinen's lecture on Thursday, and the Award Ceremony on
Friday) are open.

See http://www.lsv.ens-cachan.fr/WPV.php for more info on registration,
location, hotels, and updates in the programme.

---
Steve Kremer

Laboratoire Spécification et Vérification
CNRS UMR 8643 & INRIA Futurs projet SECSI & École Normale Supérieure de
Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex - France
kremer AT lsv.ens-cachan.fr
                http://www.lsv.ens-cachan.fr/~kremer
Tel.: ++ 33 1 47 40 75 45               Secret.: ++ 33 1 47 40 75 20
Fax : ++ 33 1 47 40 75 21               Office : RH-B-102