Workshop on switching dynamics & verification

• Michel Benaïm (Institut de Mathématiques, Université de Neuchâtel)
• François Dufour (IMB, Université de Bordeaux and INRIA)
• Antoine Girard (L2S, CentraleSupélec - Université Paris Sud- CNRS)
• Nicola Guglielmi (Università degli Studi dell'Aquila)
• Philippe Jouan (LMRS, CNRS-Université de Rouen)
• Raphaël Jungers (INMA, UCLouvain)
• Victor Kozyakin (Kharkevich Institute, Russian Academy of Sciences)
• Michael Margaliot (School of EE-Systems, Tel-Aviv University)
• Oliver Mason (Hamilton Institute, National University of Ireland Maynooth)
• Marian Mrozek (Institute of Computer Science and Computational Mathematics, Jagiellonian University)
• Sriram Sankaranarayanan (Department of Computer Science, University of Colorado)
• Fabian Wirth (Fakultät für Informatik und Mathematik, Universität Passau)

Titles, abstracts and slides

Schedule

Poster

Scientific committee and organization

Marianne Akian (INRIA and CMAP, École polytechnique - CNRS), Xavier Allamigeon (INRIA and CMAP, École polytechnique - CNRS), Yacine Chitour (L2S, CentraleSupélec - Université Paris Sud- CNRS), Laurent Fribourg (LSV, ENS Cachan - CNRS), Pierre Gabriel (Laboratoire de Mathématiques de Versailles, UVSQ - CNRS), Stéphane Gaubert (INRIA and CMAP, École polytechnique - CNRS), Éric Goubault (LIX, École polytechnique - CNRS), Paolo Mason (L2S, CentraleSupélec - Université Paris Sud- CNRS), Sylvie Putot (LIX, École polytechnique - CNRS), Mario Sigalotti (INRIA and CMAP, École polytechnique - CNRS)

Registration

Registration is free. To register and for any other question please send an email to sdv2016@cmap.polytechnique.fr

---