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
1 year, 8 months

Phd Shcolarship
by Guido Sciavicco
1 year, 8 months

RAMiCS 2023 - Deadline extension
by Michael Winter
1 year, 9 months

Lecturer in Verification, University of Sheffield, UK (deadline:
by Jonni T Virtema
1 year, 9 months

Postdoc Position on Hardware Verification via Model Learning, Royal
by Sammartino, Matteo
1 year, 9 months

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

*****SPAM*****Multiple Positions in Sydney
by Sasha Rubin
1 year, 9 months

RAMiCS 2023 - Third call for papers
by Michael Winter
1 year, 9 months
Results per page: