Home / Conference Listings / Mathematics / Mathematical Logic and Foundations / Germany

Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  Germany

Select a location
Any Location (virtual event) (1)  Canada (1)  Germany (1)  Poland (1)  United States (2)
Germany
1
GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems
14 Dec 2025 - 19 Dec 2025 • Schloss Dagstuhl, Germany
Organizer:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Abstract:
This GI-Dagstuhl Seminar aims to bring together junior researchers from different research areas related to the modeling and analysis of stochastic hybrid systems. The involved communities address quantitative modeling, the verification of (stochastic) hybrid systems, and statistical model checking. The seminar will cover intersecting research questions around semantics, tool interoperability, benchmarking, and reproducibility. Its goal is to launch discussions, the exchange of ideas, and fruitful collaborations with an emphasis on networking and the training of the participating young scientists to strengthen their qualifications and skills.
Topics:
Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory
Event listing ID:
1670245
Related subject(s):
Information Theory, Foundations of Computer Science
Event website:
https://www.dagstuhl.de/25513


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 22 July 2025