finite-model-theory April 2021

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

CAV 2021: Call for Student Volunteers
by Tobias Kappé
2 years, 10 months

[fm-announcements] Call for (Virtual) Participation - NFM 2021
by Munoz, Cesar (LARC-D320) via fm-announcements
2 years, 10 months

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
2 years, 10 months

CfP: New Deadline: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021
by Roussanka Loukanova
2 years, 10 months

Logica Universalis Webinar - April 21 - Swyneshed, Aristotle and the Rule of Contradictory Pairs by Stephen Read
by Antje Herbst
2 years, 10 months

Structure Meets Power (a LICS workshop) - Call for Contributions
by Anuj Dawar
2 years, 10 months

RAMiCS 2021 - Third CFP
by luigi.santocanale@lis-lab.fr
2 years, 10 months

Call for participation: Spotlight on Logic & Databases Workshop, 6/7 May
by Nils Vortmeier
2 years, 10 months

TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.
by anupamdotdas@gmail.com
2 years, 10 months

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
2 years, 10 months
Results per page: