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 236 (Bldg. 50.34) in Summer Term
Room 301 (Bldg. 50.34) in Winter Term
Time: Thursdays, 15:45 - 17:15 (weekly with exceptions)
Event Number:


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.