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: |
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 |
Schedule
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.