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:
Time and Place: Thursdays, 15:45-17:15 (weekly with exceptions)
Room 301, Bldg. 50.34
Organisation:

Schedule

All events are announced on the mailing list  "research_seminar_formal_methods [at] ira.uni-karlsruhe.de".