|
|
Scientific meeting in honour of Zohar
Manna
Monday, March 25th, 2002
École Normale Supérieure de Cachan
The Ecole Normale Supérieure de Cachan will award Professor Zohar Manna,
with the Docteur Honoris Causa degree on Tuesday March 26th 2002.
On that occasion, the Laboratoire Spécification &
Vérification is organising a scientific meeting on March 25th to
honour Zohar Manna.
Registration information can be found below.
Programme
Monday (March 25th)
Scientific Meeting
Amphithéatre Marie Curie
- 9.30-9.45 Welcome
- 09.45-10.35 Nachum
Dershowitz, Tel-Aviv University
Abstract
Canonical Inference
- 10.35-11.25 Jean
Vuillemin, Dept. Informatique, ENS Ulm
Normal
Forms for Binary Sequential Functions
- 11.25-11.55 Coffee Break
- 11.55-12.45 Laurent
Fribourg, LSV, ENS de Cachan
Verification of
Liveness Properties of Parameterized Systems
- 12.45-14.30 Lunch Break
- 14.30-15.20 Joseph
Sifakis, Verimag, Grenoble
Modeling Real-time
Systems -- Challenges and Work Directions
- 15.20-16.10 Pierre
Wolper, Université de Liège
Handling Real
Arithmetic with Infinite Word Automata
- 16.10-16.40 Coffee Break
- 16.40-17.30 Philippe
Schnoebelen, LSV, ENS de Cachan
Temporal
Logic with Forgettable Past
- 17.30 Reception
Registration & Practical
Information
Persons wishing to attend this meeting are kindly requested to
register by email with mailto:berard@lsv.ens-cachan.fr.
Registration is free.
Tuesday (March 26th)
Formal Meeting
ENS de Cachan
- 16.00-18.00 Awarding of the DHC degrees
- 18.00 Reception
LSV, CNRS UMR 8643, ENS de Cachan, 61 avenue du
Président Wilson, 94235 CACHAN Cedex, FRANCE
Tél : +33 1 47 40
24 04 - Fax : +33 1 47 40 24 64
| |
