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