October 2018 Archives by subject

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

Starting: Mon Oct 1 08:09:31 EDT 2018
Ending: Mon Oct 29 12:50:17 EDT 2018
Messages: 22

• [FOM] Are there some more pure type system checkers available?   Frédéric Blanqui
• [FOM] Are there some more pure type system checkers available?   Frédéric Blanqui
• [FOM] AUTOMATA 2019 Conference CFP   Hector Zenil
• [FOM] CCC 2018 postproceedings   Spreen, Dieter, Prof. Dr.
• [FOM] CFP: 4th SILFS Postgraduate Conference on Logic and Philosophy of Science   Pierluigi Graziani
• [FOM] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019   Roussanka Loukanova
• [FOM] EBL 2019 - call for papers   Bruno Lopes
• [FOM] Final Call for Applications: PhD position in ERC Project "The Roots of Mathematical Structuralism", University of Vienna   John Wigglesworth
• [FOM] Foundational Status of a proof of the Cayley-Hamilton theorem   Alasdair Urquhart
• [FOM] FSMP calls for applications / Appels d'offres de la FSMP /   Verónica Becher
• [FOM] Fwd: Artificial Intelligence and Theorem Proving, AITP 2019   Josef Urban
• [FOM] Fwd: CIE Newsletter - No. 124   Martin Davis
• [FOM] Fwd: LATA 2019: 2nd call for papers   Martin Davis
• [FOM] IRIF Annual Postdoc Call (opens October - deadline mid-November)   Verónica Becher
• [FOM] LICS 2019 - Call for Workshop Proposals   Frédéric Blanqui
• [FOM] Nautilus on Harvey Friedman's necessary use of large cardinals project   Martin Davis
• [FOM] POSTDOCTORAL RESEARCHER IN LOGIC, Milan   gprimiero at libero.it
• [FOM] Question about B-sets   Paul B Levy
• [FOM] SILFS PRIZE FOR THE PHILOSOPHY OF SCIENCE 2018   Pierluigi Graziani
• [FOM] TACL 2019 First announcement   Ramon Jansana
• [FOM] VIG 20   Martin Davis
• [FOM] Women in Science: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019   Mihaela Rozman

Last message date: Mon Oct 29 12:50:17 EDT 2018
Archived on: Mon Oct 29 18:11:14 EDT 2018

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