January 2022 Archives by date
Starting: Sat Jan 1 16:10:03 EST 2022
Ending: Mon Jan 31 10:46:30 EST 2022
Messages: 68
- Southern Summer Logic Day (WLD 2022), Virtual 14 Jan 2022
Guillermo Badia
- PhD Scholarship (Logic), University of Queensland, Australia
Guillermo Badia
- World Logic Day @ UCL
Pym, David
- World Logic Day Workshop (Jan. 17, 2022)
Nikolay Bazhenov
- [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes
Moshe Y Vardi
- January 14, 2022 : 4th edition of the World Logic Day
jean-yves beziau
- some interesting lecture and a new Journal
Lukasz T. Stepien
- Nordic Online Logic Seminar: next talk on January 24, by Johan van Benthem
Graham Leigh
- IPMU 2022 special session on Logical structures of opposition and logical syllogisms
Kreinovich, Vladik
- Meta-metamathematics
JOSEPH SHIPMAN
- Meta-metamathematics
martdowd at aol.com
- 9 am cstRe: Nordic Online Logic Seminar: next talk on January 24, by Johan van Benthem
John Baldwin
- Meta-metamathematics
Hendrik Boom
- 920: Polynomials and PA
Harvey Friedman
- Position as Senior Lecturer in Logic in Gothenburg
Fredrik Engström
- 28th WoLLIC 2022 - 2nd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- Meta-mathematics
Timothy Y. Chow
- Meta-metamathematics
Vaughan Pratt
- Question on logic with Mostowski cardinality quantifiers
Guillermo Badia
- 921: Polynomials and PA/2
Harvey Friedman
- 21st Annual Meet of Calcutta Logic Circle (14-17January)
Sayantan Roy
- Towards formalization of Fermat's Last Theorem
Freek Wiedijk
- 922: WQO Games
Harvey Friedman
- World Logic Day celebrated at the University of Oxford
Michał Zawidzki
- Logic for the Friendship of Nations (Jan 14-15, 2022)
Ali Sadegh Daghighi
- CiE 2022: Third CfP, submission deadline extended
Johanna Franklin
- THE LOGIC OF BIBLICAL LOVE - The Logic and Religion Webinar, January 13
FRANCISCO MARIANO
- ANNOUNCEMENT
Martin Davis
- cardinality quantifiers
Kennedy, Juliette
- Towards formalization of Fermat's Last Theorem
Timothy Y. Chow
- New Busy Beaver Turing Machine program
Nicholas Drozd
- Meta-metamathematics
JOSEPH SHIPMAN
- 4th World Logic Day - Round table on the Exceptionality of Logic
jean-yves beziau
- 923: Polynomials and PA/3
Harvey Friedman
- On PA and ZFC-Inf
JOSEPH SHIPMAN
- 2nd CfP: Trends in Logic XXII (18–20 July 2022)
Trends In Logic 2022 - U. Caglari Workshop
- 924: Polynomials and PA/4
Harvey Friedman
- Video Recordings of Southern Summer Logic Day (WLD event 2022)
Guillermo Badia
- Classics/Ancient Philosophy Editorial Scholarships for Dyslexic PGRs
Louise Chapman
- Towards formalization of Fermat's Last Theorem
mario chiari
- Meta-metamathematics
Sam Sanders
- Meta-metamathematics
JOSEPH SHIPMAN
- Hardy's 1904 paper on aleph_1
martdowd at aol.com
- FYI
Kreinovich, Vladik
- non-computability of overfitting
José Manuel Rodríguez Caballero
- non-computability of overfitting
JOSEPH SHIPMAN
- non-computability of overfitting
José Manuel Rodríguez Caballero
- Theorem about Diaz's truth-relevant logic
X.Y. Newberry
- FW: an interesting viewpoint on math
Kreinovich, Vladik
- FYI (Avigad on Varieties of Math Understanding)
Vaughan Pratt
- Journées sur les Arithmétiques Faibles 2022
Stanislav Speranski
- non-computability of overfitting
Sam Sanders
- MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics
jean-yves beziau
- Crossley Logic Colloquium (14-15 June 2022, Virtual)
Guillermo Badia
- FYI (Avigad on Varieties of Math Understanding)
Timothy Y. Chow
- non-computability of overfitting
Timothy Y. Chow
- non-computability of overfitting
José Manuel Rodríguez Caballero
- non-computability of overfitting
Josef Urban
- Analytic Topology and the Jordan Case
Ignacio Añón
- CfP (deadline extension): Trends in Logic XXII
Trends In Logic 2022 - U. Caglari Workshop
- Analytic Topology and the Jordan Case (Ignacio A??n)
José Manuel Rodríguez Caballero
- Conference on "Philosophical roots of mathematical logic"
Martin Davis
- Fwd: Analytic Topology and the Jordan Case (Ignacio A??n)
José Manuel Rodríguez Caballero
- CCA2022 -- Call for Submissions
Zheng, Xizhong
- Corrected version of Call for Submissions (CCA2022)
Zheng, Xizhong
- Analytic Topology and the Jordan Case
martdowd at aol.com
- The unreasonable effectiveness of modular forms
José Manuel Rodríguez Caballero
- UltraMath2022 - Ultrafilters and Ultraproducts Across Mathematics, and Related topics - Registration and Call for papers
Lorenzo Luperi Baglini
Last message date:
Mon Jan 31 10:46:30 EST 2022
Archived on: Mon Jan 31 21:13:34 EST 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).