Seminar Calendar

Jan 05 – Jan 10, 2025 • Dagstuhl Seminar 25021

Grand Challenges for Research on Privacy Documents

Florian Schaub (University of Michigan - Ann Arbor, US) • Christine Utz (Radboud University Nijmegen, NL) • Shomir Wilson (Pennsylvania State University - University Park, US)

Jan 06 – Jan 09, 2025 • Dagstuhl Seminar 25022

Towards a Multidisciplinary Vision for Culturally Inclusive Generative AI

Asia Biega (MPI-SP - Bochum, DE) • Georgina Born (University College London, GB) • Fernando Diaz (Carnegie Mellon University - Pittsburgh, US) • Mary L. Gray (Microsoft New England R&D Center - Cambridge, US) • Rida Qadri (Google - San Francisco, US)

Jan 12 – Jan 17, 2025 • Dagstuhl Seminar 25031

Addressing Future Challenges of Telemedicine Applications

Andrew Duchowski (Clemson University, US) • Joaquim A. Jorge (University of Lisbon, PT) • Catarina Moreira (University of Technology - Sydney, AU) • Nuria Pelechano (UPC Barcelona Tech, ES) • Matias Volonte (Clemson University, US)

Jan 12 – Jan 15, 2025 • Dagstuhl Seminar 25032

Task and Situation-Aware Evaluation of Speech and Speech Synthesis

Jens Edlund (KTH Royal Institute of Technology - Stockholm, SE) • Sébastien Le Maguer (University of Helsinki, FI) • Christina Tånnander (Swedish Agency for Accessible Media - Malmö, SE) • Petra Wagner (Universität Bielefeld, DE)

Jan 15 – Jan 17, 2025 • Research Meeting 25033

Retreat of Saarbrücken's Chair of Software Engineering

Sven Apel (Universität des Saarlandes - Saarbrücken, DE) • Marvin Wyrich (Universität des Saarlandes - Saarbrücken, DE)

Jan 19 – Jan 24, 2025 • Dagstuhl Seminar 25041

Solving Problems on Graphs: From Structure to Algorithms

Akanksha Agrawal (Indian Institute of Techology Madras, IN) • Maria Chudnovsky (Princeton University, US) • Daniel Paulusma (Durham University, GB) • Oliver Schaudt (Bayer AG - Leverkusen, DE)

Jan 19 – Jan 22, 2025 • Dagstuhl Seminar 25042

Online Privacy: Transparency, Advertising, and Dark Patterns

Günes Acar (Radboud University Nijmegen, NL) • Nataliia Bielova (INRIA - Sophia Antipolis, FR) • Zubair Shafiq (University of California - Davis, US) • Frederik Zuiderveen Borgesius (Radboud University Nijmegen, NL)

Jan 26 – Jan 31, 2025 • Dagstuhl Seminar 25051

Trust and Accountability in Knowledge Graph-Based AI for Self Determination

John Domingue (The Open University - Milton Keynes, GB) • Luis-Daniel Ibáñez (University of Southampton, GB) • Sabrina Kirrane (Wirtschaftsuniversität Wien, AT) • Maria-Esther Vidal (TIB - Hannover, DE)

Jan 26 – Jan 31, 2025 • Dagstuhl Seminar 25052

From Research to Certification with Data-Driven Medical Decision Support Systems

Thomas Fuchs (HPI for Digital Health - New York, US) • Raul Santos-Rodriguez (University of Bristol, GB) • Kacper Sokol (ETH Zürich, CH) • Julia E. Vogt (ETH Zürich, CH) • Sven Wellmann (Universität Regensburg, DE)

Feb 02 – Feb 07, 2025 • Dagstuhl Seminar 25061

Logic and Neural Networks

Vaishak Belle (University of Edinburgh, GB) • Michael Benedikt (University of Oxford, GB) • Dana Drachsler Cohen (Technion - Haifa, IL) • Daniel Neider (TU Dortmund, DE)

Feb 02 – Feb 07, 2025 • Dagstuhl Seminar 25062

Extended Reality for the Operating Room (XR4OR)

Peter Haddawy (Mahidol University - Salaya, TH) • Anja Hennemuth (Charité - Berlin, DE) • Ron Kikinis (Harvard Medical School - Boston, US) • Gabriel Zachmann (Universität Bremen, DE)

Feb 09 – Feb 14, 2025 • Dagstuhl Seminar 25071

Dealing with Complexities in Auction and Matching Market Design

Martin Bichler (TU München - Garching, DE) • Péter Biró (HUN-REN KRTK - Budapest, HU & Corvinus University of Budapest, HU) • Bettina Klaus (University of Lausanne, CH)

Feb 09 – Feb 14, 2025 • Dagstuhl Seminar 25072

What You Hear is What You See? Integrating Sonification and Visualization

Wolfgang Aigner (FH - St. Pölten, AT) • Sara Lenzi (Universidad de Deusto - Bilbao, ES) • Niklas Rönnberg (Linköping University, SE)

Feb 16 – Feb 21, 2025 • Dagstuhl Seminar 25081

Semirings in Databases, Automata, and Logic

Guillermo Badia (University of Queensland - Brisbane, AU) • Manfred Droste (Universität Leipzig, DE) • Phokion G. Kolaitis (University of California - Santa Cruz, US & IBM Almaden Research Center - San Jose, US) • Carles Noguera (University of Siena, IT)

Feb 16 – Feb 21, 2025 • Dagstuhl Seminar 25082

Visualizing Data on Non-Flat, Non-Rectangular Displays

Anastasia Bezerianos (Université Paris-Saclay, INRIA, CNRS, FR) • Raimund Dachselt (TU Dresden, DE) • Wesley J. Willett (University of Calgary, CA)

Feb 23 – Feb 28, 2025 • Dagstuhl Seminar 25091

Tradeoffs in Reactive Systems Design

Jerónimo Castrillón-Mazo (TU Dresden, DE) • Chadlia Jerad (University of Manouba, TN) • Edward A. Lee (University of California - Berkeley, US) • Claire Pagetti (ONERA - Toulouse, FR)

Feb 23 – Feb 28, 2025 • Dagstuhl Seminar 25092

Estimation-of-Distribution Algorithms: Theory and Applications

Josu Ceberio Uribe (University of the Basque Country - Donostia, ES) • Benjamin Doerr (Ecole Polytechnique - Palaiseau, FR) • John McCall (The Robert Gordon University - Aberdeen, GB) • Carsten Witt (Technical University of Denmark - Lyngby, DK)

Mar 02 – Mar 07, 2025 • Dagstuhl Seminar 25101

Guardians of the Galaxy: Protecting Space Systems from Cyber Threats

Ali Abbasi (CISPA - Saarbrücken, DE) • Gregory J. Falco (Cornell University - Ithaca, US) • Daniel Fischer (ESA / ESOC - Darmstadt, DE) • Jill Slay (University of South Australia - Mawson Lakes, AU)

Mar 02 – Mar 05, 2025 • Dagstuhl Perspectives Workshop 25102

The Future of Games in Society

Anders Drachen (University of Southern Denmark - Odense, DK) • Lennart Nacke (University of Waterloo - Stratford, CA) • Johanna Pirker (LMU München, DE)

Mar 05 – Mar 07, 2025 • Research Meeting 25103

Process Mining on Distributed Event Sources

Wilhelm Hasselbring (Universität Kiel, DE) • Agnes Koschmider (Universität Bayreuth, DE) • Olaf Landsiedel (Universität Kiel, DE) • Jan Mendling (HU Berlin, DE) • Florian Tschorsch (TU Dresden, DE) • Matthias Weidlich (HU Berlin, DE)

Mar 09 – Mar 14, 2025 • Dagstuhl Seminar 25111

Computational Complexity of Discrete Problems

Swastik Kopparty (University of Toronto, CA) • Meena Mahajan (The Institute of Mathematical Sciences & HBNI - Chennai, IN) • Rahul Santhanam (University of Oxford, GB) • Till Tantau (Universität zu Lübeck, DE)

Mar 09 – Mar 14, 2025 • Dagstuhl Seminar 25112

PETs and AI: Privacy Washing and the Need for a PETs Evaluation Framework

Emiliano De Cristofaro (University of California - Riverside, US) • Kris Shrishak (Irish Council for Civil Liberties - Dublin, IE) • Thorsten Strufe (KIT - Karlsruher Institut für Technologie, DE) • Carmela Troncoso (MPI-SP - Bochum, DE)

Mar 16 – Mar 21, 2025 • Dagstuhl Seminar 25121

Scheduling

Claire Mathieu (CNRS - Paris, FR) • Nicole Megow (Universität Bremen, DE) • Benjamin J. Moseley (Carnegie Mellon University - Pittsburgh, US) • Frits C. R. Spieksma (TU Eindhoven, NL)

Mar 16 – Mar 19, 2025 • Dagstuhl Perspectives Workshop 25122

Climate Change: What is Computing’s Responsibility?

Vicki Hanson (ACM - New York, US) • Bran Knowles (Lancaster University, GB)

Mar 23 – Mar 28, 2025 • Dagstuhl Seminar 25131

Weihrauch Complexity: Structuring the Realm of Non-Computability

Vasco Brattka (Universität der Bundeswehr - München, DE) • Alberto Marcone (University of Udine, IT) • Arno Pauly (Swansea University, GB) • Linda Westrick (Pennsylvania State University - University Park, US)

Mar 23 – Mar 28, 2025 • Dagstuhl Seminar 25132

Approximation Algorithms for Stochastic Optimization

Lisa Hellerstein (NYU - New York, US) • Viswanath Nagarajan (University of Michigan - Ann Arbor, US) • Kevin Schewior (Universität Köln, DE)

Mar 30 – Apr 04, 2025 • Dagstuhl Seminar 25141

Categories for Automata and Language Theory

Achim Blumensath (Masaryk University - Brno, CZ) • Mikolaj Bojanczyk (University of Warsaw, PL) • Bartek Klin (University of Oxford, GB) • Daniela Petrisan (Université Paris Cité, FR)

Mar 30 – Apr 02, 2025 • Dagstuhl Seminar 25142

Explainability in Focus: Advancing Evaluation through Reusable Experiment Design

Ruth Mary Josephine Byrne (Trinity College Dublin, IE) • Elizabeth M. Daly (IBM Research - Dublin, IE) • Simone Stumpf (University of Glasgow, GB) • Stefano Teso (University of Trento, IT)

Apr 03 – Apr 04, 2025 • Research Meeting 25143

Sektionssitzung der Sektion D der Leibniz-Gemeinschaft

Felix Muhsmann (Leibniz-Gemeinschaft - Berlin, DE) • Thomas Schröder (IKZ - Berlin, DE) • Albert Sickmann (ISAS - Dortmund, DE)

Apr 06 – Apr 11, 2025 • Dagstuhl Seminar 25151

Disruptive Memory Technologies

Haibo Chen (Shanghai Jiao Tong University, CN) • Ada Gavrilovska (Georgia Institute of Technology - Atlanta, US) • Jana Giceva (TU München - Garching, DE) • Frank Hady (Intel Corporation - Portland, US) • Olaf Spinczyk (Universität Osnabrück, DE)

Apr 06 – Apr 11, 2025 • Dagstuhl Seminar 25152

Multi-Faceted Visual Process Mining and Analytics

Claudio Di Ciccio (Utrecht University, NL) • Pnina Soffer (University of Haifa, IL) • Christian Tominski (Universität Rostock, DE) • Katerina Vrotsou (Linköping University, SE)

Apr 13 – Apr 15, 2025 • Research Meeting 25163

GIBU 2025: GI-Beirat der Universitätsprofessor*innen

Lars Grunske (HU Berlin, DE)

Apr 13 – Apr 16, 2025 • Research Meeting 25164

Applied Machine Intelligence 2025

Thomas Hoppe (Fraunhofer FOKUS - Berlin, DE) • Bernhard Humm (Hochschule Darmstadt, DE) • Frauke Weichhardt (Semtation - Potsdam, DE)

Apr 21 – Apr 25, 2025 • Dagstuhl Seminar 25171

Holistic Graph-Processing Systems: Enabling Real-World Scale and Societal Impact

Sanja Fidler (NVIDIA - Toronto, CA) • Alexandru Iosup (VU Amsterdam, NL) • Ana Lucia Varbanescu (University of Twente - Enschede, NL) • Hannes Voigt (Neo4j - Leipzig, DE)

Apr 22 – Apr 25, 2025 • Dagstuhl Seminar 25172

Information Exchange in Software Verification

Dirk Beyer (LMU München, DE) • Marieke Huisman (University of Twente - Enschede, NL) • Jan Strejcek (Masaryk University - Brno, CZ) • Heike Wehrheim (Universität Oldenburg, DE)

Apr 27 – May 02, 2025 • Dagstuhl Seminar 25181

Learned Predictions for Data Structures and Running Time

Inge Li Gørtz (Technical University of Denmark - Lyngby, DK) • Benjamin J. Moseley (Carnegie Mellon University - Pittsburgh, US) • Shikha Singh (Williams College - Williamstown, US) • Sergei Vassilvitskii (Google - New York, US)

Apr 27 – May 02, 2025 • Dagstuhl Seminar 25182

Challenges and Opportunities of Table Representation Learning

Carsten Binnig (TU Darmstadt, DE) • Julian Martin Eisenschlos (Google Research - Zürich, CH) • Madelon Hulsebos (CWI - Amsterdam, NL) • Frank Hutter (Prior Labs - Freiburg, DE & ELLIS Institute Tübingen, DE & Universität Freiburg, DE)

May 04 – May 09, 2025 • Dagstuhl Seminar 25191

Adaptive and Scalable Data Structures

Michael A. Bender (Stony Brook University, US) • John Iacono (ULB - Brussels, BE) • László Kozma (FU Berlin, DE) • Eva Rotenberg (Technical University of Denmark - Lyngby, DK)

May 04 – May 09, 2025 • Dagstuhl Seminar 25192

AUTOBIZ: Pushing the Boundaries of AI-Driven Process Execution and Adaptation

Giuseppe De Giacomo (University of Oxford, GB) • Marlon Dumas (University of Tartu, EE) • Fabiana Fournier (IBM Israel - Haifa, IL) • Timotheus Kampik (SAP Berlin, DE & Umeå University, SE) • Lior Limonad (IBM Israel - Haifa, IL)

May 11 – May 16, 2025 • Dagstuhl Seminar 25201

Computational Geometry

Maarten Löffler (Utrecht University, NL) • Eunjin Oh (POSTECH - Pohang, KR) • Jeff M. Phillips (University of Utah - Salt Lake City, US)

May 11 – May 16, 2025 • Dagstuhl Seminar 25202

Generative Models for 3D Vision

Bernhard Egger (Friedrich-Alexander-Universität Erlangen-Nürnberg, DE) • Adam Kortylewski (Universität Freiburg, DE and MPI für Informatik - Saarbrücken, DE) • William Smith (University of York, GB) • Stefanie Wuhrer (INRIA - Grenoble, FR)

May 18 – May 23, 2025 • Dagstuhl Seminar 25211

The Constraint Satisfaction Problem: Complexity and Approximability

Manuel Bodirsky (TU Dresden, DE) • Venkatesan Guruswami (University of California - Berkeley, US) • Dániel Marx (CISPA - Saarbrücken, DE) • Stanislav Živný (University of Oxford, GB)

May 18 – May 23, 2025 • Dagstuhl Seminar 25212

Metric Sketching and Dynamic Algorithms for Geometric and Topological Graphs

Sujoy Bhore (Indian Institute of Technology Bombay - Mumbai, IN) • Jie Gao (Rutgers University - Piscataway, US) • Hung Le (University of Massachusetts Amherst, US) • Csaba Tóth (California State University - Northridge, US)

May 25 – May 28, 2025 • Research Meeting 25223

DFG Rundgespräch zu Scalable Interaction Paradigms for Pervasive Computing Environments (SPP2199)

Susanne Boll (Universität Oldenburg, DE) • Heiko Müller (Universität Oldenburg, DE)

May 25 – May 28, 2025 • Research Meeting 25224

Kolloquium zum GI-Dissertationspreis 2024

Rüdiger Reischuk (Universität zu Lübeck, DE)

Jun 01 – Jun 06, 2025 • Dagstuhl Seminar 25231

Certifying Algorithms for Automated Reasoning

Nikolaj S. Bjørner (Microsoft - Redmond, US) • Marijn J. H. Heule (Carnegie Mellon University - Pittsburgh, US) • Daniela Kaufmann (TU Wien, AT) • Jakob Nordström (University of Copenhagen, DK & Lund University, SE)

Jun 01 – Jun 06, 2025 • Dagstuhl Seminar 25232

Navigating the Maze of Guidelines to Unify Visualization Design Recommendations

Evanthia Dimara (Utrecht University, NL) • Miriah Meyer (Linköping University, SE) • Ghulam Jilani Quadri (University of Oklahoma - Norman, US) • Paul Rosen (University of Utah - Salt Lake City, US)

Jun 09 – Jun 13, 2025 • Dagstuhl Seminar 25241

Utilising and Scaling the WebAssembly Semantics

Amal Ahmed (Northeastern University - Boston, US) • Andreas Rossberg (München, DE) • Deian Stefan (University of California - San Diego, US) • Conrad Watt (Nanyang TU - Singapore, SG)

Jun 09 – Jun 12, 2025 • Dagstuhl Seminar 25242

Testing Program Analyzers and Verifiers

Maria Christakis (TU Wien, AT) • Alastair F. Donaldson (Imperial College London, GB) • John Regehr (University of Utah - Salt Lake City, US) • Thodoris Sotiropoulos (ETH Zürich, CH)

Jun 12 – Jun 13, 2025 • Research Meeting 25243

3rd Overall Project Meeting DFG FOR 5359

Marius Kloft (RPTU Kaiserslautern-Landau, DE) • Steffen Reithermann (RPTU Kaiserslautern-Landau, DE)

Jun 15 – Jun 18, 2025 • Research Meeting 25253

Joint Meeting of the German Research Training Groups / Gemeinsamer Workshop der Graduiertenkollegs

Lukas Böhme (Hasso-Plattner-Institut, Universität Potsdam, DE) • Mustafa Ghani (Hasso-Plattner-Institut, Universität Potsdam, DE)

Jun 22 – Jun 27, 2025 • Dagstuhl Seminar 25261

Future of Human-Centered Privacy

Zinaida Benenson (Universität Erlangen-Nürnberg, DE) • Simone Fischer-Hübner (Karlstad University, SE) • Heather Richter Lipford (University of North Carolina - Charlotte, US) • William Seymour (King's College London, GB)

Jun 22 – Jun 26, 2025 • Advanced Training 25263

Summer School "Data Management Techniques"

Goetz Graefe (Google - Madison, US)

Jun 22 – Jun 27, 2025 • Research Meeting 25269

Models of Computer Science Research

George Fletcher (TU Eindhoven, NL)

Jun 29 – Jul 04, 2025 • Dagstuhl Seminar 25271

Policy Modeling and Reasoning in Sociotechnical Systems

Marina De Vos (University of Bath, GB) • Nicoletta Fornara (University of Lugano, CH) • Munindar P. Singh (North Carolina State University - Raleigh, US) • Leon van der Torre (University of Luxembourg, LU)

Jun 29 – Jul 04, 2025 • Dagstuhl Seminar 25272

Challenges of Human Oversight: Achieving Human Control of AI-Based Systems

Raimund Dachselt (TU Dresden, DE) • Markus Langer (Universität Freiburg, DE) • Q. Vera Liao (Microsoft - Montréal, CA) • Tim Miller (University of Queensland - Brisbane, AU) • Nava Tintarev (Maastricht University, NL)

Jul 06 – Jul 11, 2025 • Dagstuhl Seminar 25281

From Sparse Interpolation to Signal Processing: New Synergies

Annie Cuyt (University of Antwerp, BE) • Dirk de Villiers (University of Stellenbosch, ZA) • Wen-shin Lee (University of Stirling, GB) • Ana C. Matos (Lille I University, FR) • Gerlind Plonka-Hoch (Universität Göttingen, DE)

Jul 06 – Jul 11, 2025 • Dagstuhl Seminar 25282

Theory of Neural Language Models

Pablo Barcelo (PUC - Santiago de Chile, CL) • David Chiang (University of Notre Dame, US) • George Cybenko (Dartmouth College Hanover, US) • Lena Strobl (University of Umeå, SE)

Jul 13 – Jul 18, 2025 • Dagstuhl Seminar 25291

(Actual) Neurosymbolic AI: Combining Deep Learning and Knowledge Graphs

Pascal Hitzler (Kansas State University - Manhattan, US) • Cogan Matthew Shimizu (Wright State University - Dayton, US) • Daria Stepanova (Bosch Center for AI - Renningen, DE) • Frank van Harmelen (VU Amsterdam, NL)

Jul 13 – Jul 18, 2025 • Dagstuhl Seminar 25292

New Frontiers in AI for Game Design

M Charity (University of Richmond, US) • Michael Cook (King's College London, GB) • Nicolaas Vas (Billund, DK) • Georgios N. Yannakakis (University of Malta - Msida, MT)

Jul 20 – Jul 25, 2025 • Dagstuhl Seminar 25301

Linguistics and Language Models: What Can They Learn from Each Other?

Anna Rogers (IT University of Copenhagen, DK) • Nathan Schneider (Georgetown University - Washington, DC, US) • Bonnie Webber (University of Edinburgh, GB)

Jul 20 – Jul 25, 2025 • Dagstuhl Seminar 25302

NatureHCI: Towards Designing Computer-Enriched Nature Experiences

Masahiko Inami (University of Tokyo, JP) • Michael Jones (Brigham Young University - Provo, US) • Zhuying Li (Southeast University - Nanjing, CN) • Florian 'Floyd' Mueller (Monash University - Clayton, AU)

Jul 27 – Aug 01, 2025 • Dagstuhl Seminar 25311

Generative AI in Programming Education

Brett A. Becker (University College Dublin, IE - in memoriam, † September 30, 2024) • Michelle Craig (University of Toronto, CA) • Paul Denny (University of Auckland, NZ) • Natalie Kiesler (Technische Hochschule Nürnberg, DE) • James Prather (Abilene Christian University, US)

Jul 27 – Aug 01, 2025 • Dagstuhl Seminar 25312

Building Privacy-Preserving Technologies of Societal Impact

Marina Blanton (University at Buffalo - SUNY, US) • Liina Kamm (Cybernetica AS - Tartu, EE)

Aug 17 – Aug 22, 2025 • Dagstuhl Seminar 25341

Software Performance Engineering

Chen Ding (University of Rochester, US) • Martin Farach-Colton (NYU - New York, US) • Charles E. Leiserson (MIT - Cambridge, US) • Peter Sanders (KIT - Karlsruher Institut für Technologie, DE) • Yihan Sun (University of California - Riverside, US)

Aug 17 – Aug 22, 2025 • Dagstuhl Seminar 25342

Frontiers of Parameterized Algorithmics of Matching under Preferences

Jiehua Chen (TU Wien, AT) • Christine Cheng (University of Wisconsin - Milwaukee, US) • David Manlove (University of Glasgow, GB) • Ildikó Schlotter (HUN-REN KRTK - Budapest, HU)

Aug 24 – Aug 29, 2025 • Dagstuhl Seminar 25351

Computational Proteomics

Rebekah Gundry (University of Nebraska - Omaha, US) • Magnus Palmblad (Leiden University Medical Center, NL) • Mathias Wilhelm (TU München - Freising, DE)

Aug 24 – Aug 29, 2025 • Advanced Training 25353

Autumn School 2025 for Information Retrieval and Information Foraging (ASIRF)

Thomas Mandl (Universität Hildesheim, DE) • Philipp Schaer (TH Köln, DE) • Ralf Schenkel (Universität Trier, DE)

Aug 31 – Sep 05, 2025 • Dagstuhl Seminar 25361

Natural Language Processing for Mental Health

Dana Atzil-Slonim (Bar-Ilan University - Ramat-Gan, IL) • Iryna Gurevych (TU Darmstadt, DE) • Dirk Hovy (Bocconi University - Milan, IT) • Diyi Yang (Stanford University, US)

Aug 31 – Sep 03, 2025 • Dagstuhl Seminar 25362

Optimization and Automated Reasoning for Designing Future Space Missions

Max Bannach (ESA / ESTEC - Noordwijk, NL) • Johannes Klaus Fichte (Linköping University, SE) • Dario Izzo (ESA / ESTEC - Noordwijk, NL) • Inês Lynce (INESC-ID - Lisbon, PT)

Sep 03 – Sep 04, 2025 • Research Meeting 25363

Projekttreffen SmartER Affiliations

Florian Reitz (Schloss Dagstuhl - Trier, DE)

Sep 03 – Sep 05, 2025 • Research Meeting 25364

Administrativer Sektionsworkshop der Sektion D

Michael Marx (INM - Saarbrücken, DE) • Heike Meißner (Schloss Dagstuhl - Wadern, DE)

Sep 07 – Sep 12, 2025 • Dagstuhl Seminar 25371

Interactions in Constraint Optimization

Katalin Fazekas (TU Wien, AT) • Matti Järvisalo (University of Helsinki, FI) • Nina Narodytska (VMware Research - Palo Alto, US) • Peter J. Stuckey (Monash University - Caulfield, AU)

Sep 07 – Sep 12, 2025 • Dagstuhl Seminar 25372

Precision in Geometric Algorithms

Mikkel Abrahamsen (University of Copenhagen, DK) • Sándor Kisfaludi-Bak (Aalto University, FI) • Linda Kleist (Universität Potsdam, DE) • Till Miltzow (Utrecht University, NL)

Sep 14 – Sep 19, 2025 • Dagstuhl Seminar 25381

Open Scholarly Information Systems: Status Quo, Challenges, Opportunities

Hannah Bast (Universität Freiburg, DE) • Guillaume Cabanac (University of Toulouse, FR) • Paolo Manghi (CNR - Pisa, IT) • Jian Wu (Old Dominion University - Norfolk, US)

Sep 14 – Sep 19, 2025 • Dagstuhl Seminar 25382

Quantum Error Correction Meets ZX-Calculus

Miriam Backens (INRIA Nancy - Grand-Est Research Center, FR) • Aleks Kissinger (University of Oxford, GB) • John van de Wetering (University of Amsterdam, NL) • Michael Vasmer (INRIA - Paris, FR)

Sep 21 – Sep 26, 2025 • Dagstuhl Seminar 25391

Retrieval-Augmented Generation – The Future of Search?

Matthias Hagen (Friedrich-Schiller-Universität Jena, DE) • Josiane Mothe (Toulouse University, FR) • Smaranda Muresan (Barnard College, Columbia University - New York, US) • Martin Potthast (Universität Kassel, DE) • Min Zhang (Tsinghua University - Beijing, CN)

Sep 21 – Sep 26, 2025 • Dagstuhl Seminar 25392

Specification Engineering: Foundations for the Future of Software Development

Marsha Chechik (University of Toronto, CA) • Eunsuk Kang (Carnegie Mellon University - Pittsburgh, US) • Shahar Maoz (Tel Aviv University, IL) • Jan Oliver Ringert (Bauhaus-Universität Weimar, DE) • Allison Sullivan (University of Texas at Arlington, US)

Sep 28 – Oct 02, 2025 • Dagstuhl Seminar 25401

Societal Impact of Computational Social Choice

Martin Lackner (TU Wien, AT) • Nicholas Mattei (Tulane University - New Orleans, US) • Arianna Novaro (Université Paris 1 Panthéon-Sorbonne, FR) • Clemens Puppe (KIT - Karlsruher Institut für Technologie, DE)

Oct 05 – Oct 10, 2025 • Dagstuhl Seminar 25411

Trustworthy Evidence-Based Elections

Josh Benaloh (Microsoft Research - Redmond, US) • Peter Rønne (University of Luxembourg, LU) • Philip Stark (University of California - Berkeley, US) • Melanie Volkamer (KIT - Karlsruher Institut für Technologie, DE)

Oct 05 – Oct 10, 2025 • Dagstuhl Perspectives Workshop 25412

Creativity, GenAI, and Software Development: A Future Together

Rafael Prikladnicki (Pontifícia Universidade Católica do Rio Grande do Sul - Porto Alegre, BR) • Daniel Russo (Aalborg University Copenhagen, DK) • Margaret-Anne Storey (University of Victoria, CA) • André van der Hoek (University of California, Irvine, US)

Oct 12 – Oct 17, 2025 • Dagstuhl Seminar 25421

Sound Static Program Analysis in Modern Software Engineering

Pietro Ferrara (University of Venice, IT) • Liana Hadarean (Amazon Web Services - Seattle, US) • Jorge Navas (Certora - Seattle, US) • Caterina Urban (INRIA & ENS Paris, FR)

Oct 12 – Oct 15, 2025 • Dagstuhl Seminar 25422

Cognitive Sensing and Interaction

Thomas Kosch (HU Berlin, DE) • Kai Kunze (Keio University - Yokohama, JP) • Christina Schneegass (TU Delft, NL) • Thad Starner (Georgia Institute of Technology - Atlanta, US)

Oct 15 – Oct 17, 2025 • Research Meeting 25423

Methodological Advancements in Information Hiding

Steffen Wendzel (Universität Ulm, DE)

Oct 15 – Oct 17, 2025 • Research Meeting 25424

Research Retreat on AI-powered Robust and Resilient Robots

Nico Hochgeschwender (Universität Bremen, DE)

Oct 19 – Oct 24, 2025 • Dagstuhl Seminar 25431

Quantum Cryptanalysis

Gorjan Alagic (University of Maryland - College Park, US) • Simona Etinski (CWI - Amsterdam, NL) • Stacey Jeffery (CWI - Amsterdam, NL) • Rainer Steinwandt (University of Alabama in Huntsville, US)

Oct 19 – Oct 24, 2025 • Dagstuhl Seminar 25432

Deep Continual Learning in the Foundation Model Era

Christopher Kanan (University of Rochester, US) • Martin Mundt (Universität Bremen, DE) • Tinne Tuytelaars (KU Leuven, BE) • Joost van de Weijer (Computer Vision Center - Barcelona, ES)

Oct 26 – Oct 31, 2025 • Dagstuhl Seminar 25441

Competitions and Empirical Evaluations in Automated Reasoning

Johannes Klaus Fichte (Linköping University, SE) • Matti Järvisalo (University of Helsinki, FI) • Aina Niemetz (Stanford University, US) • Guido Tack (Monash University - Clayton, AU)

Oct 26 – Oct 29, 2025 • Dagstuhl Seminar 25442

Augmenting Human Creativity with AI

Tilman Dingler (TU Delft, NL) • Elisa Giaccardi (Polytechnic University of Milan, IT) • Steven Rick (MIT - Cambridge, US) • Irina Shklovski (University of Copenhagen, DK)

Oct 29 – Oct 31, 2025 • Research Meeting 25443

Educating Future Software Engineers on Digital Twins

Benoit Combemale (University of Rennes, FR) • Judith Michael (RWTH Aachen, DE) • Andreas Wortmann (Universität Stuttgart, DE)

Oct 29 – Oct 31, 2025 • Research Meeting 25444

Better Benchmarking Setups for Optimisation: Design, Curation and Long-Term Evolution

Anna Kononova (Leiden University, NL) • Olaf Mersmann (Hochschule des Bundes für öffentliche Verwaltung - Brühl, DE)

Nov 02 – Nov 07, 2025 • Dagstuhl Seminar 25451

Bayesian Optimisation

Jürgen Branke (University of Warwick, GB) • Frank Hutter (Prior Labs - Freiburg, DE & ELLIS Institute Tübingen, DE & Universität Freiburg, DE) • Giulia Pedrielli (Arizona State University - Tempe, US) • Matthias Poloczek (Amazon.com, Inc. - Palo Alto, US)

Nov 02 – Nov 07, 2025 • Dagstuhl Seminar 25452

Search the Dagstuhl Website

Schloss Dagstuhl Services

Seminars

Within this website:

External resources:

Publishing

Within this website:

External resources:

dblp

Within this website:

External resources:

Seminar Calendar

2025