Seminars and Dagstuhl Perspectives Workshops 2024:



January 7 – 12 , 2024, Dagstuhl Seminar 24021

From Proofs to Computation in Geometric Logic and Generalizations


Ingo Blechschmidt (Universität Augsburg, DE), Thierry Coquand (University of Gothenburg, SE), Hajime Ishihara (JAIST – Ishikawa, JP), Peter M. Schuster (University of Verona, IT)

Top

January 14 – 19 , 2024, Dagstuhl Seminar 24031

Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis


Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT), Meir Kalech (Ben Gurion University – Beer Sheva, IL), Maria Krantz (Helmut-Schmidt-Universität – Hamburg, DE), Ingo Pill (Silicon Austria Labs – Graz, AT)

Top

January 21 – 26 , 2024, Dagstuhl Seminar 24041

Symmetric Cryptography


Christof Beierle (Ruhr-Universität Bochum, DE), Bart Mennink (Radboud University Nijmegen, NL), Maria Naya-Plasencia (INRIA – Paris, FR), Yu Sasaki (NTT – Tokyo, JP)

Top

January 28 – February 2 , 2024, Dagstuhl Seminar 24051

Next Generation Protocols for Heterogeneous Systems


Stephanie Balzer (Carnegie Mellon University – Pittsburgh, US), Marco Carbone (IT University of Copenhagen, DK), Roland Kuhn (Actyx AG – München, DE), Peter Thiemann (Universität Freiburg, DE)

Top

February 4 – 9 , 2024, Dagstuhl Seminar 24061

Are Knowledge Graphs Ready for the Real World? Challenges and Perspective


David Chaves-Fraga (Polytechnic University of Madrid, ES), Oscar Corcho (Technical University of Madrid, ES), Anastasia Dimou (KU Leuven, BE), Maria-Esther Vidal (TIB – Hannover, DE)

Top

February 11 – 16 , 2024, Dagstuhl Seminar 24071

Safety Assurance for Autonomous Mobility


Jyotirmoy Deshmukh (USC – Los Angeles, US), Bettina Könighofer (TU Graz, AT), Dejan Nickovic (AIT – Austrian Institute of Technology – Wien, AT), Ufuk Topcu (University of Texas – Austin, US)

Top

February 18 – 23 , 2024, Dagstuhl Seminar 24081

Computational Approaches to Strategy and Tactics in Sports


Ulf Brefeld (Universität Lüneburg, DE), Jesse Davis (KU Leuven, BE), Laura de Jong (Deakin University – Melbourne, AU), Stephanie Kovalchik (Zelus Analytics – Austin, US)

Top

February 25 – March 1 , 2024, Dagstuhl Seminar 24091

Reflections on Pandemic Visualization


Daniel Archambault (Swansea University, GB), Fintan McGee (Luxembourg Inst. of Science & Technology, LU), Simone Scheithauer (Universitätsmedinzin Göttingen, DE), Tatiana von Landesberger (Universität Köln, DE)

Top

March 3 – 8 , 2024, Dagstuhl Seminar 24101

Robust Query Processing in the Cloud


Anastasia Ailamaki (EPFL – Lausanne, CH), Goetz Graefe (Google – Madison, US), Allison Lee (Snowflake – San Mateo, US), Caetano Sauer (Salesforce – München, DE)

Top