December 2021 Archives by subject

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

Starting: Thu Dec 2 09:30:27 EST 2021
Ending: Wed Dec 29 19:39:24 EST 2021
Messages: 65

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

Last message date: Wed Dec 29 19:39:24 EST 2021
Archived on: Wed Dec 29 22:57:31 EST 2021

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