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ÉHARDCNRS Université de Lille
Cyril COHEN INRIA Sophia Antipolis
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 JOLDESCNRS 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 MAGRONCNRS LAAS
Assia MAHBOUBI INRIA
Erik MARTIN-DOREL Université Toulouse 3
Micaela MAYERO Université Paris 13
Guillaume MELQUIOND INRIA Saclay-Ile de France
Marc MEZZAROBBACNRS 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é Rennes 1
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 TASSICNRS INRIA Sophia-Antipolis
Laurent THERY INRIA Sophia Antipolis
Daniel WESSEL University of Trento
Geum YOUNG HEE Dankook University