finite-model-theory December 2021

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

Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022
by Matteo Sammartino
2 years, 4 months

FORMATS 2022: first call for papers
by Gethin Norman
2 years, 4 months
Results per page: