February 2022 Archives by subject

• Messages sorted by: [ thread ] [ 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

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

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

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