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: |
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) |
Organisation: | Mihai Herda |
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.