November 2018 Archives by thread

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

Starting: Sat Nov 3 19:15:25 EDT 2018
Ending: Fri Nov 30 05:51:31 EST 2018
Messages: 20

• [FOM] [Vardi-list] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium   Moshe Vardi
• [FOM] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies   Moshe Vardi
• [FOM] Fwd: ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019   Martin Davis
• [FOM] About Set Theory with negation of the existence of an empty set   dorin alex
  • [FOM] About Set Theory with negation of the existence of an empty set   Lukasz T. Stepien
• [FOM] Quantifying novelty in mathematics   José Manuel Rodriguez Caballero
• [FOM] "Proofs of life"   José Manuel Rodriguez Caballero
  • [FOM] "Proofs of life"   Rene Vestergaard
    • [FOM] "Proofs of life"   Rene Vestergaard
• [FOM] Computability theory axiomatically   George Cherevichenko
• [FOM] request to moderator: Was Turing's 1938 intuition/ingenuity distinction unwittingly related to Kant's philosophy of mathematics? [REPOSTING]   Aaron Sloman
• [FOM] JAF 38 - New York (May, 28-30) - First announcement   Patrick Cegielski
• [FOM] Expository article on consistency of PA   Timothy Y. Chow
• [FOM] PLS12: THE TWELFTH PANHELLENIC LOGIC SYMPOSIUM   Alexandra Soskova
• [FOM] 1st Logic Prizes Contest : Papers of all the Winners now on-line   jean-yves beziau
• [FOM] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019   Roussanka Loukanova
• [FOM] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers   Ruy de Queiroz
• [FOM] World Logic Day: January 14 / Day of birth of Alfred Tarski and of death of Kurt Gödel   jean-yves beziau
• [FOM] Update on Ordinal Analysis   Dmytro Taranovsky
• [FOM] 2nd CfP CiE 2019: Computing with Foresight and Industry   gprimiero at libero.it

Last message date: Fri Nov 30 05:51:31 EST 2018
Archived on: Fri Nov 30 16:35:48 EST 2018

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