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. 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 |
| Organisation: | Mihai Herda |
Schedule
All events are announced on the mailing list "research_seminar_formal_methods [at] ira.uni-karlsruhe.de".
