Effective Analysis: Foundations, Implementation and Certification
11-15 January, 2016

Analyse effective: fondations, programmation, certification
11-15 Janvier, 2016

Andrej BAUER University of Ljubljana
Ulrich BERGER Swansea University
Yves BERTOT INRIA Sophia Antipolis
Sylvie BOLDO Inria et Université Paris-Saclay
Florent BRÉHARD CNRS Université de Lille
Cyril COHEN Université Côte d'Azur
Pieter COLLINS Maastricht University
Eva DARULOVA Max Planck Inst. for Software Systems
Boris DJALAL INRIA Sophia Antipolis
Fabian IMMLER Technische Universität München
Mioara JOLDES CNRS LAAS-CNRS de Toulouse
Michal KONECNY Aston University
Catherine LELAY Institute for Advanced Study
Mark LEWIS University of Alberta
Ivo LIST University of Ljubljana
Henri LOMBARDI Université de Franche-Comté
Victor MAGRON CNRS LAAS
Assia MAHBOUBI INRIA Université de Nantes
Erik MARTIN-DOREL Université Toulouse 3
Micaela MAYERO Université Paris 13
Guillaume MELQUIOND INRIA Saclay-Ile de France
Marc MEZZAROBBA CNRS École polytechnique
Norbert MULLER Universität Trier
Eike NEUMANN Aston University
Iosif PETRAKIS Universität München
Sebastian POSUR RWTH Aachen University
Laurence RIDEAU INRIA Sophia Antipolis
Egbert RIJKE University of Ljubljana
Marie-Françoise ROY Université de Rennes
Peter SCHUSTER University of Verona
Monika SEISENBERGER Swansea University
Peter SELINGER Dalhousie University
Thomas SIBUT-PINOTE INRIA Saclay-Ile de France
Bas SPITTERS University of Aarhus
Enrico TASSI CNRS INRIA Sophia-Antipolis
Laurent THERY INRIA Sophia Antipolis
Daniel WESSEL University of Trento
Geum YOUNG HEE Dankook University