April 2022 Archives by subject
Starting: Sat Apr 2 03:57:57 EDT 2022
Ending: Fri Apr 29 06:51:58 EDT 2022
Messages: 27
- 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
- April 7: watch on-line the 2nd World Logic Prizes Contest
jean-yves beziau
- Call for Participation FUN 2020 & 2022
Mosteiro, Miguel A.
- CfP - Philosophy of Mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022
Andrea Sereni
- CFP: AAL Conference 2022, June 22-24, online, deadline May 15
Guillermo Badia
- CfP Springer: 2nd call | Historical Perspectives, Science in Society | Nanoscience & Nanotechnologies
pisanoraffaele at iol.it
- 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
- CiE 2022: CALL FOR INFORMAL PRESENTATIONS
acie at acie.eu
- Crossley Logic Colloquium (14-15 June 2022, Virtual)
Guillermo Badia
- Deadline extension: Decidable Fragments of First-order Modal Logic (DEFOML)
Yanjing Wang
- Final CPF + Grad Symposium | DIAGRAMS 2022
DIAGRAMS CONFERENCE
- Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
- Fwd: Crossley conference
Martin Davis
- Fwd: LogTeach-22, First Call for Paper
Martin Davis
- 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
- LogTeach-22, Second Call for Contributions
Johann Makowsky
- LUW April 13 - On the Origin of Logical Determinism in Babylonia - Andrew Schumann
jean-yves beziau
- LUW April 20: Nate Ackermann (Harvard University, USA) – Encoding Complete Metric Structures by Classical Structures
jean-yves beziau
- Nordic Online Logic Seminar: next talk on April 25 by Michael Rathjen
Graham Leigh
- Paper announcement: The Price of Mathematical Scepticism
Paul Blain Levy
- The 6th World Congress on Paraconsistency, deadline approaching: April 30
jean-yves beziau
Last message date:
Fri Apr 29 06:51:58 EDT 2022
Archived on: Sat Apr 30 22:31:29 EDT 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).