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


Schedule Summer Semester 2023

Presentation dates which are outside the usual weekly routine, are printed in bold.

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