finite-model-theory December 2021

finite-model-theory@lists.rwth-aachen.de
  • 9 participants
  • 12 discussions

[fm-announcements] NFM 2022 - FINAL CALL FOR PAPERS
by Havelund, Klaus (US 348B) via fm-announcements
2 years, 5 months

Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)
by Achim D. Brucker
2 years, 6 months

UNILOG'2022: Ready to go? Early Bird Registration: Dec 15
by Jean-Yves Beziau
2 years, 6 months

CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
by Roussanka Loukanova
2 years, 6 months

Logica Universalis Webinar - December 15 - Decolonizing “Natural Logic” by Scott Pratt
by Antje Herbst
2 years, 6 months

[fm-announcements] Certified Programs and Proofs (CPP) 2022: Call for Participation
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
2 years, 6 months

Lecturer position in Verification, Sheffield (UK), Deadline: 3 Jan 2022
by Jonni T Virtema
2 years, 6 months

PostDoc position in Computer Science Logic, Sheffield (UK). Deadline 3rd January 2022
by Jonni T Virtema
2 years, 6 months

28th WoLLIC 2022 - First Call for Papers
by Ruy Jose Guerra Barretto de Queiroz
2 years, 6 months

PhD student position in logics for verification, Sheffield (UK)
by Jonni T Virtema
2 years, 6 months
Results per page: