finite-model-theory November 2021

finite-model-theory@lists.rwth-aachen.de
  • 11 participants
  • 15 discussions

[fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION!
by Havelund, Klaus (US 348B) via fm-announcements
2 years, 2 months

20 PhD positions in Logics for Computer Science at TU Wien - deadline 30 Dec
by Magdalena Ortiz
2 years, 2 months

iFM 2022 (Integrated Formal Methods): Call for Papers
by iFM 2022
2 years, 2 months

CONCUR 2022: first call for papers
by Javier Esparza
2 years, 3 months

CONFEST 2022 -- Call for Workshop Proposals
by Lorenzo Clemente
2 years, 3 months

CONCUR 2022: the first call for papers
by Lorenzo Clemente
2 years, 3 months

TYPES 2022 -- Call for contributions
by Pierre-Marie Pédrot
2 years, 3 months

Preliminary call for participation: 30 Years of Finite Model Theory in Finland
by Jonni T Virtema
2 years, 3 months

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

Logica Universalis Webinar - November 17 - Correspondence Analysis for Some Fragments of Classical Propositional Logic by Yaroslav Petrukhin and Vasilyi Shangin
by Antje Herbst
2 years, 3 months
Results per page: