2-30 June 2011
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, Btiment 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 Libration (3`eme etage), room 326 John Stillwell, ?Ideal Elements in Geometry? Meeting 3: June 8, 14h00?18h00. Nancy, N2, 91 avenue de la Libration (3me tage), room 326 John Stillwell, ?Ideal Elements in Number Theory, Analysis, and Algebraic Geometry? Meeting 4: June 10, 14h00?18h00. Paris-Diderot, P7, Btiment 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, Btiment 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, Btiment 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, Btiment Condorcet, salle Klimt (366A) Michael Rathjen, ?On the (unreasonable?) effectiveness of ideal elements? Meeting 8: June 23, 14h00?18h00. Paris-Diderot, P7, Btiment Condorcet, salle Klimt (366A) Matthias Baaz, ?A logical view on the simplicity of proofs? Meeting 9: June 27, 14h00?18h00. Paris-Diderot, P7, Btiment Condorcet, salle Klimt (366A) Sam Buss, ?Expressibility and Derivability, and the Complexity of Proofs? Meeting 10: June 30, 14h00?18h00. Paris-Diderot, P7, Btiment 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@nd.edu or Andrei Rodin at rodin@ens.fr.