finite-model-theory April 2021

finite-model-theory@lists.rwth-aachen.de
  • 12 Teilnehmer
  • 18 Diskussionen

CAV 2021: Call for Student Volunteers
von Tobias Kappé
2 Jahre, 11 Monate

[fm-announcements] Call for (Virtual) Participation - NFM 2021
von Munoz, Cesar (LARC-D320) via fm-announcements
2 Jahre, 11 Monate

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
von Symposium IAS
2 Jahre, 11 Monate

CfP: New Deadline: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021
von Roussanka Loukanova
2 Jahre, 11 Monate

Logica Universalis Webinar - April 21 - Swyneshed, Aristotle and the Rule of Contradictory Pairs by Stephen Read
von Antje Herbst
2 Jahre, 11 Monate

Structure Meets Power (a LICS workshop) - Call for Contributions
von Anuj Dawar
2 Jahre, 11 Monate

RAMiCS 2021 - Third CFP
von luigi.santocanale@lis-lab.fr
2 Jahre, 11 Monate

Call for participation: Spotlight on Logic & Databases Workshop, 6/7 May
von Nils Vortmeier
2 Jahre, 11 Monate

TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.
von anupamdotdas@gmail.com
2 Jahre, 11 Monate

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
von Symposium IAS
2 Jahre, 11 Monate
Ergebnisse pro Seite: