May 2022 Archives by thread
Starting: Sun May 1 03:46:47 EDT 2022
Ending: Tue May 31 13:19:37 EDT 2022
Messages: 128
- Call for Applications: HHU Summer School “Philosophy of Mathematics Beyond the Armchair?!” Aug 22-26, 2022, in Düsseldorf, Germany
Deborah Kant
- BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
Andrei Popescu
- AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10
Josef Urban
- 2nd Call for Papers for Minds and Machines Special Issue on Computing Cultures: Historical and Philosophical Perspectives
gprimiero at libero.it
- Bourbaki and foundations
Michael Sheard
- CSL'23 - call for papers
Bartek Klin
- Logic colloquium 2022 registration is open
Antonios Achilleos
- 930: Tangible Indiscernibles/1
Harvey Friedman
- Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12
FRANCISCO MARIANO
- LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky
jean-yves beziau
- Call for Registration: Did Frege Plagiarize the Stoics? A Durham-Chicago Colloquium on Logic and Language with Susanne Bobzien, Sosseh Assaturian, and Rachel Boddy
Sara L. Uckelman
- Nordic Online Logic Seminar: next talk on May 30, by Øystein Linnebo
Valentin Goranko
- INTERNATIONAL CONFERENCE: GROTHENDIECK, A MULTIFARIOUS GIANT: MATHEMATICS, LOGIC AND PHILOSOPHY - CHAPMAN UNIVERSITY, ORANGE (CA) - MAY 24TH-28TH, 2022
Andrea Sereni
- Postdoc in Proof Theory - University of Birmingham, UK
Anupam das
- CCA2022 --Call for Participation
Zheng, Xizhong
- Third CFP: LogTeach-22 (plain text)
Johann Makowsky
- CfP special issue on Valerie Plumwood's contributions to logic in AustJL, Deadline: 4 Jul 2022
Guillermo Badia
- CFP: AAL Conference 2022, June 22-24, online, deadline May 15 (hard deadline May 22)
Guillermo Badia
- 931: Tangible Indiscernibles/2
Harvey Friedman
- 932: Tangible Indiscernibles/3
Harvey Friedman
- Open postdoc or PhD position at Reykjavik University, department of Computer Science
Antonios Achilleos
- 933: Provable Functions of Set Theories/1
Harvey Friedman
- [Vardi-list] FLoC 2022 Call for Student Volunteers
Moshe Y Vardi
- LUW May 18: Logical Diagrams, Visualization Criteria and Boolean Algebras by Roland Bolz
jean-yves beziau
- 934: Provable Ordinals of Set Theories/1
Harvey Friedman
- Proof by Contradiction
Harvey Friedman
- CiE 2022 Call for Participation
acie at acie.eu
- 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
Chuangjie Xu
- CCC2022 -September 19-23, 2022- call for contributions
Maria Emilia Maietti
- Grothendieck Universes
Harvey Friedman
- Set Theory, Category Theory and the Foundations of Mathematics
jean-yves beziau
- Categorical Foundation of Mathematics? (Gromov's point of view)
José Manuel Rodríguez Caballero
- Proof by Contradiction / EFQ
Curtis Franks
- Principle of Explosion
Harvey Friedman
- Third CFP. LogTeach-22
Martin Davis
- Categorical Foundations of Mathematics?
Harvey Friedman
- General Intellectual Initiatives
Harvey Friedman
- Explosion Use in Math
Harvey Friedman
- Explosion and Cut Necessary
Harvey Friedman
- CfPart: Logic for the AI Spring Summer School Lake Como School of Advanced Studies,
gprimiero at libero.it
- Metamathematics Track at 2022 Wolfram Summer School
Stephen Wolfram
- On EFQ, ECQ, and paraconsistency (with a FOM question)
David Fuenmayor
- LOGICA 2022 -- 2nd CFP
Igor Sedlar
- Alain Badiou's Mathematics of the Transcendental
José Manuel Rodríguez Caballero
- WCP6 and SQUARE7 - Deadline Extension: May 31st
jean-yves beziau
- Reminder: CfP (deadline June 6) - Philosophy of mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022
Andrea Sereni
- Categorical Foundation of Mathematics? (jodmos.horon)
Timothy Y. Chow
- Exposition of the proof of independence of CH
Serafim Batzoglou
- contingency or necessity for philosophically coherent developments of f.o.m.
José Manuel Rodríguez Caballero
- PhD program in Udine
Alberto Marcone
- On the fully rigorous formalization of deductive reasoning in mathematics
Tennant, Neil
- Final Call for Applications, deadline 1st June: HHU Summer School “Philosophy of Mathematics Beyond the Armchair?!” Aug 22-26, 2022, in Düsseldorf, Germany
Deborah Kant
- Call for Graduate Symposium | DIAGRAMS 2022
DIAGRAMS CONFERENCE
- Dramatic Foundational Revelations
Harvey Friedman
Last message date:
Tue May 31 13:19:37 EDT 2022
Archived on: Tue May 31 20:37:57 EDT 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).