April 2022 Archives by thread

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

Starting: Sat Apr 2 03:57:57 EDT 2022
Ending: Fri Apr 29 06:51:58 EDT 2022
Messages: 27

• Chrysippus and incompleteness (correction of the title in the submission)   José Manuel Rodríguez Caballero
  • Chrysippus and incompleteness (correction of the title in the submission)   dennis.hamilton at acm.org
  • Chrysippus and incompleteness (correction of the title in the submission)   Joao Marcos
    • Chrysippus and incompleteness (correction of the title in the submission)   Joseph Vidal-Rosset
    • Chrysippus and incompleteness (correction of the title in the submission)   Charles Silver
• Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)   Achim D. Brucker
• Final CPF + Grad Symposium | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• April 7: watch on-line the 2nd World Logic Prizes Contest   jean-yves beziau
• Guess who is the Secret Speaker of UNILOG'2022 and win a trip to the 8th UNILOG in Cusco, Peru !   jean-yves beziau
• Log-normal distribution of number of theorems in the chapters of an ideal textbook   José Manuel Rodríguez Caballero
• Crossley Logic Colloquium (14-15 June 2022, Virtual)   Guillermo Badia
• CFP: AAL Conference 2022, June 22-24, online, deadline May 15   Guillermo Badia
• Paper announcement: The Price of Mathematical Scepticism   Paul Blain Levy
• Fwd: Crossley conference   Martin Davis
• Fwd: LogTeach-22, First Call for Paper   Martin Davis
• LUW April 13 - On the Origin of Logical Determinism in Babylonia - Andrew Schumann   jean-yves beziau
• 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software   Joao Marcos
• Nordic Online Logic Seminar: next talk on April 25 by Michael Rathjen   Graham Leigh
• Deadline extension: Decidable Fragments of First-order Modal Logic (DEFOML)   Yanjing Wang
• LUW April 20: Nate Ackermann (Harvard University, USA) – Encoding Complete Metric Structures by Classical Structures   jean-yves beziau
• Call for Participation FUN 2020 & 2022   Mosteiro, Miguel A.
• 28th WoLLIC 2022 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• The 6th World Congress on Paraconsistency, deadline approaching: April 30   jean-yves beziau
• CfP - Philosophy of Mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022   Andrea Sereni
• CfP Springer: 2nd call | Historical Perspectives, Science in Society | Nanoscience & Nanotechnologies   pisanoraffaele at iol.it
• CiE 2022: CALL FOR INFORMAL PRESENTATIONS   acie at acie.eu
• LogTeach-22, Second Call for Contributions   Johann Makowsky

Last message date: Fri Apr 29 06:51:58 EDT 2022
Archived on: Sat Apr 30 22:31:29 EDT 2022

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