March 2023 Archives by date
Starting: Thu Mar 2 03:52:04 EST 2023
Ending: Wed Mar 15 13:58:20 EDT 2023
Messages: 43
- AITP 2023 - Call for Contributions
Josef Urban
- CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)
Guillermo Badia
- L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics
José Manuel Rodríguez Caballero
- UQ Philosophy Seminar: next talk by David Makinson (Friday 10 March, Zoom)
Guillermo Badia
- GandALF 2023: Call For Papers
Antonios Achilleos
- L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics
Patrik Eklund
- Finitism / potential infinity requires the paraconsistent logic NAFL
Radhakrishnan Srinivasan
- L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics
José Manuel Rodríguez Caballero
- L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics
martdowd at aol.com
- Ejection of Computer Science from Mathematics
dennis.hamilton at acm.org
- correction of references (was: L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics)
José Manuel Rodríguez Caballero
- correction of references (was: L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics)
dennis.hamilton at acm.org
- correction of references (was: L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics)
José Manuel Rodríguez Caballero
- a foundational approach to artificial hallucinations in reinforcement learning
José Manuel Rodríguez Caballero
- Ejection of Computer Science from Mathematics
dennis.hamilton at acm.org
- L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics
Ruitenburg, Wim
- Lativity and interstitiality
Patrik Eklund
- Finitism / potential infinity requires the paraconsistent logic NAFL
Matthias
- a foundational approach to artificial hallucinations in reinforcement learning
José Manuel Rodríguez Caballero
- a foundational approach to artificial hallucinations in reinforcement learning
Patrik Eklund
- PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Andrei Popescu
- Finitism / potential infinity requires the paraconsistent logic NAFL
Radhakrishnan Srinivasan
- AAL info UQ Philosophy Seminar: next talk by Patrick Girard (Friday 17 March, Zoom)
Guillermo Badia
- Ordinal Analysis lectures by Toshiyasu Arai
Fedor Pakhomov
- cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software
Walther Neuper
- Re: Finitism / potential infinity requires the paraconsistent logic NAFL
Vaughan Pratt
- CfP: CLIRAI / CompLingInfoReasAI / Computational Linguistics, Information, Reasoning, and AI
Roussanka Loukanova
- Please post? Thanks!
Kennedy, Juliette
- FOM server - move to Gent from NYU planned
Samuel Buss
- Finitism / potential infinity requires the paraconsistent logic NAFL
Matthias
- Correction
Kennedy, Juliette
- A plea to make FOM the first priority in the education engineering curriculum of the 21st century
José Manuel Rodríguez Caballero
- Postdoc positions in Prague
Ansten Mørch Klev
- Nordic Online Logic Seminar: next talk on Monday, 27 March by Ali Enayat
Graham Leigh
- FOM server - move to Gent from NYU planned
Timothy Y. Chow
- FOM server - move to Gent from NYU planned
Samuel Buss
- Re: Finitism / potential infinity requires the paraconsistent logic NAFL
Radhakrishnan Srinivasan
- Finitism / potential infinity requires the paraconsistent logic NAFL
Stephen G. Simpson
- ?FOL Transitive Closures
dennis.hamilton at acm.org
- ?FOL Transitive Closures
dennis.hamilton at acm.org
- INDIAN IN SPIRIT? KARL KRAUSE'S PANENTHEISM AND THE VEDIC TRADITIONS: The Logic and Religion Webinar, March 16
FRANCISCO MARIANO
- ?FOL Transitive Closures
Richard Kimberly Heck
- FOM Transition to University of Gent
Samuel Buss
Last message date:
Wed Mar 15 13:58:20 EDT 2023
Archived on: Wed Mar 15 14:00:57 EDT 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).