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é
3 years, 1 month

[fm-announcements] Call for (Virtual) Participation - NFM 2021
by Munoz, Cesar (LARC-D320) via fm-announcements
3 years, 1 month

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
3 years, 1 month

CfP: New Deadline: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021
by Roussanka Loukanova
3 years, 1 month

Logica Universalis Webinar - April 21 - Swyneshed, Aristotle and the Rule of Contradictory Pairs by Stephen Read
by Antje Herbst
3 years, 1 month

Structure Meets Power (a LICS workshop) - Call for Contributions
by Anuj Dawar
3 years, 1 month

RAMiCS 2021 - Third CFP
by luigi.santocanale@lis-lab.fr
3 years, 1 month

Call for participation: Spotlight on Logic & Databases Workshop, 6/7 May
by Nils Vortmeier
3 years, 1 month

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

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
3 years, 1 month
Results per page: