April 2012 Archives by subject

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

Starting: Sun Apr 1 01:54:44 EDT 2012
Ending: Mon Apr 30 11:22:14 EDT 2012
Messages: 68

• [FOM] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK   S B Cooper
• [FOM] 2nd Call for Participation: RTA 2012   Georg Moser
• [FOM] 3rd CFP: LLP special issue on point-free geometry and topology   Rafał Gruszczyński
• [FOM] 494:Inv Max Templates/Z+up, upper Z+ equiv   Friedman, Harvey
• [FOM] 495:Invariant Finite Choice   Harvey Friedman
• [FOM] 496:Invariant Finite Choice/restatement   Harvey Friedman
• [FOM] [LICS] LICS 2012 - Accepted Papers and Call for Participation   Kreutzer, Stephan
• [FOM] abuse of Goedel   Thomas Forster
• [FOM] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers   S B Cooper
• [FOM] Alan Turing T-shirt   Sam Sanders
• [FOM] Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012   Andrej Bauer
• [FOM] CALL FOR PAPERS   mlika hamdi
• [FOM] Call for Participation: Tests and Proofs (TAP 2012) in Prague   Achim D. Brucker
• [FOM] CFP: AAL 2012   N.J.J. Smith
• [FOM] CFP: AAL 2012   N.J.J. Smith
• [FOM] CfP: Turing in context II -- Historical and Contemporary Research in Logic, Computing Machinery and AI   gprimiero at libero.it
• [FOM] Changes to the 'Women in Logic' list   catarina dutilh
• [FOM] Closing Thread: "Throwing Darts, Time, and the Infinite"   Martin Davis
• [FOM] Failure of interpolation in CD   Alasdair Urquhart
• [FOM] Final call for participation: PROOF THEORY AND MODAL LOGIC   David Fernández Duque
• [FOM] Final CfP (Ext.): ESSLLI 2012 Student Session   Rasmus K. Rendsvig
• [FOM] First CFP: Conference on Non-Classical Logic. Theory and Applications   Rafał Gruszczyński
• [FOM] For your amusement   Hendrik Boom
• [FOM] Fourth French PhilMath Workshop (FPMW 4)   Mark van Atten
• [FOM] Frits Staal: Indian linguistics and mathematical logic   John Kadvany
• [FOM] Georg Kreisel in hospital   Irving Anellis
• [FOM] Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30)   Rasmus K. Rendsvig
• [FOM] Harvey on invariant maximality   W.Taylor at math.canterbury.ac.nz
• [FOM] Harvey on invariant maximality   MartDowd at aol.com
• [FOM] Harvey on invariant maximality   Sam Sanders
• [FOM] Harvey on invariant maximality   Andreas Weiermann
• [FOM] Higher Order Set Theory and ZFC   Dmytro Taranovsky
• [FOM] IWS Workshop at IJCAR 2012 -- Call for papers   Martin Davis
• [FOM] Kreisel, Löb, and G2   John Kadvany
• [FOM] Kreisel, Löb, and G2   Aatu Koskensilta
• [FOM] Kreisel, Löb, and G2   Aatu Koskensilta
• [FOM] Logical Spring Paris May 2-3   jean-yves beziau
• [FOM] Lorenzo Carlucci, a non-subscriber, writes regarding "naturality issues"   Martin Davis
• [FOM] LSFA 2012: Call For Papers   Joao Marcos
• [FOM] On the Expression “only in a Pickwickian sense” [Nominalism and Pragmatism]   Jon Awbrey
• [FOM] Response / cr Gödel book   Adriano Palma
• [FOM] Response / critical review of Franzen's Gödel book   Aatu Koskensilta
• [FOM] Response / critical review of Franzen's Gödel book   Christopher Menzel
• [FOM] Response / critical review of Franzen's Gödel book   // ravi
• [FOM] Richard Epstein's view   Sara L. Uckelman
• [FOM] Richard Epstein's view   Timothy Y. Chow
• [FOM] Richard Epstein's view   Sara L. Uckelman
• [FOM] Richard Epstein's view   Timothy Y. Chow
• [FOM] Sorry, yet another historical question   T.Forster at dpmms.cam.ac.uk
• [FOM] Sorry, yet another historical question   Steve Stevenson
• [FOM] Sorry, yet another historical question   Roger Bishop Jones
• [FOM] Sorry, yet another historical question   Jacques Carette
• [FOM] submission deadline in two days-Logic and Computability Session- Latin American Congress of Mathematicians- Cordoba, Argentina   Veronica Becher
• [FOM] Summer School in Set Theory @ Irvine   meskew at math.uci.edu
• [FOM] The Reasoner 6(5) available for download   Jon Williamson
• [FOM] Third Announcement and CFP: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK - Extended deadline   Erik Palmgren
• [FOM] Throwing Darts, Time, and the Infinite   Jeremy Gwiazda
• [FOM] Throwing Darts, Time, and the Infinite   Thomas Forster
• [FOM] Throwing Darts, Time, and the Infinite   Joe Shipman
• [FOM] Throwing Darts, Time, and the Infinite   Kenny Easwaran
• [FOM] Throwing Darts, Time, and the Infinite   Jeremy Gwiazda
• [FOM] Throwing Darts, Time, and the Infinite   Kenny Easwaran
• [FOM] Throwing Darts, Time, and the Infinite   J Brown
• [FOM] Throwing Darts, Time, and the Infinite   John Allsup
• [FOM] Throwing Darts, Time, and the Infinite   W.Taylor at math.canterbury.ac.nz
• [FOM] Two questions about Peano arithmetic   David Isles
• [FOM] University of Bath Prize Fellow   Alessio Guglielmi
• [FOM] WoLLIC 2012 - Call for Papers   Ruy de Queiroz

Last message date: Mon Apr 30 11:22:14 EDT 2012
Archived on: Tue May 1 17:51:48 EDT 2012

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