Research Seminar "Formal Methods"
Seminar of the formal methods groups within the Institute of Information Security and Dependability (KASTEL) 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) Logic of Autonomous Dynamical Systems (Prof. Dr. A. Platzer) Modeling and Analysis in Mobility Software Engineering (Jun.-Prof. Dr. M. Schwammberger) Test, Validation and Analysis of Software-Intensive Systems (Prof. Dr. I. Schaefer) |
| Place: |
Room 301 (Bldg. 50.34) in Winter Term Room 236 (Bldg. 50.34) in Summer Term Streamed (oftentimes) via Zoom |
| Time: | Thursdays, 15:45 - 17:15 (weekly with exceptions) |
| Event Number: | 2400046 in Summer Term 24386 in Winter Term |
| Organisation: | Mattias Ulbrich |
Organisation
- All events are announced on the mailing list "research_seminar_formal_methods [at] listen [dot] informatik [dot] kit [dot] edu". If you like to be included on the list, please contact the organiser.
- Presentations are streamed online (using Zoom). Contact the organiser if you want to get access.