First PMA Symposium

The first PMA Symosium will take place on Friday, October 26, 2012 on the Notre Dame campus, within the framework of the 13th Midwest Philosophy of Mathematics Workshop (MWPMW 13).

The following have been confirmed as keynote speakers:

  • Steve Awodey (Carnegie Mellon University), “Homotopy Type Theory and Univalent Foundations”;
  • Jeremy Heis (University of California, Irvine) “Why did geometers stop using diagrams?”;
  • Danielle Macbeth (Haverford College) “The Puzzle of Logic in Relation to Mathematics”.

Mrs. Harriet Baldwin ( is the workshop manager. Any questions  concerning rooms, meals, etc. should be addressed to her. A block of rooms for the MWPMW 13 in conjunction with which the PMA workshop will be meeting has been reserved. Demand for rooms may be high  for that weekend, so it is advisable to reserve a room  as soon as possible. More information, including logistics such as lodging, travel etc., will be available from the Notre Dame Philosophy website.

Please join us for the maiden flight of the Philosophy of Mathematics Association!