finite-model-theory February 2022

finite-model-theory@lists.rwth-aachen.de
  • 20 participants
  • 22 discussions

EDBT-INTENDED Summer School on Data and Knowledge
by Diego Figueira
1 year, 12 months

[fm-announcements] 1st Call for Participation: 15th Summer School on Modelling
by Martin Zimmermann via fm-announcements
1 year, 12 months

GandALF 2022 -- 1st Call For Papers
by Pierre Ganty
2 years

22nd Midlands Graduate School, 10-14 April 2022: Call for
by Anupam das
2 years

DaLí 2022 - Call for Papers
by Carlos Areces
2 years

ACKERMANN AWARD 2022: CALL FOR NOMINATIONS
by EACSL Mail-Account
2 years

FORMATS'22: second call for papers
by Gethin Norman
2 years

CONCUR 2022: 2nd CFP
by Anca Muscholl
2 years

VerifyThis 2022 --- Call for Participation
by Lammich, Peter (UT-EEMCS)
2 years

Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University
by Sergiy Bogomolov
2 years
Results per page: