Seminar of the formal methods groups within the Institute of Theoretical Informatics for the presentation of research results and related topics.
Members of the research groups and invited speakers
(Contact the organiser if you want to present.)
Events are open to all listeners interested in
Interested students are welcome.
|Chairs and Groups:||
Application-oriented Formal Verification (Prof. Dr. B. Beckert)
Verification meets Algorithm Engineering (Prof. Dr. C. Sinz)
|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)|
All events are announced on the mailing list "research_seminar_formal_methods [at] ira.uni-karlsruhe.de".If you like to be included on the list, please contact the organiser.