January 2016 Archives by date

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

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] Why we need a type-theoretic foundation   Joe Shipman
• [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] P =? NP: A practically important breakthrough   Rob Arthan
• [FOM] P =? NP: A practically important breakthrough   Joe Shipman
• [FOM] P =? NP: A practically important breakthrough   Arnold Neumaier
• [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] P =? NP: A practically important breakthrough (Kreinovich, Vladik)   Arnold Neumaier
• [FOM] P =? NP: A practically important breakthrough (Kreinovich, Vladik)   Colin McLarty
• [FOM] P =? NP: A practically important breakthrough (Kreinovich, Vladik)   martdowd at aol.com
• [FOM] Notice about Bill Craig's life and work   Richard Zach
• [FOM] P =? NP: A practically important breakthrough   Moshe Vardi
• [FOM] Second call for submissions, PhDs in Logic   Ulrich Kohlenbach
• [FOM] P =? NP: A practically important breakthrough   Timothy Y. Chow
• [FOM] P =? NP: A practically important breakthrough   Mario Carneiro
• [FOM] P =? NP: A practically important breakthrough   Timothy Y. Chow
• [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] P =? NP: A practically important breakthrough   Josef Urban
• [FOM] P =? NP: A practically important breakthrough   Timothy Y. Chow
• [FOM] P =? NP: A practically important breakthrough   W.Taylor at math.canterbury.ac.nz
• [FOM] AUTOMATA 2016 Second Call for Papers   Turlough Neary
• [FOM] P =? NP: A practically important breakthrough   Andrew Butterfield
• [FOM] P =? NP: A practically important breakthrough   Arnold Neumaier
• [FOM] P =? NP: A practically important breakthrough   David Diamondstone
• [FOM] P =? NP: A practically important breakthrough (Kreinovich, Vladik)   David Diamondstone
• [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] Koenigsmann's universal definition of Z in Q   Mario Carneiro
• [FOM] Koenigsmann's universal definition of Z in Q   Grant Olney Passmore
• [FOM] Talk on Formal Verification   Jeremy Avigad
• [FOM] Koenigsmann's universal definition of Z in Q   Timothy Y. Chow
• [FOM] Koenigsmann's universal definition of Z in Q   Sylvy Anscombe
• [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] Talk on Formal Verification   Lawrence Paulson
• [FOM] Talk on Formal Verification   Mario Carneiro
• [FOM] Logic, Algebra and Truth Degrees (LATD) 2016: Second Announcement   James Raftery
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Colin McLarty
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Josef Urban
• [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
• [FOM] Talk on Formal Verification   Ben Sherman
• [FOM] Talk on Formal Verification   martdowd at aol.com
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Mario Carneiro
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Harvey Friedman

Last message date: Sun Jan 31 23:49:12 EST 2016
Archived on: Mon Feb 1 12:07:12 EST 2016

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