Neues aus der Fakultät für Informatik und Elektrotechnik

Information for international students

The Faculty of Computer Science and Electrical Engineering compiled together with the AStA a  comprehensive brochure for their international students in English.
General information for the semester start are given as well as for the study and the university city Rostock.
New students get to know about the first days and week in new surrounding: starting from the location of the canteen to shopping facilities to departures of intercity bus. (...Link)

Gold für LoLA beim Model Checking Contest @ Petri Nets 2017

Rostock bleibt das Maß aller Dinge in der automatischen Analyse verteilter Systeme. Das Werkzeug LoLA des Lehrstuhls Theoretische Informatik konnte drei der fünf Wettbewerbe beim diesjährigen Model Checking Contest in Saragossa (Spanien) gewinnen und somit erstmals in allen drei Verifikationskategorien Gold holen. Der Lehrstuhl unterstützt den Wettbewerb durch Bereitstellung von umfangreicher Rechnerkapazität.(...mehr)