January 2014 Archives by thread
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] Fwd: The Ideal Mathematician
Sam Sanders
- [FOM] Second Call for submissions: MSCS special Computable Analysis
Dieter Spreen
- [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] 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
This archive was generated by
Pipermail 0.09 (Mailman edition).