January 2012 Archives by date

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

Starting: Sun Jan 1 12:01:00 EST 2012
Ending: Tue Jan 31 18:02:33 EST 2012
Messages: 44

• [FOM] The Cumulative Hereditary Hierarchy H.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Information required regarding attribution to Kreisel   Edward Griffor
• [FOM] Information required regarding attribution to Kreisel   william tait
• [FOM] Information required regarding attribution to Kreisel   Haim Gaifman
• [FOM] Turing in Context, King's College Cambridge, England 18-19 February 2012   gprimiero at libero.it
• [FOM] Information required regarding attribution to Kreisel   Edward Griffor
• [FOM] KI 2012: Call for Tutorial Proposals (posted for Daniel Sonntag <sonntag at dfki.de>)   Martin Davis
• [FOM] LICS 2012 - Final Call for Papers   Kreutzer, Stephan
• [FOM] The Cumulative Hereditary Hierarchy.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Quinn article, teaching math, excluded middle and constructive mathematics   frank waaldijk
• [FOM] 2nd Call: Newton Institute Workshop "Logical Approaches to Barriers in Complexity II"   Arnold Beckmann
• [FOM] Deadline Extension RTA 2012   Georg Moser
• [FOM] 2nd CFP: LLP special issue on point-free systems of geometry and topology   Rafał Gruszczyński
• [FOM] Large cardinal definitions   pax0 at seznam.cz
• [FOM] More about the Turing Year (From Barry Cooper)   Martin Davis
• [FOM] Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012   S B Cooper
• [FOM] Some job opportunities (not tenured) for logicians in Belgium   Andreas Weiermann
• [FOM] 474:Invariant Maximal Squares   Harvey Friedman
• [FOM] Large cardinal definitions   Daniil
• [FOM] Can invariant of transitive reflexive closure in FOL+PA always been proven?   Lucas Kruijswijk
• [FOM] Reminder: CfP: Symposium on the History and Philosophy of Programming - Birmingham 5-6 July 2012   gprimiero at libero.it
• [FOM] Reminder: CfP: Journal History and Philosophy of Logic - Logical Issues in the History and Philosophy of Computing   gprimiero at libero.it
• [FOM] CfP: Journal Philosophy and Technology - Trends in the History and Philosophy of Computing   gprimiero at libero.it
• [FOM] WST 2012: Last Call for Papers and Deadline Extension   Georg Moser
• [FOM] 475:Invariant Functions and Incompleteness   Harvey Friedman
• [FOM] A question about a new definition of Cardinality.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Undergraduate summer school in mathematical logic   Itay Neeman
• [FOM] SAT 2012: Call for Papers   Roberto Sebastiani
• [FOM] [CiE 2012] Deadline for Turing Centenary Conference approaching   S Barry Cooper
• [FOM] Turing Centenary Conference (CiE 2012) - Final submission arrangements   S B Cooper
• [FOM] CFP - Extended Deadline - GAMES, GAME THEORY AND GAME SEMANTICS   Mathieu Marion
• [FOM] MFPS 28 Second Call for Papers   Ulrich Berger
• [FOM] Six Postdoc positions available at the faculty of Science in Ghent   Andreas Weiermann
• [FOM] IJCAR 2012 - Third and Final Call for Papers   Bernhard Gramlich
• [FOM] 476:Maximality, Choice, and Incompleteness   Harvey Friedman
• [FOM] 477: TYPO   Harvey Friedman
• [FOM] Cardinality beyond Scott's (cont.)   Zuhair Abdul Ghafoor Al-Johar
• [FOM] EXTENDED DEADLINE CfP: Symposium on the History and Philosophy of Programming (5-6/07/2012)   gprimiero at libero.it
• [FOM] Zermelo Proof Checker   Jeremy Bem
• [FOM] LATA 2012: call for participation   GRLMC
• [FOM] Combinatorial objects with no computable instances   Timothy Y. Chow
• [FOM] CSL 2012   Patrick Cegielski
• [FOM] Combinatorial objects with no computable instances   Ali Enayat
• [FOM] Combinatorial objects with no computable instances   Andrej Bauer

Last message date: Tue Jan 31 18:02:33 EST 2012
Archived on: Thu Feb 2 05:33:12 EST 2012

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