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
1 year, 1 month

GandALF 2023: Call For Papers
by Gabriele Puppis
1 year, 1 month

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
by Phokion G. Kolaitis
1 year, 1 month

Call for Papers -- Formal Techniques for Java-Like Programs 2023
by Aaron Tomb
1 year, 1 month

VMW at CAV 2023: Call for Scholarship Applications - DEADLINE
by Sammartino, Matteo
1 year, 1 month

WiL 2023: Call for contributions
by Sandra Kiefer
1 year, 1 month

3-year Research Associate or Research Assistant position in formal
by Andrei Popescu
1 year, 1 month

Structure meets Power (LICS workshop) CfC
by Anuj Dawar
1 year, 2 months

MFCS 2023: 2nd Call for Papers
by Sylvain Lombardy
1 year, 2 months

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