deRSE25 and SE25 Timetables

Name: deRSE25 and SE25 Timetables
Start: 2025-02-25T09:00:00+01:00
End: 2025-03-01T15:00:00+01:00
Location: Building 30.95

25 February 2025 to 1 March 2025

Building 30.95

Europe/Berlin timezone

Formal Synthesis of Uncertainty Reduction Controller

27 Feb 2025, 12:07

22m

Audimax B (Building 30.95)

Straße am Forum 1, 76131 Karlsruhe, Germany

Talk in EN (15min + 7min) Software Engineering (SE 2025) SE Formal Methods

Marc Carwehl Calum Imrie Thomas Vogel Genaina Rodrigues Radu Calinescu Lars Grunske

There are no materials yet.