[FOM] PhilMath Intersem 2011

[Andre.Rodin at ens.fr]

PhilMath Intersem 2011: Simplicity/Complexity of Proof

Paris and Nancy, June 2–June 30, 2011

Director: Mic Detlefsen (U of Notre Dame; U of Paris 7; U of Nancy 2; ANR;
IHPST)

Featured Speakers:
Andrew Arana (Kansas State U)
Jeremy Avigad (Carnegie Mellon U)
Matthias Baaz (Technical U Vienna)
Guillaume Burel (ENSIIE)
Sam Buss (U of California, San Diego)
Pierre Cartier (IHES)
Mic Detlefsen (U of Notre Dame)
Gilles Dowek (INRIA, Paris)
Kevin Kelly (Carnegie Mellon U)
Jeffrey Ketland (CMP, LMU)
Timothy McCarthy (U of Illinois-Urbana/Champaign)
Richard Pettigrew (U of Bristol)
Michael Rathjen (U of Leeds)
John Stillwell (U of San Francisco & Monash U)


Meeting 1: June 2, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klee (454A)
Andrew Arana (Kansas State U), “Toward a measure of the difficulty of following
proofs”
Timothy McCarthy, “Normativity and Mechanism”
Mic Detlefsen, “Complexities of Proof”

Meeting 2: June 6, 14h00–18h00. N2, 91 avenue de la Libération (3`eme ´etage),
room 326
John Stillwell, “Ideal Elements in Geometry”

Meeting 3: June 8, 14h00–18h00. Nancy, N2, 91 avenue de la Libération (3ème
étage), room 326
John Stillwell, “Ideal Elements in Number Theory, Analysis, and Algebraic
Geometry”

Meeting 4: June 10, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Richard Pettigrew, “Ketland and the epistemological consequences of speed-up”
Jeff Ketland, “Speed-Up, Explanation and Indispensablity”

Meeting 5: June 14, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Kevin Kelly, “A Topological Theory of Simplicity and its Connection with Truth”
Pierre Cartier, TBA

Meeting 6: June 16, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Gilles Dowek, “What could and what should a notion of proof complexity measure?”
Guillaume Burel, “The Impact of theories on proof complexity”

Meeting 7: June 20, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Michael Rathjen, “On the (unreasonable?) effectiveness of ideal elements”

Meeting 8: June 23, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Matthias Baaz, “A logical view on the simplicity of proofs”

Meeting 9: June 27, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Sam Buss, “Expressibility and Derivability, and the Complexity of Proofs”

Meeting 10: June 30, 14h00–18h00. Paris-Diderot, P7, Bâtiment Condorcet, salle
Klimt (366A)
Jeremy Avigad, “Simplicity, extensionality, and functions as objects”

Participation Welcome
All interested persons are encouraged to attend and participate. If you have
questions, please contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at
rodin at ens.fr.