April 2011 Archives by date

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

Starting: Sat Apr 2 02:45:21 EDT 2011
Ending: Sat Apr 30 07:33:22 EDT 2011
Messages: 33

• [FOM] Constructive Group Theory   Andrej Bauer
• [FOM] Constructive Group Theory   Robert Lubarsky
• [FOM] Preliminary Announcement - Turing Centenary Fellowship Competition   S Barry Cooper
• [FOM] PUTNAM CONFERENCE   Harvey Friedman
• [FOM] Preprint: "A topos-theoretic approach to Stone-type dualities"   Olivia Caramello
• [FOM] conference announcement -- Turing MAMLS   Robert Lubarsky
• [FOM] Final call: First IAOA Summer Institute in Applied Ontology, Tuscany, Italy, July 17-23, 2011   Obrst, Leo J.
• [FOM] FW: CFP: Austalasian Association of Logic   Edwin Mares
• [FOM] CFP: The Classical Model of Science II, VU Amsterdam 2-5 August   Loeb, I.
• [FOM] FroCoS 2011: Call for Papers   Viorica Sofronie-Stokkermans
• [FOM] Call for Participation: 2FC'11   georg moser
• [FOM] Chaitin's Omega/P vs. NP   pax0 at seznam.cz
• [FOM] Chaitin's Omega/P vs. NP   joeshipman at aol.com
• [FOM] CAV 2011 student travel awards from NSF   Sandip Ray
• [FOM] Tarski & Moese Degree of Equivalence   James T. Smith
• [FOM] LICS 2011 Call for Short Presentations   Stephan Kreutzer
• [FOM] LMCS Special Issue for CCA 2011: Second Call for Submissions   Vasco Brattka
• [FOM] Reverse Mathematics Workshop   antonio montalban
• [FOM] ESSLLI 2011: first call for course and workshop proposals   Herzig Andreas
• [FOM] Assistant Professorship in Mathematical Logic and Foundationｓ. Nomi Ishikawa (Japan)   Hajime Ishihara
• [FOM] Registration Deadline (May 1): Set Theory and Higher-Order Logic   Sean Walsh
• [FOM] FroCoS 2011: Last Call for Papers   Viorica Sofronie-Stokkermans
• [FOM] CiE Newsletter No.46, April 19, 2011   Olivier Bournez
• [FOM] LATA 2011: call for participation   "Carlos Martín Vide"
• [FOM] Second CFP: ACM TODAES Special Issue on Verification Challenges with Multicore Systems   Sandip Ray
• [FOM] Special Issue of JWS: Reasoning with context in the Semantic Web   Ivan José Varzinczak
• [FOM] FroCoS 2011: Deadline extension   Viorica Sofronie-Stokkermans
• [FOM] Consistency of first-order logic   Timothy Y. Chow
• [FOM] The Reasoner 5(5) available for download   Jon Williamson
• [FOM] Consistency of first-order logic   meskew at math.uci.edu
• [FOM] Prof. Martin's "Philosophical Issues about the Hierarchy of Sets"   Marc Alcobé
• [FOM] DEADLINE EXTENDED: ACM TODAES Special Issue on Verification Challenges with Multicore Systems   Sandip Ray
• [FOM] Meeting on "Logic in Question" (Paris, 2-3 May 2011)   moktefi

Last message date: Sat Apr 30 07:33:22 EDT 2011
Archived on: Sun May 1 17:10:49 EDT 2011

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