Conférences  >  Informatique  >  Théorie de l'information, fondations de l'informatique  >  Allemagne

Sélecionner un pays
1
New Mathematical Directions in Coding Theory
07 sep 2025 - 12 sep 2025 • Oberwolfach, Allemagne
Sujets:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1605402
Sujets apparentés:
2
Combinatorics, Probability and Computing
14 sep 2025 - 19 sep 2025 • Oberwolfach, Allemagne
Sujets:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1605489
3
Autumn School “Proof and Computation”
14 sep 2025 - 20 sep 2025 • Herrsching, Allemagne
Résumé:
An international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Identifiant de l'évènement:
1666203
4
GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems
14 dec 2025 - 19 dec 2025 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
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.
Sujets:
Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory
Identifiant de l'évènement:
1670245
5
Dagstuhl-Seminar — Arithmetical and Modal mu-Calculi: Recent and Future Advances
25 jan 2026 - 30 jan 2026 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
Mu-calculi are logical systems for reasoning about inductive and co-inductive constructions. They link a number of important fields in mathematics and theoretical computer science: arithmetic, recursion theory, temporal and spatial logics, topology, infinite games, descriptive set theory, and automata theory. The purpose of this Dagstuhl Seminar is to bring together experts from these fields to discuss connections and encourage new avenues of interdisciplinary collaboration.
Identifiant de l'évènement:
1670443


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 23 juillet 2025