finite-model-theory November 2021

finite-model-theory@lists.rwth-aachen.de
  • 11 Teilnehmer
  • 15 Diskussionen

[fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION!
von Havelund, Klaus (US 348B) via fm-announcements
2 Jahre, 3 Monate

20 PhD positions in Logics for Computer Science at TU Wien - deadline 30 Dec
von Magdalena Ortiz
2 Jahre, 4 Monate

iFM 2022 (Integrated Formal Methods): Call for Papers
von iFM 2022
2 Jahre, 4 Monate

CONCUR 2022: first call for papers
von Javier Esparza
2 Jahre, 4 Monate

CONFEST 2022 -- Call for Workshop Proposals
von Lorenzo Clemente
2 Jahre, 4 Monate

CONCUR 2022: the first call for papers
von Lorenzo Clemente
2 Jahre, 4 Monate

TYPES 2022 -- Call for contributions
von Pierre-Marie Pédrot
2 Jahre, 4 Monate

Preliminary call for participation: 30 Years of Finite Model Theory in Finland
von Jonni T Virtema
2 Jahre, 4 Monate

[fm-announcements] NFM 2022 - THIRD CALL FOR PAPERS
von Havelund, Klaus (US 348B) via fm-announcements
2 Jahre, 4 Monate

Logica Universalis Webinar - November 17 - Correspondence Analysis for Some Fragments of Classical Propositional Logic by Yaroslav Petrukhin and Vasilyi Shangin
von Antje Herbst
2 Jahre, 4 Monate
Ergebnisse pro Seite: