May 2014 Archives by author

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

Starting: Fri May 2 09:43:07 EDT 2014
Ending: Fri May 30 00:56:25 EDT 2014
Messages: 24

• [FOM] Notion of Proof 2014: Extended deadline and final Call for Papers   Mr Jesse Adam Alama
• [FOM] Peirce's 1870 “Logic Of Relatives”   Jon Awbrey
• [FOM] OCL 2014: First Call for Papers   Achim D. Brucker
• [FOM] Classic Reprints are now available   Charlie
• [FOM] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [FOM] "MIND, MECHANISM AND MATHEMATICS" - New York City, May 12-14, 2014   S Barry Cooper
• [FOM] Fwd: Logical Methods in CS: ten years   Martin Davis
• [FOM] S. Awodey has received DOD grant to "reshape the foundations of mathematics"   Martin Davis
• [FOM] Philosophy of mathematics: objectivity, cognition, and proof.   Martin Davis
• [FOM] Inconsistency Robustness'14   Carl Hewitt
• [FOM] sad news   Kreinovich, Vladik
• [FOM] [Funded Positions] Doctoral College on Logical Methods in Computer Science   Thomas Krennwallner
• [FOM] Fwd: SLALM2014. EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20   Miguel Pagano
• [FOM] Postdoc position at Carnegie Mellon University on Hybrid Systems Theorem Proving   André Platzer
• [FOM] Call for participation: Isabelle Workshop and Tutorial, part of the Vienna Summer of Logic   Andrei Popescu
• [FOM] FilMat 2014 - Philosophy of mathematics: objectivity, cognition, and proof - Conference announcement   Andrea Sereni
• [FOM] FilMat 2014 - Philosophy of mathematics: objectivity, cognition, and proof - Conference announcement   Andrea Sereni
• [FOM] Continuity, Computability, Constructivity 2014; second call for papers   Dieter Spreen
• [FOM] CFP: Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [FOM] Request: Minichiello thesis   Vincent
• [FOM] LIQ4 = Every spring people meet in Paris to talk about logic ...   jean-yves beziau
• [FOM] JOB: post-doc, Groningen (Roots of Deduction project)   catarina dutilh
• [FOM] CFP: Hommage to Alexandre Koyré 1964–2014, Springer, 2015   pisanoraffaele at iol.it
• [FOM] CFP: Homage to Leibniz as Scientist and Engineer, Springer, 2017   pisanoraffaele at iol.it

Last message date: Fri May 30 00:56:25 EDT 2014
Archived on: Fri May 30 11:16:55 EDT 2014

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