February 2019 Archives by date

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

Starting: Fri Feb 1 02:50:00 EST 2019
Ending: Tue Feb 26 10:52:32 EST 2019
Messages: 44

• [FOM] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France   Frédéric Blanqui
• [FOM] Midlands Graduate School 2019 in the Foundations of Computing Science   Paul B Levy
• [FOM] Transfinite Recursion in Functional Analysis and Measure Theory   Sam Sanders
• [FOM] Final Call for Papers DICE-FOPARA 2019 -- Deadline Extension   Thomas Seiller
• [FOM] CCA 2019 (July 8-11, 2019, Zagreb, Croatia): Call for papers   Vasco Brattka
• [FOM] Transfinite Recursion in Functional Analysis and Measure Theory   Stephen G. Simpson
• [FOM] Transfinite Recursion in Functional Analysis and Measure Theory   Stephen G. Simpson
• [FOM] AUTOMATA 2019 - Call for Papers - Extended deadline   Alonso Castillo Ramirez
• [FOM] Master's in Logic and Theory of Science, Budapest   Laszlo E. Szabo
• [FOM] GaLoP 2019 -- Deadline Extension   Pierre Clairambault
• [FOM] Machine Learning and CH   Arnon Avron
• [FOM] Nominate outstanding Masters or Undergraduate Thesis for the VCLA International Student Awards 2019 - Deadline: March 15, 2019   Mihaela Rozman
• [FOM] TABLEAUX 2019 (London) call for papers   Andrei Popescu
• [FOM] WiL 2019: Women in Logic Workshop Call for Papers   Amy Felty
• [FOM] Undecidable statements (physics)   Sam Sanders
• [FOM] CFP : FISA @ WETICE 2019   HATEM HADJ KACEM
• [FOM] Machine Learning and CH   K. P. Hart
• [FOM] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE APPROACHING   Ruy de Queiroz
• [FOM] A formalization of the theory of grossone?   José Manuel Rodríguez Caballero
• [FOM] CCC 2018 postproceedings; 2nd call for submissions   Spreen, Dieter, Prof. Dr.
• [FOM] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019   Natarajan Shankar
• [FOM] AUTOMATA 2019 - Final Reminder - CFP   Alonso Castillo Ramirez
• [FOM] Fwd: [LICS] LICS 2019 ASL Student Sponsorship   Martin Davis
• [FOM] CFP : FSIA at WETICE 2019   HATEM HADJ KACEM
• [FOM] 1st World Logic Day, 14 January 2019 - Report on the Celebrations   jean-yves beziau
• [FOM] Fwd: LATA 2019: call for participation   Martin Davis
• [FOM] CFP: Special Session /Workshop on "Inclusion Functions/Relations"   A. Mani
• [FOM] Call for Nominations: E. W. Beth Dissertation Prize 2019, Deadline: 15 April 2019   Benedikt Loewe
• [FOM] Two PhD student positions in dialetheism and paraconsistent logics, Bochum (Germany), Deadline: 10 March 2019   Hitoshi Omori
• [FOM] Fwd: CADE-27: Second Call for Papers   Martin Davis
• [FOM] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE EXTENDED   Ruy de Queiroz
• [FOM] Proof-Theoretic Semantics, Tuebingen, 27-30 March 2019   Peter Schroeder-Heister
• [FOM] questions re Axiom of Choice   Paul Blain Levy
• [FOM] LCC 2019: Call for Contributions   anupamdotdas at gmail.com
• [FOM] 4th autumn school "Proof and Computation"   Chuangjie Xu
• [FOM] questions re Axiom of Choice   Mitchell Spector
• [FOM] questions re Axiom of Choice   Paul Blain Levy
• [FOM] questions re Axiom of Choice   Paul Blain Levy
• [FOM] questions re Axiom of Choice   Mitchell Spector
• [FOM] questions re Axiom of Choice   Mitchell Spector
• [FOM] Fwd: Mathematics in Philosophy Conference at Notre Dame March 22-23   Martin Davis
• [FOM] SD'19 Call for Papers.   Sonia Marin
• [FOM] questions re Axiom of Choice   Andreas Blass
• [FOM] 2nd CFP PLS12   Alexandra Soskova

Last message date: Tue Feb 26 10:52:32 EST 2019
Archived on: Tue Feb 26 19:49:13 EST 2019

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