23.11.2022 Mitgliedschaft in Steering-Committee / Membership in Steering CommitteeProf. Karsten Wolf wurde in das Steering Committee der jährlich stattfindenden internationalen Konferenzen "Application and Theory of Petri nets and… read more
16.09.2021 500. Lehrvideo produziert / 500th instructional video producedAm Lehrstuhl Theoretische Informatik wurde die Marke von 500 selbst produzierten Lehrvideos überschritten. Inzwischen ist das komplette… read more
16.09.2021 Erfolgreiche Promotionsverteidigung / Successful PhD DefenseAm 15.9. hat Dipl.-Inf. Torsten Liebke erfolgreich seine Promotionsverteidigung absolviert. Das Thema seiner Dissertation lautet "Improving Explicit… read more
30.11.2020 Prof. Wolf in den Vorstand des Fakultätentages Informatik gewähltAuf der Plenarversammlung des Fakultätentages Informatik am 27.11. 2020 wurde Prof. Karsten Wolf in den Vorstand gewählt und wird künftig die… read more
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… read more
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… read more
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.… read more
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… read more
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… read more