February 2022 Archives by thread

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

Starting: Tue Feb 1 00:21:04 EST 2022
Ending: Mon Feb 28 00:08:00 EST 2022
Messages: 30

• 925: Polynomials and PA/5   Harvey Friedman
  • 926: Polynomials and PA/6   Harvey Friedman
• [Vardi-list] Webinar & Call for Model-Checking Community Feedback   Moshe Y Vardi
• Real numbers: constructions vs. proof methods   Timothy Y. Chow
• FUN 2022: 2nd call for papers   Mosteiro, Miguel A.
• PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)   Bahareh Afshari
• Tenure-track assistant professor or associate professor in science studies   Jessica M. H. G. Carter
• LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper   jean-yves beziau
• The Logic of Paradise: The Logic and Religion Webinar, February 10   FRANCISCO MARIANO
• Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand   Graham Leigh
• Call for abstracts: LICS22-Affiliated Workshop on Decidable Fragments of First-order Modal Logic   Yanjing Wang
• Victor Pambuccian (Arizona State University/Visiting Professor at the University of Urbino) Lectiones Commandinianae on the Foundations of Geometry   Pierluigi Graziani
  • Victor Pambuccian - Lectiones Commandinianae on the Foundations of Geometry   Pierluigi Graziani
• LUWebinar Feb 16: Paraconsistent Orbits of Logics   jean-yves beziau
• Topology vis a vis arithmetic   Ignacio Añón
• New manuscript on Pfeiffer's thesis   martdowd at aol.com
• 2nd CFP -- CCA2022   Zheng, Xizhong
• The consistency of NF in Lean?   Timothy Y. Chow
  • The consistency of NF in Lean?   JOSEPH SHIPMAN
    • The consistency of NF in Lean?   Timothy Y. Chow
• PhD Program in Philosophy at the Scuola Normale   Pierluigi Graziani
• 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation   Anupam das
• Call for Tutorials & Workshops | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• Second Call For Papers | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• Addendum to 2nd CFP | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• CORRECTION to Second Call For Papers | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• PhD in Cyclic Proofs for Modal and Higher-order Logic - deadline extended   Bahareh Afshari
• The consistency of NF in Lean? - MUCH FUN   dennis.hamilton at acm.org
• Regarding Deep Learning/NIM   Harvey Friedman
• Consistency of NF   Gabbay, Jamie

Last message date: Mon Feb 28 00:08:00 EST 2022
Archived on: Wed Mar 2 23:20:26 EST 2022

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