finite-model-theory August 2020

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

[fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
by Munoz, Cesar (LARC-D320) via fm-announcements
3 years, 9 months

Call for registration and participation: Highlights of Logic, Games, and Automata, Online, 15 - 18 Sept
by Nathanaël Fijalkow
3 years, 9 months

Certified Programs and Proofs (CPP) 2021: Final Call for Papers
by Andrei Popescu
3 years, 9 months

LATA 2020 & 2021: 1st call for papers
by IRDTA
3 years, 9 months
Results per page: