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
5 months, 3 weeks

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

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

FMBC 2024 - First Call for Papers
by Marmsoler, Diego
5 months, 4 weeks

ICALP-LICS-FSCD joint call for workshops
by Sam Staton
6 months, 1 week

Postdoc position in Formal Methods at University of Exeter
by Marmsoler, Diego
6 months, 1 week

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

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

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