April 2014 Archives by thread

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

Starting: Tue Apr 1 08:13:52 EDT 2014
Ending: Wed Apr 30 09:07:08 EDT 2014
Messages: 39

• [FOM] LAP 2014 in Dubrovnik, Croatia   Peter Schuster
• [FOM] Talk in New York City by Jean-Pierre Marquis on Homotopy Type Theory   Jay Sulzberger
• [FOM] CCA 2014: Third Call for Papers   Vasco Brattka
• [FOM] PhD Studentships from October 2014 at the University of Bath   Alessio Guglielmi
• [FOM] Celebration event in honour of Johan van Benthem   Peter van Ormondt
• [FOM] Fwd: AiML-2014: FINAL CALL FOR PAPERS - Deadline: 9 April 2014   Martin Davis
• [FOM] Identity of isomorphic structures   Martin Davis
  • [FOM] Identity of isomorphic structures   Tom Dunion
  • [FOM] Identity of isomorphic structures   Steve Awodey
  • [FOM] Identity of isomorphic structures   W.Taylor at math.canterbury.ac.nz
    • [FOM] Identity of isomorphic structures   Hendrik Boom
  • [FOM] Identity of isomorphic structures   Bas Spitters
  • [FOM] Identity of isomorphic structures   Ian Grant
    • [FOM] Identity of isomorphic structures   Steve Awodey
    • [FOM] Identity of isomorphic structures   Bas Spitters
• [FOM] Post Completeness and Conservative Extensions   Harry Deutsch
• [FOM] Fwd: 4th International SAT/SMT Summer School   Martin Davis
• [FOM] Registration: Abstractionism / Neo-Logicism (UConn Logic Group)   Rossberg, Marcus
• [FOM] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton   Natarajan Shankar
  • [FOM] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton   Natarajan Shankar
• [FOM] Finite axiomatizations of ZF   Guillermo Badia
• [FOM] Logic Postdoctor and Ph.D. Positions at the University of Gothenburg, Sweden   Ali Enayat
• [FOM] 9th Scandinavian Logic Symposium SLS'2014: final call for submissions   Sara Negri
• [FOM] VSTTE 2014 Deadline Extended to May 2, 2014   Natarajan Shankar
• [FOM] Workshop at Columbia University on "Mind, Mechanism, and Mathematics"   Martin Davis
  • [FOM] Workshop at Columbia University on "Mind, Mechanism, and Mathematics"   Andrew Marshall
  • [FOM] Workshop at Columbia University on "Mind, Mechanism, and Mathematics"   Walter Salgado
• [FOM] First call for participation: Proof Theory, Modal Logic and Reflection Principles 2014   JOOST JOOSTEN
• [FOM] CfP Hypothetical Reasoning, 23-24 August 2014, Tübingen, extended deadline   Peter Schroeder-Heister
• [FOM] CFP - Sixth French Philosophy of Mathematics Workshop (FPMW 6), October 9-11, 2014   Brice Halimi
• [FOM] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [FOM] Completeness of FOL without contraposition   Guillermo Badia
• [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [FOM] interesting talk   Kreinovich, Vladik
• [FOM] Ph.D. Position in Information Security at the University of Luxembourg   Barbara Kordy
• [FOM] Next week in the Vatican: Square of Opposition 2014 / Full program now available   jean-yves beziau
• [FOM] Extended deadline: PSC 2014, Proof, Structure, Computation. Vienna, 17-18 July   Peter Schuster
• [FOM] special session   Mikhail Katz
• [FOM] Postdoc at Queen Mary University of London (semantics and verification)   Paulo Oliva

Last message date: Wed Apr 30 09:07:08 EDT 2014
Archived on: Wed Apr 30 11:43:08 EDT 2014

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