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