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. B. Beckert)
Logics and Formal Methods (Prof. P. H. Schmitt)
Automated Software Analysis (JProf. M. Taghdiri)
Verification meets Algortihm Engineering (Dr. Carsten Sinz)
|Time and Place:||
Thursdays, 15:45-17:15 (weekly with exceptions)
Room 301, Bldg. 50.34
All events are announced on the mailing list "research_seminar_formal_methods [at] ira.uni-karlsruhe.de".