Der Fachbereich Design und Informatik der Fachhochschule Trier lässt eine alte Tradition wieder aufleben: Neue Professorinnen und Professoren stellen sich und ihr Fachgebiet der wissenschaftlichen Gemeinschaft im Rahmen einer Antrittsvorlesung vor.
"Wir freuen uns - nach langer Pause - nun in der ersten Veranstaltung das Fachgebiet Theoretische Informatik präsentieren zu können", so der Dekan des initiierenden Fachbereiches, Professor Dr. Fritz Nikolai Rudolph.
Am Mittwoch, 8. Dezember wird Prof. Dr. Heinz Schmitz am Schneidershof über das Thema "Model Checking - Eine Einführung in die System-Verifikation" referieren. Die Antrittsvorlesung findet um 17.00 Uhr im Hörsaal 2 statt und ist - nach Voranmeldung - auch für die Öffentlichkeit zugänglich.
Anmeldung bis zum 1. Dezember unter: sek@informatik.fh-trier.de.
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Buntes aus der Wissenschaft, Personalia
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).