February 2018 Archives by thread

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

Starting: Thu Feb 1 00:02:18 EST 2018
Ending: Tue Feb 27 09:27:14 EST 2018
Messages: 28

• [FOM] 788: Revolutionary Possibilities/7   Harvey Friedman
• [FOM] 789: Revolutionary Possibilities/8   Harvey Friedman
• [FOM] article on the origins of the Group in Logic and the Methodology of Science at Berkeley   Martin Davis
• [FOM] 790: Revolutionary Possibilities/9   Harvey Friedman
• [FOM] JAF 37 - Villa Finaly (Florence, Italy) - First announcement   Patrick Cegielski
• [FOM] Reminder --- Cfp: Philosophy of Mathematics: Objects, Structures, and Logics - Third FilMat Conference - Mussomeli (Caltanissetta, Sicily), 25-27 May 2018   Gianluigi Oliveri
• [FOM] 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13 April 2018   Dr A. Koutsoukou-Argyraki
  • [FOM] 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13 April 2018   Dr A. Koutsoukou-Argyraki
• [FOM] 25th WoLLIC 2018 (Bogotá, Colombia) - 2nd Call for Papers   Ruy de Queiroz
• [FOM] 791: Emulation Theory/Inductive Equations/1   Harvey Friedman
• [FOM] CfP: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)   Roussanka Loukanova
• [FOM] LSFA 2018 - FIRST CALL FOR PAPERS   Francicleber M. Ferreira
• [FOM] reflection principle for inaccessible   Paul Blain Levy
  • [FOM] reflection principle for inaccessible   Ali Enayat
  • [FOM] reflection principle for inaccessible   Paul Blain Levy
• [FOM] Second CfP: 9th International Workshop on Physics and Computation   Philippos Papagiannopoulos
• [FOM] Tenth Scandinavian Logic Symposium 2018, 11-13 June 2018, Gothenburg, Sweden   Graham Leigh
• [FOM] Fwd: SAT/SMT/AR Summer School 2018   Martin Davis
• [FOM] Fwd: [LICS] FLoC 2018 - Joint Call for Workshop Papers   Martin Davis
• [FOM] WiL 2018: Women in Logic Workshop 2nd Call for Papers   Amy Felty
• [FOM] "Toposes in Como" - first announcement   Olivia Caramello
• [FOM] ThEdu'18: Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [FOM] 792: Emulation Theory/Inductive Equations/2   Harvey Friedman
• [FOM] Computability, Complexity and Randomness (CCR 2018) Santiago de Chile 17 - 21 December 2018   Verónica Becher
• [FOM] Conference on Mathematical Logic, satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), Rio de Janeiro, 1 to 9 August 2018.   Verónica Becher
• [FOM] 793: Emulation Theory/Inductive Equations/3   Harvey Friedman
• [FOM] CFP: Synthese special issue on *Varieties of Entailment*   Joao Marcos
• [FOM] Final Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA)   Bahareh Afshari

Last message date: Tue Feb 27 09:27:14 EST 2018
Archived on: Tue Feb 27 14:12:12 EST 2018

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