October 2019 Archives by date

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

Starting: Tue Oct 1 09:26:47 EDT 2019
Ending: Wed Oct 30 20:54:37 EDT 2019
Messages: 51

• [FOM] XVIII SLALM (Latin American Symposium on Mathematical Logic) Universidad de Concepción, Chile December 16-20, 2019   Verónica Becher
• [FOM] 832: Tangible Incompleteness Restarted/6   Harvey Friedman
• [FOM] 827: Tangible Incompleteness Restarted/1   José Manuel Rodríguez Caballero
• [FOM] 827: Tangible Incompleteness Restarted/1   Louis H Kauffman
• [FOM] 827: Tangible Incompleteness Restarted/1   Harvey Friedman
• [FOM] 827: Tangible Incompleteness Restarted/1   Patrik Eklund
• [FOM] 827: Tangible Incompleteness Restarted/1   José Manuel Rodriguez Caballero
• [FOM] closing the "graph theory thread"   Martin Davis
• [FOM] 827: Tangible Incompleteness Restarted/1   Louis H Kauffman
• [FOM] Postdoc at U of Toronto   Kenny Easwaran
• [FOM] job opening in mathematical logic   Jeremy Avigad
• [FOM] 833: Tangible Incompleteness Restarted/7   Harvey Friedman
• [FOM] Palermo (Italy) Logic and Philosophy of Science seminars I semester 2019/20   iao271055 at libero.it
• [FOM] PhD position in Theoretical Computer Science at the VU Amsterdam   Joerg Endrullis
• [FOM] FW: Computability in Europe 2020 FIRST CALL FOR PAPERS:   Kreinovich, Vladik
• [FOM] Fwd: Midwest PhilMath Workshop November 9-10   Martin Davis
• [FOM] deautomatization in mathematics   José Manuel Rodríguez Caballero
• [FOM] deautomatization in mathematics   Patrik Eklund
• [FOM] deautomatization in mathematics   Josef Urban
• [FOM] deautomatization in mathematics   Saburou Saitoh
• [FOM] 27th WoLLIC 2020 (Lima, Peru) - 1st Call for Papers   Ruy de Queiroz
• [FOM] deautomatization in mathematics   Timothy Y. Chow
• [FOM] 834: Tangible Incompleteness Restarted/8   Harvey Friedman
• [FOM] Gerald Sacks   Harvey Friedman
• [FOM] Fwd: [LICS] LICS 2020 Call for Papers   Martin Davis
• [FOM] syntactic power   Harvey Friedman
• [FOM] Gerald Sacks   Norman Megill
• [FOM] power of forcing/2   Harvey Friedman
• [FOM] syntactic power/2   Harvey Friedman
• [FOM] 835: Tangible Incompleteness Restarted/9   Harvey Friedman
• [FOM] syntactic power/3   Harvey Friedman
• [FOM] ICALP-LICS 2020 Call for Workshops   Frédéric Blanqui
• [FOM] 836: Tangible Incompleteness Restarted/10   Harvey Friedman
• [FOM] syntactic power/3   Jacques Carette
• [FOM] Artificial Intelligence and Theorem Proving 2020 - Call for Papers   Josef Urban
• [FOM] 837: Tangible Incompleteness Restarted/11   Harvey Friedman
• [FOM] 11th French Philosophy of Mathematics Workshop (Paris, Nov. 14-16) - Program   Brice Halimi
• [FOM] Circularity in Syntax and Semantics 2019: call for participation   Graham Leigh
• [FOM] tenure track positions in Utrecht   Oosten, J. van (Jaap)
• [FOM] On the Foundations of Computing (OUP)   gprimiero at libero.it
• [FOM] XI Autumn Conference in Logic (Poland) - Call for abstracts   Marcin Czakon
• [FOM] Workshop on proof theory, modal logic and reflection principles: call for participation   Eduardo Hermo Reyes
• [FOM] Workshop on Foundations and Applications of Univalent Mathematics, 18-20 December 2019, Herrsching   Chuangjie Xu
• [FOM] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien   Mihaela Rozman
• [FOM] message from the moderator   Martin Davis
• [FOM] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020   Roussanka Loukanova
• [FOM] Fully funded PhD student position in modal logic, proof theory and applications, Barcelona (Spain), Deadline: 15 Nov 2019   Ana Borges
• [FOM] Workshop on Foundations and Applications of Univalent Mathematics, 18-20 December 2019, Herrsching   Justin Scarfy
• [FOM] Abstract recursion and intrinsic complexity   Yiannis N. Moschovakis
• [FOM] Second Call: 4th Logic, Relativity and Beyond Conference (2020 June 17-21)   Gergely Székely
• [FOM] Formal Methods in Mathematics / Lean Together 2020   Jeremy Avigad

Last message date: Wed Oct 30 20:54:37 EDT 2019
Archived on: Thu Oct 31 00:04:02 EDT 2019

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