October 2017 Archives by author

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

Starting: Sun Oct 1 02:34:58 EDT 2017
Ending: Tue Oct 31 17:42:15 EDT 2017
Messages: 47

• [FOM] Book announcement: Logic Lectures by Goedel   Milos Adzic
• [FOM] Predicativity and parametric polymorphism of Brouwerian implication   Mark van Atten
• [FOM] CFP: ITP 2018   Jeremy Avigad
• [FOM] Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, 17 - 21 December 2018   Verónica Becher
• [FOM] independence from ZFC   David Fernandez Breton
• [FOM] DEADLINE EXTENSION: November 15, 2017 "Logic, Probability, and their generalizations", Vichy (France), 16-20 Jun 2018   Walter Carnielli
• [FOM] JAF 37 - Villa Finaly (Florence, Italy) - First announcement   Patrick Cegielski
• [FOM] logic website from Yuri Bladinov   Martin Davis
• [FOM] Fwd: CiE 2018: Preliminary announcement   Martin Davis
• [FOM] Corrado B\"ohm (17 January 1923 — 23 October 2017 (aged 94))   Martin Davis
• [FOM] Fwd: [LICS] FLoC 2018 - Joint Call for Papers   Martin Davis
• [FOM] AI Challenge   Patrik Eklund
• [FOM] CfP - 'Logic, Law and Legal Reasoning', Workshop at UNILOG 2018   Harvey Friedman
• [FOM] 770: Algorithmic Unsolvability 1   Harvey Friedman
• [FOM] NIM/Deep Learning   Harvey Friedman
• [FOM] 771: Algorithmic Unsolvability 2   Harvey Friedman
• [FOM] NIM/AI challenges   Harvey Friedman
• [FOM] 772: Algorithmic Unsolvability 3   Harvey Friedman
• [FOM] CfP: Models for Formal Analysis of Real Systems (MARS 2018)   Rob van Glabbeek
• [FOM] 1st CfR - Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy, Bonn, 16 -18 Feb 2018   Balthasar Grabmayr
• [FOM] NIM/Deep Learning   Dennis E. Hamilton
• [FOM] Vladimir Voevodsky Dies at 51   Aviv Keren
• [FOM] interesting result: antibiotics design is NP-hard   Kreinovich, Vladik
• [FOM] independence from ZFC   Paul B Levy
• [FOM] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2018   Roussanka Loukanova
• [FOM] "Complex systems" and "emergent phenomena"   Leo Marcus
• [FOM] Rv: Is Linnebo’s system MS inconsistent?   Christopher Menzel
• [FOM] CFP: Practices of Reading and Writing in Logic (Vichy, France, 23-24 June 2018) - Extended deadline   Amirouche Moktefi
• [FOM] CFP: Diagrams (Edinburgh, 18-22 June 2018)   Amirouche Moktefi
• [FOM] AI Challenge   Till Mossakowski
• [FOM] CfP - 'Logic, Law and Legal Reasoning', Workshop at UNILOG 2018   Hans Christian Nordtveit
• [FOM] AI Challenge   Dr. Cyrus F Nourani
• [FOM] Call for submissions for a special issue on connexive logics   Hitoshi Omori
• [FOM] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers   Ruy de Queiroz
• [FOM] Call for Abstracts. Second SYSMICS Workshop (Vienna)   Revantha Ramanayake
• [FOM] NIM Challenges   Walt Read
• [FOM] NIM Challenges   Rempe-Gillen, Lasse
• [FOM] Last CFP: Workshop on Logical Correctness (WoLC), 21-26 June 2018, Vichy (France)   Fabien Schang
• [FOM] Sad news: Kosta Dosen   Peter Schroeder-Heister
• [FOM] NIM/Deep Learning   Joe Shipman
• [FOM] Predicativity and parametric polymorphism of Brouwerian implication   WILLIAM TAIT
• [FOM] Artificial Intelligence and Theorem Proving - Call for Papers   Josef Urban
• [FOM] Possible non-existence of repeat points   martdowd at aol.com
• [FOM] UNILOG'2018, Vichy, France / petition to withdraw the 20% VAT tax that applies in France to registration fees   jean-yves beziau
• [FOM] CfP: HaPoP4 Fourth Symposium on the History and Philosophy of Programming   gprimiero at libero.it
• [FOM] Rv: Is Linnebo’s system MS inconsistent?   laureano luna
• [FOM] Is Linnebo?s system MS inconsistent?   laureano luna

Last message date: Tue Oct 31 17:42:15 EDT 2017
Archived on: Tue Oct 31 17:45:46 EDT 2017

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