Name: Formal verification seminar by Prof. Katoen (RWTH Aachen University)
Start: 2024-07-03T16:00:00+02:00
End: 2024-07-03T17:30:00+02:00
Location: No location set

Choose timezone

Your profile timezone:

Use timezone based on:

Event/category Custom

Select a custom timezone

Formal verification seminar by Prof. Katoen (RWTH Aachen University)

Wednesday 3 July 2024 - 16:00

: Sessions

: Talks

: Breaks

3 Jul 2024

16:00

How Formal Verification Improves Software and AI Reliability - Prof. Joost-Pieter Katoen (RWTH Aachen University) (774/R-013)