March 2023 Archives by author

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

Starting: Thu Mar 2 03:52:04 EST 2023
Ending: Wed Mar 15 13:58:20 EDT 2023
Messages: 43

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

Last message date: Wed Mar 15 13:58:20 EDT 2023
Archived on: Wed Mar 15 14:00:57 EDT 2023

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