December 2016 Archives by thread
Starting: Thu Dec 1 06:22:10 EST 2016
Ending: Thu Dec 29 04:57:54 EST 2016
Messages: 39
- [FOM] FIRST CALL: 3rd Logic, Relativity and Beyond Conference (Budapest, 18-22 July, 2017)
Gergely Székely
- [FOM] IMLA 2017 Call for Papers
Valeria de Paiva
- [FOM] Funding opportunities for PhD's and Postdocs in Flanders
Andreas Weiermann
- [FOM] WiL 2017: Women in Logic Workshop Call for Papers
Amy Felty
- [FOM] 733: Large Cardinals and Emulations/28
Harvey Friedman
- [FOM] Reminder - CfP Consequence and Paradox between Truth and Proof, 2-3 March 2017, Tübingen
Luca Tranchini
- [FOM] Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer
Mark van Atten
- [FOM] CFR: Model Theory: Philosophy, Mathematics and Language, Munich, 9-12 January 2017
John Wigglesworth
- [FOM] 734: Large Cardinals and Emulations/29
Harvey Friedman
- [FOM] LRB17 conference date change
Gergely Székely
- [FOM] MathOverflow question on f.o.m.
Timothy Y. Chow
- [FOM] Paraconsistent Newsletter - Fall 2016
jean-yves beziau
- [FOM] CFP: (Updated): Special Session on Foundations...IJCRS'2017
A. Mani
- [FOM] Troelstra's Paradox and Markov's Principle
Mark van Atten
- [FOM] 735: Philosophical Geometry/13
Harvey Friedman
- [FOM] 736: Philosophical Geometry/14
Harvey Friedman
- [FOM] AUTOMATA 2017 - Call for Papers
AUTOMATA 2017
- [FOM] Did Kleene give a constructive proof of Brouwer's axioms?
Frank Waaldijk
- [FOM] 737: Philosophical Geometry/15
Harvey Friedman
- [FOM] LaTeX code for "truth value of ..."
Robert Lubarsky
- [FOM] 738: Philosophical Geometry/16
Harvey Friedman
Last message date:
Thu Dec 29 04:57:54 EST 2016
Archived on: Thu Dec 29 10:47:25 EST 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).