20-20 sept. 2019 Grenoble (France)


9:00 - 9:15 Opening, Florence Maraninchi (VERIMAG, Grenoble)


Chair:  Dejan Nickovic

9:15 - 9:55 Alberto Sangiovanni Vincentelli (University of California Berkeley). A CS barbarian in the analog country

9:55 - 10:35 Kim Larsen (Aalborg University). 20+ Years of Rivalry and Cooperation: From Timed Automata to Duration Probabilistic Automata


10:35 - 11:00 Coffee Break


Chair:  Eugene Asarin

11:00 - 11:40 Ludwig Staiger (Martin-Luther-Universität Halle-Wittenberg). On the Minimisation of omega-automata

11:40 - 12:00 Jean-Marc Moulis (LBFA Laboratoire Bioénergétique Fondamentale et Appliquée, Grenoble). Of rat and blood (and men)

12:00 - 12:20 Eric Fanchon (TIMC-IMAG, Grenoble). What do cells compute?


12:20 - 13:30 Lunch


Chair:  Saddek Bensalem

13:30 - 14:10 Joseph Sifakis (VERIMAG, Grenoble). Memories of Oded Maler

14:10 - 14:50 David Harel (Weizmann Institute of Science). On Odor Reproduction, and How to Test For It?

14:50 - 15:20 Ahmed Bouajjani (IRIF, Paris). Checking robustness against asynchrony


15:20 - 15:45 Coffee break


15:45 - 16:00 Partrick Lévy (President of University Grenoble Alpes)


Chair:  Saddek Bensalem

16:00 - 16:20 Martin Fränzle (University of Oldenburg)

16:20 - 16:40 Doron Peled (Bar Ilan University). Runtime Verification of Temporal Logic with Data

16:40 - 17:00 Abinav Srivastav (Université d'Evry) and Denis Trystram (LIG, Grenoble). Bicriteria Optimization: Scheduling and Facility Location


Chair:  Thao Dang

17:00 - 18:30 Colleagues

Antoine Girard (L2S CNRS, CentraleSupélec, Paris). tba

Dejan Nickovic (Austrian Institute of Technology, Vienna)A memory box full of diamonds. (Subtitle: The rise of the barbaric empire).

Alexandre Donzé (Decyphir, Grenoble). My Taylor is Reach.

Nicolas Basset (VERIMAG)Lasts but not least (Subtitle: A brief selection of unfinished symphonies of Oded Maler)

Olivier Bournez (École Polytechnique, Paris)The military service of Soldat Bournez.

Goran Frehse (ENSTA Paris). Everything You Always Wanted to Know About SEX (But Were Afraid to Ask)

Personnes connectées : 1