finite-model-theory

finite-model-theory@lists.rwth-aachen.de
  • 8 participants
  • 752 discussions

Call for Abstracts - WADT 2024
by WADT 2024
1 day, 4 hours

CfP: CLIRAI Computational Linguistics, Information, Reasoning, and AI
by Roussanka Loukanova
1 week, 3 days

Final Call for Participation: Logic Mentoring Workshop (LMW@CSL 2024)
by Steffen van Bergerem
2 weeks

ICALP 2024 - Final Call for Papers
by Dmitry Chistikov
2 weeks

CiE 2024: CALL FOR PAPERS [Deadline Extension]
by acie@acie.eu
2 weeks, 1 day

FSCD 2024: Extended deadline (Abstract: February 12/ Submission:
by Carsten Fuhs
2 weeks, 1 day

2024 Goedel Prize Call for Nominations
by Anca Muscholl
2 weeks, 4 days

First Call for Papers - 20th International Conference on Formal
by Marmsoler, Diego
3 weeks

FMBC 2024 – Fourth Call for Papers (deadline extension)
by Marmsoler, Diego
4 weeks

CiE 2024: FINAL CALL FOR PAPERS
by acie@acie.eu
4 weeks
Results per page: