finite-model-theory September 2022

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

Fully funded PhD positions in logic, semantics of programs and
by Harsh Beohar
2 years, 1 month

Phd Shcolarship
by Guido Sciavicco
2 years, 1 month

RAMiCS 2023 - Deadline extension
by Michael Winter
2 years, 1 month

Lecturer in Verification, University of Sheffield, UK (deadline:
by Jonni T Virtema
2 years, 1 month

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo
2 years, 1 month

[OVERLAY] Overlay 2022: Call for Papers
by Luca Geatti
2 years, 2 months

*****SPAM*****Multiple Positions in Sydney
by Sasha Rubin
2 years, 2 months

RAMiCS 2023 - Third call for papers
by Michael Winter
2 years, 2 months
Results per page: