"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.
Prof. Dr. Heinz Schmitz wird an der Fh Trier über das Thema "Model Checking - Eine Einführung in die System-Verifikation" referieren.
Hinweise zur Teilnahme:
Die Antrittsvorlesung ist - nach Voranmeldung - auch für die Öffentlichkeit zugänglich. Anmeldung bis zum 1. Dezember unter: sek@informatik.fh-trier.de.
Termin:
08.12.2004 17:00 - 19:00
Veranstaltungsort:
Schneidershof, Trier, Hörsaal 2
54293 Trier
Rheinland-Pfalz
Deutschland
Zielgruppe:
jedermann
E-Mail-Adresse:
Relevanz:
regional
Sachgebiete:
Informationstechnik
Arten:
Eintrag:
17.11.2004
Absender:
Konstanze Kristina Jacob
Abteilung:
Referat für Öffentlichkeitsarbeit Hauptcampus
Veranstaltung ist kostenlos:
ja
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event12651
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).