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)
Logics and Formal Methods (Prof. Dr. P. H. Schmitt)
Automated Software Analysis (JProf. Dr. M. Taghdiri)
Verification meets Algorithm Engineering (Dr. C. Sinz)
|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] ira.uni-karlsruhe.de".If you like to be included on the list, please contact the organiser.