May 2012 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue May 1 08:31:24 EDT 2012
Ending: Thu May 31 12:48:19 EDT 2012
Messages: 48

• [FOM] 1st CfP: Cultures of Mathematics and Logic, Guangzhou (China), 9-12 November 2012   bloewe at science.uva.nl
• [FOM] Call for Papers: Colloquium Logicum 2012, Paderborn, 13-15 September 2012   bloewe at science.uva.nl
• [FOM] reinquiry   David Isles
• [FOM] 497:Invariant Maximality Restated   Friedman, Harvey
• [FOM] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations   S B Cooper
• [FOM] Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012   Andrej Bauer
• [FOM] a badly done NYTimes review of a new book on Von Neumann   David Auerbach
• [FOM] CfP: Joint SVARM & VERIFY Workshop 2012   Carsten Sinz
  • [FOM] CfP: Joint SVARM & VERIFY Workshop 2012   Carsten Sinz
    • [FOM] a well-informed review of Turing's Cathedral in the New York Review of Books   David Auerbach
• [FOM] CFP: AAL 2012   N.J.J. Smith
• [FOM] University of Bath Prize Fellow - 21/5 deadline approaching   Alessio Guglielmi
• [FOM] postdoc in Udine   Alberto Marcone
• [FOM] Kreisel's 2008 paper   David Roberts
• [FOM] E. W. Beth Dissertation Prize: 2012 new call for nominations   Ruy de Queiroz
• [FOM] MFPS 28: Programme and Call for Participation   Ulrich Berger
• [FOM] FOM; Re: Kreisel's 2008 paper   Irving Anellis
• [FOM] First International Conference on Logic and Relativity: honoring István Németi's 70th birthday   Gergely Székely
• [FOM] Wessex Theory Seminar, Bath, 23rd May   Anupam Das
• [FOM] Kreisel, Löb, and G2   Craig Smorynski
  • [FOM] Kreisel, Löb, and G2   Richard Heck
    • [FOM] speaking of provability logic   jkennedy at mappi.helsinki.fi
      • [FOM] speaking of provability logic   Giovanni Sambin
      • [FOM] speaking of provability logic   jkennedy at mappi.helsinki.fi
      • [FOM] speaking of provability logic   sambin
      • [FOM] speaking of provability logic   jkennedy at mappi.helsinki.fi
      • [FOM] speaking of provability logic   Craig Smorynski
• [FOM] Announcement   Craig Smorynski
  • [FOM] Announcement   Ramez Labib-Sami
    • [FOM] Announcement   Craig Smorynski
• [FOM] Logical Number Theory II   Craig Smorynski
• [FOM] Postdoc position in montreal   Richard Zach
• [FOM] Tier I Canada Research Chair in Logic and the Philosophy of Science   Richard Zach
• [FOM] Announcement: EASLLC 2012   Fredrik Engström
• [FOM] Book review: "Kurt Gödel and the foundations of mathematics: horizons of truth"   Serguei Mokhov
• [FOM] Call for Participation: Symposium on History and Philosophy of Programming   gprimiero at libero.it
• [FOM] 10 days to abstract/paper submission deadline   Gergely Székely
• [FOM] AAL 2012 -- registration now open   N.J.J. Smith
• [FOM] Woodin article   Karin Verelst
  • [FOM] Woodin article   Kreinovich, Vladik
  • [FOM] Woodin article   David Roberts
  • [FOM] Woodin article   Monroe Eskew
  • [FOM] Woodin article   Walter Salgado
  • [FOM] Woodin article   Marc Alcobé García
• [FOM] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation   S B Cooper
• [FOM] Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana   Andrej Bauer
• [FOM] The Reasoner 6(6) available for download   Jon Williamson
• [FOM] my short retirement speech   Harvey Friedman

Last message date: Thu May 31 12:48:19 EDT 2012
Archived on: Fri Jun 1 19:27:00 EDT 2012

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...