Research Seminar "Formal Methods"

Seminar of the formal methods groups within the Institute of Theoretical Informatics for the presentation of research results and related topics.

Presentations: Members of the research groups and invited speakers
(Contact the organiser if you want to present.)
Intended audience: Events are open to all listeners interested in formal methods.
Interested students are welcome.
Chairs and Groups:
Place: Room 301, Bldg. 50.34
Time: Thursdays, 15:45 - 17:15 (weekly with exceptions)


All events are announced on the mailing list  "research_seminar_formal_methods [at]".

If you like to be included on the list, please contact the organiser.