10.09.2019 Instantaneous Soundness Checking - Test of Time Award 2019 Runner-UpAngehörige und ehemalige Angehörige des Lehrstuhls Theoretische Informatik wurden mit einem "Test of Time Award 2019 Runner Up" ausgezeichnet. Der... weiterlesen
13.12.2018 DFG fördert Projekt in der Theoretischen InformatikDie Deutsche Forschungsgemeinschaft fördert das Projekt "Synthese von Petrinetzen auf der Basis der Union/Find-Verfahren" am Lehrstuhl für... weiterlesen
02.07.2018 Erfolgreichster Teilnehmer beim Model Checking Contest @ Petri Nets 2018Der Rostocker Lehrstuhl für Theoretische Informatik wurde erneut der erfolgreichste Teilnehmer des jährlichen Modelchecking-Contests in Bratislava.... weiterlesen
02.03.2018 Hat-Trick bei der Konferenz PETRI NETS 2018Alle drei eingereichten Beiträge des Lehrstuhls für Theoretische Informatik wurden in das Programm der Konferenz PETRI NETS (im Juni 2018 in... weiterlesen
05.07.2017 Gold für LoLA beim Model Checking Contest @ Petri Nets 2017Rostock bleibt das Maß aller Dinge in der automatischen Analyse verteilter Systeme. Das Werkzeug LoLA des Lehrstuhls Theoretische Informatik konnte... weiterlesen
