Research Seminar "Formal Methods"
Seminar of the formal methods groups within the Institute of Theoretical Informatics (ITI) and 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 236 (Bldg. 50.34) in Summer Term Room 301 (Bldg. 50.34) in Winter Term (often) streamed 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.
Schedule Summer Semester 2023
Presentation dates which are outside the usual weekly routine, are printed in bold.
| Date | Time | Presentations |
|---|---|---|
| Thu 2023-01-19 | 15:45 | several: 7 Short Expose Presentations LS Beckert |
| Thu 2023-02-16 | 15:45 | Tobias Runge: CorC - Tool Support for Correctness-by-Construction |
| Mon 2023-03-13 | 14:30 | Philipp Rümmer: Unbounded Data, Unbounded Control: Logic for Infinite-state Verification |
| Thu 2023-03-30 | 16:00 | Anne Hoff: An Automated Approach to Generating Card-Based Cryptographic Protocols (BA) |
| Thu 2023-04-06 | 15:45 | Soumyadip Bandyopadhyay (BITS Goa): Equivalence checking of Petri net based models of programs |
| Thu 2023-05-04 | 15:45 | Tabea Bordis: Variable Predicates: Specifying and Verifying Software Product Lines in VarCorC
Jonas Schiffl: Modelling and Verifying Security for Smart Contracts |
| Mon 2023-05-22 | 15:45 | several: div. stud. Vorträge (until 18.30) |
| Thu 2023-05-25 | 15:45 | Tobias Käfer (AIFB): Executing Behaviour Descriptions on Knowledge Graphs on the Web |
| Thu 2023-05-25 | 15:45 | Jonas Klamroth: Verification of Hybrid Quantum Algorithms
Valentin Springsklee: Verified Implementation of Modular Voting Rules Using Stepwise Refinement in Isabelle/HOL (MA) (Room 010, bldg 50.34, 17:15) |
| Wed 2023-06-14 | 16:00 | Florian Lanzinger: Mutable Refinement Types for Java
2 Bsc Vorträge: |
| Thu 2023-06-22 | 15:00 | Yotam Feldman: Towards a Theory of Learning Inductive Invariants (From remote!) |
| Thu 2023-06-22 | 16:15 | Werner Dietl: tba |
| Thu 2023-06-29 | 15:45 | Wolfram Pfeifer: A New User Interaction Approach for KeY
Philipp Kern: General Topic: NN Verification (to be refined) |
| Thu 2023-07-06 | 15:45 | Joshua Bachmeier: (Toward) Runtime Verification of Contract Automata (tentative) |
| Thu 2023-07-13 | 15:45 | Samuel Teuber: tba |
| Thu 2023-07-20 | 15:45 | (vacant): |
| Thu 2023-07-27 | 15:45 | several: 2 Seminarvorträge |