finite-model-theory June 2022

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

Postdoc and PhD positions in Computer Science Logic in Sheffield, UK
by Jonni T Virtema
1 year, 8 months

[OVERLAY] Overlay 2022: Call for Papers
by Geatti Luca
1 year, 8 months

STACS 2023 - first call for papers
by Anuj Dawar
1 year, 8 months

CFP: 30 Years Finite Model Theory in Finland: Call for Presentations
by Jonni T Virtema
1 year, 8 months

Certified Programs and Proofs (CPP) 2023 Call for Papers
by Steve Zdancewic
1 year, 8 months

FLoC Mentoring Workshop - Call for Participation
by Sandra Kiefer
1 year, 8 months

Postdoc-Position at Oxford University on Advanced Reasoning in
by Christoph Haase
1 year, 8 months

[Vardi-list] FW: FLOC 2022 -- Call For Participation
by Moshe Y Vardi
1 year, 8 months

Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET
by jean-yves beziau
1 year, 8 months

FSTTCS 2022 - Call for Papers
by Anuj Dawar
1 year, 8 months
Results per page: