How Turing's Machine Changed the World

July 2
• Jean Lassègue: Turing, du formel logique à la forme biologique en passant par l’informatique

• Gilles Dowek: Alan Turing : un inventeur de langages

• Giuseppe Longo: A. M. Turing, l’audace d’un penseur : le ‘human computer’, la machine à état discret, la genèse des formes

• J.-M. Salanskis: La construction et le calcul

• Sophie Laplante: La thèse de Turing à l’ère du calcul quantique

• Gerard Berry: Calculabilité, langages et machines : Turing et ses contemporains

July 3
• L. Valiant: Machine Learning and Beyond

• Peter Bürgisser: Prospects for Geometric Complexity Theory

• Martin Hyland: Logic, abstract mathematics and the science of information: an unappreciated aspect of the heritage of Turing

• Daniele Micciancio: On the hardness of computing the minimum distance of lattices and codes

• Erich Kaltofen: Complexity Theory and Symbolic Computation

• Manuel Bodirsky: Constraint Satisfaction: Finite Model Theory meets Infinite Model Theory

July 4
• Maurice Rojas: Arithmetic Approaches to P vs. NP

• Bruno Grenet: Factoring bivariate lacunary polynomials without heights (joint work with Arkadev Chattopadhyay, Pascal Koiran, Natacha Portier, Yann Strozecki)

• Nicolas Ressayre: Some remarks on the Mulmuley-Sohoni variety

• Guillaume Malod: Succinct algebraic branching programs characterizing non-uniform complexity classes

• Sylvain Perifel: Separating multilinear branching programs and formulas (joint work with Zeev Dvir, Guillaume Malod and Amir Yehudayoff)

• Pablo Arrighi: The physical Church-Turing thesis and the principles of quantum theory(joint work with Gilles Dowek)

• Marc Kaplan: Merkle Puzzles in a Quantum World (joint work with Gilles Brassard, Peter Hoyer, Kassem Kalach, Sophie Laplante, Louis Salvail)