finite-model-theory April 2023

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

Special Issue on Dynamic Logics at JLAP - Deadline Extension
by Carlos Areces
9 months, 3 weeks

GandALF 2023: Call For Papers
by Gabriele Puppis
10 months

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
by Phokion G. Kolaitis
10 months

Call for Papers -- Formal Techniques for Java-Like Programs 2023
by Aaron Tomb
10 months

VMW at CAV 2023: Call for Scholarship Applications - DEADLINE
by Sammartino, Matteo
10 months

WiL 2023: Call for contributions
by Sandra Kiefer
10 months

3-year Research Associate or Research Assistant position in formal
by Andrei Popescu
10 months, 1 week

Structure meets Power (LICS workshop) CfC
by Anuj Dawar
10 months, 1 week

MFCS 2023: 2nd Call for Papers
by Sylvain Lombardy
10 months, 2 weeks

[fm-announcements] FMICS 2023 - Second call for papers
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
10 months, 3 weeks
Results per page: