Manna DHC

ENS de Cachan

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.




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 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