February 2016 Archives by date

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

Starting: Mon Feb 1 09:02:59 EST 2016
Ending: Mon Feb 29 15:04:36 EST 2016
Messages: 81

• [FOM] CCC 2015; postproceedings; call for submissions; extended deadline   Dieter Spreen
• [FOM] Logic, Algebra and Truth Degrees (LATD) 2016: Second Announcement   Martin Davis
• [FOM] Midlands Graduate School in Foundations of Computing Science   Paul B Levy
• [FOM] 651: Pi01 Incompleteness Update   Harvey Friedman
• [FOM] Talk on Formal Verification   Lawrence Paulson
• [FOM] Talk on Formal Verification   Mario Carneiro
• [FOM] Talk on Formal Verification   Alasdair Urquhart
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] Talk on Formal Verification   Hendrik Boom
• [FOM] Talk on Formal Verification   Mario Carneiro
• [FOM] Talk on Formal Verification   Lawrence Paulson
• [FOM] Talk on Formal Verification   Colin McLarty
• [FOM] Talk on Formal Verification   Walt Read
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] Talk on Formal Verification   David McAllester
• [FOM] Talk on Formal Verification   Walt Read
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] CCA 2016 (Computability and Complexity in Analysis) Call for abstracts   Akitoshi Kawamura
• [FOM] Talk on Formal Verification   Louis Garde
• [FOM] Talk on Formal Verification   W.Taylor at math.canterbury.ac.nz
• [FOM] Talk on Formal Verification   David McAllester
• [FOM] Talk on Formal Verification   Timothy Y. Chow
• [FOM] 3Cfp: Philosophy of mathematics: truth, existence and explanation - Second FilMat Conference - University of Chieti-Pescara, Chieti - 26-28 May 2016   Pierluigi Graziani
• [FOM] Talk on Formal Verification   Isaac Malitz
• [FOM] 652: Pi01 Incompleteness Update/2   Harvey Friedman
• [FOM] PhD positions from October 2016 at the University of Bath   Alessio Guglielmi
• [FOM] Talk on Formal Verification   Lawrence Paulson
• [FOM] CFP REMINDER [Hist/Phil of Science]: Torricelli's Opera Geometrica (1644)   pisanoraffaele at iol.it
• [FOM] 653: Pi01 Incompleteness/SRP,HUGE   Harvey Friedman
• [FOM] Talk on Formal Verification   Walt Read
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] Talk on Formal Verification   Harvey Friedman
• [FOM] 654: Theory Inspired by Automated Proving 1   Harvey Friedman
• [FOM] Two PhD positions at Clermont University (philosophy of mathematics / epistemology of computer simulation)   Sebastien GANDON
• [FOM] AUTOMATA 2016: extension of submission deadline   Turlough Neary
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] Fwd: PhD Studentship in the History and Philosophy of Computing   Martin Davis
• [FOM] Tenure track assistant professorship in Mathematical Logic at Stockholm University   Erik Palmgren
• [FOM] CFP: SILFS - 3rd POSTGRADUATE Conference on LOGIC and PHILOSOPHY OF SCIENCE   Pierluigi Graziani
• [FOM] Talk on Formal Verification   Harvey Friedman
• [FOM] 655: Pi01 Incompleteness/SRP,HUGE/2   Harvey Friedman
• [FOM] Workshop on Compositional Meaning in Logic [GeTFun 4.0]   Joao Marcos
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] 656: Pi01 Incompleteness/SRP,HUGE/3   Harvey Friedman
• [FOM] Talk on Formal Verification   Harvey Friedman
• [FOM] Talk on Formal Verification   Josef Urban
• [FOM] CMCS 2016: Call for Short Contributions and Participation   fabio.zanasi at ens-lyon.fr
• [FOM] Fwd: LATA 2016: call for participation   Martin Davis
• [FOM] 657: Definitional Complexity Theory 1   Harvey Friedman
• [FOM] 658: Definitional Complexity Theory 2   Harvey Friedman
• [FOM] 654: Theory Inspired by Automated Proving 1   Lawrence Paulson
• [FOM] Talk on Formal Verification   Lawrence Paulson
• [FOM] 654: Theory Inspired by Automated Proving 1   Harvey Friedman
• [FOM] Talk on Formal Verification   Walt Read
• [FOM] 654: Theory Inspired by Automated Proving 1   Mario Carneiro
• [FOM] Logic Session at the 27th Nordic Congress of Mathematicians, 19 March 2016, Stockholm   Erik Palmgren
• [FOM] Call for submissions to CL&C'16 Classical Logic and Computation   Ulrich Kohlenbach
• [FOM] Earliest known computing language   John Kadvany
• [FOM] Square 2016 in Easter Island   jean-yves beziau
• [FOM] Correspondence chess with human/computer collaboration   Timothy Y. Chow
• [FOM] 654: Theory Inspired by Automated Proving 1   Lawrence Paulson
• [FOM] E.W. Beth Prize: 2016 call for nominations   Ruy de Queiroz
• [FOM] 659: Pi01 Incompleteness/SRP,HUGE/4   Harvey Friedman
• [FOM] 660: Pi01 Incompleteness/SRP,HUGE/5   Harvey Friedman
• [FOM] Formal Math Without Types?   Harvey Friedman
• [FOM] 661: Pi01 Incompleteness/SRP,HUGE/6   Harvey Friedman
• [FOM] Call for participation: Games for Logic and Programming Languages XI   Paul Blain Levy
• [FOM] 662: Pi01 Incompleteness/SRP,HUGE/7   Harvey Friedman
• [FOM] First IUSS/IHPST Joint Workshop in the Philosophy of Mathematics and Logic - IUSS Pavia - 03.03.2016   Andrea Sereni
• [FOM] Deadline Extension for Logic, Algebra and Truth Degrees (LATD) 2016   James Raftery
• [FOM] Free article on first-order logic by Corcoran and Masoud   John Corcoran
• [FOM] Letter from Kripke to Myhill   Oliver Marshall
• [FOM] 663: Pi01 Incompleteness/SRP,HUGE/8   Harvey Friedman
• [FOM] Formal Math Without Types?   Lawrence Paulson
• [FOM] Formal Math Without Types?   Mario Carneiro
• [FOM] Fwd: Formal Math Without Types?   Harvey Friedman
• [FOM] Colloquium Logicum 2016   Yurii Khomskii
• [FOM] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE APPROACHING   Ruy de Queiroz
• [FOM] Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld   Balthasar Grabmayr
• [FOM] Logic Colloquium 2016: Gödel lecture and registration   Nicola Gambino
• [FOM] International Workshop "Mathematics for Computation" (M4C)   Sam Sanders

Last message date: Mon Feb 29 15:04:36 EST 2016
Archived on: Mon Feb 29 18:58:39 EST 2016

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