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) Reliable Software Systems in the Automotive Industry (Prof. Dr. C. Sinz) |
Place: | Room 236 (Bldg. 50.34) in Summer Term Room 301 (Bldg. 50.34) in Winter Term |
Time: | Thursdays, 15:45 - 17:15 (weekly with exceptions) |
Event Number: | 2400046 in Summer Term 24386 in Winter Term |
Organisation: | Mattias Ulbrich |
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.