SLIDES
Effective Analysis: Foundations, Implementations, Certification
January 11 - 15, 2016
- Andrej Bauer (University of Ljubljana)
- Ulrich Berger (Swansea University)
- Sylvie Boldo (INRIA Saclay)
- Pieter Collins (Maastricht University)
- Eva Darulova (Max Planck Institute for Software Systems)
- Boris Djalal (INRIA)
- Fabian Immler (TUM, Germany)
- Michal Konečný (Aston University, UK)
- Catherine Lelay (Institute for Advanced Study)
- Rob Lewis (Carnegie Mellon University)
- Victor Magron (Verimag, Grenoble)
- Erik Martin-Dorel (Université Paul Sabatier Toulouse)
- Norbert Müller (University of Trier, Germany)
- Iosif Petrakis (University of München)
- Sebastian Posur (Aachen University)
- Egbert Rijke (Carnegie Mellon University)
- Monika Seisenberger (Swansea University, UK)
- Peter Selinger (Dalhousie University, Canada)
- Bas Spitters (Aarhus University)
- Laurent Théry (Inria – Sophia Antipolis Méditerranée)