idw - Informationsdienst
Wissenschaft
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.
Criteria of this press release:
Information technology
transregional, national
Miscellaneous scientific news/publications, Personnel announcements
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).