June 2021 Archives by author

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

Starting: Tue Jun 1 02:06:31 EDT 2021
Ending: Wed Jun 30 09:11:00 EDT 2021
Messages: 30

• Davis's honor roll   Martin Davis
• Fwd: Davis's honor roll   Martin Davis
• Adequacy of a logic   Patrik Eklund
• Scott's "A system of functional abstraction" and a variant of Rice's theorem   Yannick Forster
• About existence-as-consistency   Curtis Franks
• Nordic Online Logic Seminar: talk by Dag Normann on June 21   Valentin Goranko
• About existence-as-consistency   Richard Heck
• About existence-as-consistency   Mikhail Katz
• Certified Programs and Proofs (CPP) 2022: Call for Papers   Andrei Popescu
• Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)   Andrei Popescu
• Adequacy of a logic   Vaughan Pratt
• [Second Call for Papers] Formal Verification of Physical Systems (FVPS 2021)   Adnan Rashid
• FVPS 2021: Deadline Extension (June 25, 2021)   Adnan Rashid
• Logical Perspectives 2021 Conference: Reminder   Stanislav Speranski
• DEADLINE EXTENDED, 4th Logic, Relativity and Beyond conference, call for (online) participation   Gergely Székely
• Adequacy of a logic   Tennant, Neil
• Adequacy of a logic   Tennant, Neil
• Two PhD Scholarships in Continuous-time Models   Max Tschaikowski
• Davis's honor roll   Richard Zach
• Unsolved problems linking physics, biology, consciousness, philosophy of mathematics, and chemical information processing. Wed 2nd June 15-18pm(CET)   martdowd at aol.com
• Sequents and Trees - Logica Universalis Webinar - June 16 - 16h CET   jean-yves beziau
• Paraconsistent Newsletter Spring-Fall 2021   jean-yves beziau
• Talmudic Logic Project - LUWebinar - June 23 - 4 pm CET   jean-yves beziau
• PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July**   anupamdotdas at gmail.com
• About existence-as-consistency   joseph.vidal.rosset at gmail.com
• Postdoc Position in Logical Foundations of AI, Logic Group at University of Milan   gprimiero at libero.it
• REMINDER: Postdoc Position in Logical Foundations of AI, Logic Group at University of Milan   gprimiero at libero.it
• FINAL REMINDER: Postdoc Position in Logical Foundations of AI, Logic Group at University of Milan   gprimiero at libero.it
• About existence-as-consistency   sambin at math.unipd.it
• Two PhD positions and Two Postdoc positions in Logic (Groningen) *15 June 2021 deadline*   revantha

Last message date: Wed Jun 30 09:11:00 EDT 2021
Archived on: Thu Jul 1 23:33:57 EDT 2021

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