April 2022 Archives by author
Starting: Sat Apr 2 03:57:57 EDT 2022
Ending: Fri Apr 29 06:51:58 EDT 2022
Messages: 27
- Crossley Logic Colloquium (14-15 June 2022, Virtual)
Guillermo Badia
- CFP: AAL Conference 2022, June 22-24, online, deadline May 15
Guillermo Badia
- 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
- Chrysippus and incompleteness (correction of the title in the submission)
José Manuel Rodríguez Caballero
- Log-normal distribution of number of theorems in the chapters of an ideal textbook
José Manuel Rodríguez Caballero
- Fwd: Crossley conference
Martin Davis
- Fwd: LogTeach-22, First Call for Paper
Martin Davis
- Nordic Online Logic Seminar: next talk on April 25 by Michael Rathjen
Graham Leigh
- Paper announcement: The Price of Mathematical Scepticism
Paul Blain Levy
- LogTeach-22, Second Call for Contributions
Johann Makowsky
- Chrysippus and incompleteness (correction of the title in the submission)
Joao Marcos
- 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
- Call for Participation FUN 2020 & 2022
Mosteiro, Miguel A.
- 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- CfP - Philosophy of Mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022
Andrea Sereni
- Chrysippus and incompleteness (correction of the title in the submission)
Charles Silver
- Chrysippus and incompleteness (correction of the title in the submission)
Joseph Vidal-Rosset
- Deadline extension: Decidable Fragments of First-order Modal Logic (DEFOML)
Yanjing Wang
- CiE 2022: CALL FOR INFORMAL PRESENTATIONS
acie at acie.eu
- Chrysippus and incompleteness (correction of the title in the submission)
dennis.hamilton at acm.org
- 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
- 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
- The 6th World Congress on Paraconsistency, deadline approaching: April 30
jean-yves beziau
- CfP Springer: 2nd call | Historical Perspectives, Science in Society | Nanoscience & Nanotechnologies
pisanoraffaele at iol.it
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).