Konferenzen  >  Informatik  >  Informationstheorie und Grundlagen der Informatik  >  Deutschland

Wählen Sie ein Land aus
1
New Mathematical Directions in Coding Theory
07. Sep 2025 - 12. Sep 2025 • Oberwolfach, Deutschland
Themen:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1605457
Verwandte Fachgebiete:
2
Combinatorics, Probability and Computing
14. Sep 2025 - 19. Sep 2025 • Oberwolfach, Deutschland
Themen:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1605478
3
Autumn School “Proof and Computation”
14. Sep 2025 - 20. Sep 2025 • Herrsching, Deutschland
Zusammenfassung:
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.
Eintrags-ID:
1666225
4
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:
1670289
5
Dagstuhl-Seminar — Arithmetical and Modal mu-Calculi: Recent and Future Advances
25. Jan 2026 - 30. Jan 2026 • Schloss Dagstuhl, Deutschland
Veranstalter:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Zusammenfassung:
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.
Eintrags-ID:
1670509
6
Dagstuhl-Seminar — Proof Systems in Actual Practice: Reasoning and Computation
15. Mär 2026 - 20. Mär 2026 • Schloss Dagstuhl, Deutschland
Veranstalter:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Zusammenfassung:
This Dagstuhl Seminar seeks to extend and deepen the convergence across disciplinary boundaries by fostering exchange and collaboration among the relevant experts and practitioners, uniting expertise in proof theory with proof complexity, categorical semantics, constructive mathematics, proof mining, program extraction, and automated theorem proving. By bridging these domains, we seek to empower the next generation of researchers to frame and connect their work within this converging landscape, ultimately advancing the computational applications of proof systems in both theoretical and practical contexts.
Eintrags-ID:
1671240
Verwandte Fachgebiete:


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 27. Juli 2025