December 2008 Archives by date
Starting: Tue Dec 2 18:25:27 EDT 2008
Ending: Wed Dec 31 01:29:45 EDT 2008
Messages: 55
- [FOM] [CiE] CiE Newsletter, December 2008
S B Cooper
- [FOM] [CiE] CiE Newsletter, December 2008 - late item
S B Cooper
- [FOM] Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 at SCAS, Uppsala
palmgren at math.uu.se
- [FOM] Logic and Mathematics - First announcement
by way of Martin Davis <martin at eipye.com>
- [FOM] Understanding Euclid
Vaughan Pratt
- [FOM] Understanding Euclid
William Tait
- [FOM] Understanding Euclid
Michael J Barany
- [FOM] Understanding Euclid
Vaughan Pratt
- [FOM] FOM Understanding Euclid
Colin McLarty
- [FOM] Understanding Euclid
Alasdair Urquhart
- [FOM] TMFCS-09 call for papers
John Edward
- [FOM] FOM Understanding Euclid
Vaughan Pratt
- [FOM] Understanding Euclid
William Tait
- [FOM] Understanding Euclid
Jeremy Avigad
- [FOM] BEST 2009
Andres Caicedo
- [FOM] FOM Understanding Euclid
Colin McLarty
- [FOM] Understanding Euclid
Michael Barany
- [FOM] ACL2 2009: Second Call For Papers
Sandip Ray
- [FOM] FOM Understanding Euclid
George McNulty
- [FOM] 2 questions
William Everett Piper
- [FOM] TABLEAUX 2009: Second CfP
Viorica Sofronie-Stokkermans
- [FOM] Apal spec. issue - Constructive Topology - G. Sambin 60
Maria Emilia Maietti
- [FOM] Foundational Adventures: Conference in Honor of Harvey M. Friedman, May 14-17, 2009
Neil Tennant
- [FOM] Understanding Euclid
Vaughan Pratt
- [FOM] Understanding Euclid
Antonino Drago
- [FOM] New book on proof theory
Prof. Dr. Wolfram Pohlers
- [FOM] [CiE] CiE Newsletter No. 2, December 2008
S B Cooper
- [FOM] Logic and Dynamical Systems
Stephen G Simpson
- [FOM] FroCoS'09 Call for Papers
Roberto Sebastiani
- [FOM] CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for Papers
S B Cooper
- [FOM] The Reasoner 3(1) available to download
Jon Williamson
- [FOM] CCA 2009 First Call for Papers and Announcement
Peter Hertling
- [FOM] Logic and Dynamical Systems
Jon Awbrey
- [FOM] [CiE] Newsletter No.2, December 2008 - late item
S B Cooper
- [FOM] CADE-22 second call for papers
Carsten Schuermann
- [FOM] PhD positions in ICT on Formal Verification via SMT available in Trento
Roberto Sebastiani
- [FOM] Principia Mathematica 1st Edition
Steven Ericsson-Zenith
- [FOM] Anthology: Logicism, Intuitionism, and Formalism - What Has Become of Them?
palmgren at math.uu.se
- [FOM] CFP: The Shortest Universal Turing Machine Implementation Contest
Hector Zenil C.
- [FOM] CFP: 6th workshop on "Methods for Modalities" (M4M-6)
Thomas Bolander
- [FOM] Logic and Dynamical Systems
Andre Platzer
- [FOM] 4th CFP for TAMC 2009
S B Cooper
- [FOM] Brouwer on mathematical operations
Lucius Schoenbaum
- [FOM] Brouwer on mathematical operations
Vaughan Pratt
- [FOM] Hall's theorem
Andrej Bauer
- [FOM] LICS 2009 Second Call for Papers
Stephan Kreutzer
- [FOM] Brouwer on mathematical operations: operationalism in mathematics
T.Forster at dpmms.cam.ac.uk
- [FOM] Brouwer on mathematical operations: operationalism in mathematics
Vaughan Pratt
- [FOM] Brouwer on mathematical operations
josef at us.es
- [FOM] Brouwer on mathematical operations
MICHAEL MURPHY
- [FOM] TMFCS-09 call for papers
John Edward
- [FOM] Hall's theorem
Stephen Cook
- [FOM] r.e. Hall's Theorem
Jeff Hirst
- [FOM] Hall's theorem
Timothy Y. Chow
- [FOM] PSI 2009 Call For Papers
Perspectives of System Informatics
Last message date:
Wed Dec 31 01:29:45 EDT 2008
Archived on: Wed Dec 31 17:54:06 EDT 2008
This archive was generated by
Pipermail 0.09 (Mailman edition).