finite-model-theory Dezember 2021

finite-model-theory@lists.rwth-aachen.de
  • 9 Teilnehmer
  • 12 Diskussionen

Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022
von Matteo Sammartino
2 Jahre, 7 Monate

FORMATS 2022: first call for papers
von Gethin Norman
2 Jahre, 7 Monate
Ergebnisse pro Seite: