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, 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@nd.edu or Andrei Rodin at rodin@ens.fr.