November 2015 Archives by subject

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

Starting: Sun Nov 1 01:11:22 EST 2015
Ending: Mon Nov 30 18:52:51 EST 2015
Messages: 37

• [FOM] 5th World Congress on the Square of Opposition / Easter Island - Rapa Nui / Nov 11-15, 2016   jean-yves beziau
• [FOM] 642: Rigorous Formalization of Mathematics 3   Harvey Friedman
• [FOM] 642: Rigorous Formalization of Mathematics 3   Arnon Avron
• [FOM] 643: Constrained Subsets of N, #1   Harvey Friedman
• [FOM] 644: Fixed Point Selectors 1   Harvey Friedman
• [FOM] 645: Fixed Point Minimizers #1   Harvey Friedman
• [FOM] 646: Philosophy of Incompleteness 1   Harvey Friedman
• [FOM] 647: General Incompleteness almost everywhere 1   Harvey Friedman
• [FOM] `The unreliability of the logical principles'   Mark van Atten
• [FOM] AITP 2016 call for contributions   Josef Urban
• [FOM] Announcement: PhDs in Logic VIII, Darmstadt, May 9-11, 2016   Ulrich Kohlenbach
• [FOM] Arithmetic with Limited Exponentiation   Dmytro Taranovsky
• [FOM] Arithmetic with Limited Exponentiation II   Dmytro Taranovsky
• [FOM] AUTOMATA 2016 Call for Papers   Turlough Neary
• [FOM] Baker's theorem and the WSJ   Joe Shipman
• [FOM] Book: Michał Walicki's Introduction to Mathematical Logic (Extended Edition)   Qi Wen NG
• [FOM] CCA 2016 (Computability and Complexity in Analysis) First call for papers   Akitoshi Kawamura
• [FOM] CCC 2014; postproceedings; call for submission   Dieter Spreen
• [FOM] FOM: Rigorous Formalization of Mathematics 3   Dana Scott
• [FOM] Fwd: [PMA 18] CfA: Canadian Society for History and Philosophy of Mathematics Annual Meeting, University of Calgary, May 29-31, 2016   Martin Davis
• [FOM] Fwd: Artificial Intelligence and Theorem Proving   Martin Davis
• [FOM] Fwd: JOB POSITION IN LOGIC AT THE DEPARTMENT OF PHILOSOPHY-UNICAMP, Campinas, SP, Brazil]   Martin Davis
• [FOM] Generalizing from the Hereditarily Finite realm   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Last call for participation: Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th   Andrei Popescu
• [FOM] latest new axiom   martdowd at aol.com
• [FOM] LFCS registration deadline DEC 18, hotel deadline DEC 3   Robert Lubarsky
• [FOM] Logic Colloquium 2016: first announcement   Nicola Gambino
• [FOM] Midlands Graduate School Christmas Seminar   Paul B Levy
• [FOM] Papers on Free Logic   Dana Scott
• [FOM] relativised complexity classes   Martin Davis
• [FOM] relativised complexity classes   Alasdair Urquhart
• [FOM] relativised complexity classes   Timothy Y. Chow
• [FOM] relativised complexity classes   Timothy Y. Chow
• [FOM] S-REPLS meeting this Friday in London: truly final (and desperate) call for participation   Andrei Popescu
• [FOM] The computational content of Nonstandard Analysis   katzmik at macs.biu.ac.il
• [FOM] VCLA International Student Awards - DEADLINE EXTENDED   Bahareh Afshari
• [FOM] Workshop on Efficient and Natural Proof Systems: Call for participation. 14-16 December, Bath.   Anupam Das

Last message date: Mon Nov 30 18:52:51 EST 2015
Archived on: Mon Nov 30 19:52:43 EST 2015

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