January 2014 Archives by date

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

Starting: Fri Jan 3 05:19:31 EST 2014
Ending: Thu Jan 30 11:57:40 EST 2014
Messages: 37

• [FOM] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP   S B Cooper
• [FOM] WORKSHOP: SoCal PhilMath + PhilLogic + FoM 4 and 5   Benjamin Rin
• [FOM] Evaluation form for interesting formulas   Sandro Skansi
• [FOM] LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014   Bjoern Lellmann
• [FOM] Logic and Theory of Science MA in Budapest   Laszlo E. Szabo
• [FOM] Cfp: Philosophy of mathematics: objectivity, cognition and proof - First FilMat Conference - San Raffaele, Milan - 29-31 May 2014   Andrea Sereni
• [FOM] CTFM 2014   Stephen G Simpson
• [FOM] 519: New Invariant Maximality   Harvey Friedman
• [FOM] Reasons for choosing between EFA and WKL*0?   Colin McLarty
• [FOM] The Ideal Mathematician   Charlie
• [FOM] The Ideal Mathematician   Samuel E. Moelius III
• [FOM] The Ideal Mathematician   Joseph Shipman
• [FOM] The Ideal Mathematician   Steve Stevenson
• [FOM] The Ideal Mathematician   T.Forster at dpmms.cam.ac.uk
• [FOM] The Ideal Mathematician   Walt Read
• [FOM] Fwd: The Ideal Mathematician   Sam Sanders
• [FOM] Fwd: The Ideal Mathematician   Walt Read
• [FOM] The Ideal Mathematician   Bill Greenberg
• [FOM] Second Call for submissions: MSCS special Computable Analysis   Dieter Spreen
• [FOM] the ideal mathematician   Wouter Stekelenburg
• [FOM] Contest Picturing Contradiction - 5th World Congress on Paraconsistency   jean-yves beziau
• [FOM] Set theory PhD student position in Bristol   AD Brooke-Taylor
• [FOM] Second Call for submissions: MSCS special Computable Analysis; Correction   Dieter Spreen
• [FOM] CONF/CFP: Abstractionism / Neo-Logicism (UConn Logic Group)   Rossberg, Marcus
• [FOM] CTFM 2014   Stephen G Simpson
• [FOM] CFP Trends in Logic XIV Ghent University, Belgium, July 8-11, 2014   Gillman Payette
• [FOM] 1 year post-doctoral fellowship in Padova   Maria Emilia Maietti
• [FOM] LMS Lecture series by J. Vaananen April 14-17 in London and Norwich   Gianluca Paolini
• [FOM] SAT 2014: Last Call for Papers   Carsten Sinz
• [FOM] CCA 2014: First Call for Papers   Vasco Brattka
• [FOM] CONF: Functions, Proofs, Constrcutions - Tübingen 21-23 February   Luca Tranchini
• [FOM] Workshop on Comoutability Theory 2014, July3-4, Prague   Mariya Soskova
• [FOM] Post-doctoral Position in Proof Theory, Vienna University of Technology   Stefan Hetzl
• [FOM] FW: Mathematics: Algorithms and Proofs. MAP2014   Kreinovich, Vladik
• [FOM] Invariant Maximality Paper   Harvey Friedman
• [FOM] Correctness by Construction, Genoa, Italy, 24-27 March 2014   Peter Schuster
• [FOM] CfP Hypothetical Reasoning, 23-24 August 2014, Tübingen   Peter Schroeder-Heister

Last message date: Thu Jan 30 11:57:40 EST 2014
Archived on: Thu Jan 30 18:11:20 EST 2014

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