December 2021 Archives by date
Starting: Thu Dec 2 09:30:27 EST 2021
Ending: Wed Dec 29 19:39:24 EST 2021
Messages: 65
- Nordic Online Logic Seminar: next talk on December 20, by Lars Birkedal
Graham Leigh
- AI for math
Kreinovich, Vladik
- 28th WoLLIC 2022 - First Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- UltraMath 2022 - Ultrafilters and Ultraproducts Across Mathematics, and Related topics - Registration and Call for papers
Lorenzo Luperi Baglini
- CFP: Festchrift for John N. Crossley (Logic Journal of the IGPL, Deadline 1 June 2022)
Guillermo Badia
- Southern Summer Logic Day (WLD 2022), Virtual 14 Jan 2022
Guillermo Badia
- Call for Papers FUN 2022
Mosteiro, Miguel A.
- AI for math
José Manuel Rodríguez Caballero
- LUW Dec 8, 4pm CET / Measuring Inconsistency in Generalized Propositional Logic
jean-yves beziau
- Interesting article on progress in automated reasoning
JOSEPH SHIPMAN
- Halting problem in number theory
José Manuel Rodríguez Caballero
- finitism and primitive recursive arithmetic
martdowd at aol.com
- Interesting article on progress in automated reasoning
Alasdair Urquhart
- Halting problem in number theory
Annatala Wolf
- Halting problem in number theory
Annatala Wolf
- Halting problem in number theory
José Manuel Rodríguez Caballero
- Interesting article on progress in automated reasoning
Sam Sanders
- Finitism and primitive recursive arithmetic
Alasdair Urquhart
- Polynomial Time Computable Structures
JOSEPH SHIPMAN
- Certified Programs and Proofs (CPP) 2022: Call for Participation
Andrei Popescu
- 916: Tangible Incompleteness and Clique Construction/1
Harvey Friedman
- 917: Proof Theory of Arithmetic/1
Harvey Friedman
- Interesting article on progress in automated reasoning
Timothy Y. Chow
- Finitism and primitive recursive arithmetic
Richard Zach
- Call for Papers FUN 2022 (rectification)
Mosteiro, Miguel A.
- Polynomial Time Computable Structures
Vaughan Pratt
- Polynomial Time Computable Structures
Mario Carneiro
- Polynomial Time Computable Structures
Mario Carneiro
- Polynomial Time Computable Structures
Yves Bertot
- Polynomial Time Computable Structures
JOSEPH SHIPMAN
- Polynomial Time Computable Structures
JOSEPH SHIPMAN
- Interesting article on progress in automated reasoning
Josef Urban
- Some remarks on open access publishing
Andreas Weiermann
- Phase transitions for the miniaturized monotone Bolzano Weierstrass theorem (ref 898 Ultra convergence 1)
Andreas Weiermann
- Finitism and primitive recursive arithmetic
martdowd at aol.com
- Finitism and primitive recursive arithmetic
WILLIAM TAIT
- 918: Tangible Incompleteness and Clique Construction/2
Harvey Friedman
- 919: Proof Theory of Arithmetic/2
Harvey Friedman
- Finitism and primitive recursive arithmetic
JOSEPH SHIPMAN
- Interesting article on progress in automated reasoning
Timothy Y. Chow
- Finitism and primitive recursive arithmetic
Lawrence Paulson
- UNILOG'2022: Ready to go? Early Bird Registration Fee: Dec 15
jean-yves beziau
- Finitism and primitive recursive arithmetic
Timothy Y. Chow
- Norman Megill (1950-2021)
Mario Carneiro
- Interesting article on progress in automated reasoning
Josef Urban
- Finitism and primitive recursive arithmetic
Lawrence Paulson
- CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
Roussanka Loukanova
- Measure vs Category in General Relativity
JOSEPH SHIPMAN
- Polynomial Time Computable Structures
JOSEPH SHIPMAN
- LOGIC AND THE CONCEPT OF GOD The Logic and Religion Webinar, December 16
FRANCISCO MARIANO
- Terminology question
JOSEPH SHIPMAN
- interesting result
Kreinovich, Vladik
- Polynomial Time Computable Structures
Vaughan Pratt
- Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)
Achim D. Brucker
- Postdoc in Proof Theory - University of Birmingham, UK
anupamdotdas at gmail.com
- Polynomial Time Computable Structures
JOSEPH SHIPMAN
- Finitism and primitive recursive arithmetic
martdowd at aol.com
- IJCAR 2022 - Call for Papers
Andrei Popescu
- Polynomial Time Computable Structures
Vaughan Pratt
- Paraconsistent Newsletter Fall-Spring 2021
jean-yves beziau
- CiE 2022: Second CfP
Johanna Franklin
- Higher-order Reverse Mathematics: a two-dimensional analogy
Sam Sanders
- Sergei Artemov's talk
Kreinovich, Vladik
- an interesting lecture
Kreinovich, Vladik
- RM emergence paper
Harvey Friedman
Last message date:
Wed Dec 29 19:39:24 EST 2021
Archived on: Wed Dec 29 22:57:31 EST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).