January 2016 Archives by thread
Starting: Sat Jan 2 05:54:03 EST 2016
Ending: Sun Jan 31 23:49:12 EST 2016
Messages: 68
- [FOM] 23rd WoLLIC 2016 (Puebla, Mexico) - 2nd Call for Papers
Ruy de Queiroz
- [FOM] Survey on Interdsciplinary Grant and Project Review
Liam Kofi Bright
- [FOM] Ackermann Award 2016
Daniel Leivant
- [FOM] CFP [Hist/Phil of Science]: Torricelli's Opera Geometrica (1644)
pisanoraffaele at iol.it
- [FOM] Why we need a type-theoretic foundation
David McAllester
- [FOM] JAF 35
Fernando Ferreira
- [FOM] CCC 2015; postproceedings; second call for submission
Dieter Spreen
- [FOM] P =? NP: A practically important breakthrough
Kreinovich, Vladik
- [FOM] Logic Colloquium 2016: second announcement
Nicola Gambino
- [FOM] Fwd: William Craig has died at 97
Dana Scott
- [FOM] P =? NP: A practically important breakthrough (Kreinovich, Vladik)
Dustin Wehr
- [FOM] Paper announcement, *free PDF* and AudioSlides
Klaus Ebbe Grue
- [FOM] Notice about Bill Craig's life and work
Martin Davis
- [FOM] Second call for submissions, PhDs in Logic
Ulrich Kohlenbach
- [FOM] 2CFP: Philosophy of mathematics: truth, existence and explanation - Second international conference of the Italian Network for the Philosophy of Mathematics – FilMat
Pierluigi Graziani
- [FOM] Kleene tree variant
Robert Lubarsky
- [FOM] AUTOMATA 2016 Second Call for Papers
Turlough Neary
- [FOM] Logic Area of the Internet Encyclopedia of Philosophy
jean-yves beziau
- [FOM] Call for abstracts for 2nd Workshop on Connexive Logics
Hitoshi Omori
- [FOM] Talk on Formal Verification
Harvey Friedman
- [FOM] Koenigsmann's universal definition of Z in Q
Timothy Y. Chow
- [FOM] Operations, Sets, and Types: April 18-20, 2016, Muenchenwiler, Switzerland
Kentaro Sato
- [FOM] Fwd: [PMA 19] Reminder: CSHPM deadline on February 1
Martin Davis
- [FOM] CfP: AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16), Gdansk, Poland, 11-14 Sep, 2016
Roussanka Loukanova
- [FOM] Extended deadline: GaLoP 2016
Paul Blain Levy
- [FOM] CfP HaPoP3
gprimiero at libero.it
- [FOM] Logic, Algebra and Truth Degrees (LATD) 2016: Second Announcement
James Raftery
- [FOM] JFR Special Issue on QED+20 Published
Josef Urban
- [FOM] Meta-arithmetic and philosophy CFP (Swamplandia 2016)
Rafal Urbaniak
- [FOM] FOM comment
Bob Constable
Last message date:
Sun Jan 31 23:49:12 EST 2016
Archived on: Mon Feb 1 12:07:12 EST 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).