Program

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

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)