Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik  >  Deutschland

Wählen Sie ein Land aus
1
GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems
14. Dez 2025 - 19. Dez 2025 • Schloss Dagstuhl, Deutschland
Veranstalter:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Zusammenfassung:
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.
Themen:
Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory
Eintrags-ID:
1670267


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 22. Juli 2025