finite-model-theory November 2023

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

IJCAR 2024: 2nd call for co-located events
by Peter Lammich
3 months

IJCAR 2024: 2nd Call for Papers
by Peter Lammich
3 months

EXTENDED CfP: FoIKS 2024, 13th Int. Symp. on Foundations of
by Lucia Gomez Alvarez
3 months

FMBC 2024 - First Call for Papers
by Marmsoler, Diego
3 months

ICALP-LICS-FSCD joint call for workshops
by Sam Staton
3 months, 2 weeks

Postdoc position in Formal Methods at University of Exeter
by Marmsoler, Diego
3 months, 2 weeks

Postdoc position in computational logic
by Antti Kuusisto (TAU)
3 months, 2 weeks

Six Fully-funded PhD Positions in Theoretical Computer Science at
by Jonni T Virtema
3 months, 3 weeks

FoIKS 2024, 13th International Symposium on Foundations of
by Lucia Gomez Alvarez
3 months, 3 weeks
Results per page: