Seminar Calendar

Jan 03 – Jan 05, 2023 • Research Meeting 23013

Concept Lattice Based Topological Data Analysis and Reasoning

Bernhard Ganter (TU Dresden, DE) • Tom Hanika (Universität Kassel, DE) • Friedrich Martin Schneider (TU Bergakademie Freiberg, DE) • Karl Erich Wolff (Ernst-Schröder-Zentrum Darmstadt, DE)

Jan 08 – Jan 13, 2023 • Dagstuhl Seminar 23021

Media Forensics and the Challenge of Big Data

Irene Amerini (Sapienza University of Rome, IT) • Anderson Rocha (State University - Campinas, BR) • Paul L. Rosin (Cardiff University, GB) • Xianfang Sun (Cardiff University, GB)

Jan 08 – Jan 13, 2023 • Dagstuhl Seminar 23022

Inverse Biophysical Modeling and Machine Learning in Personalized Oncology

George Biros (Univ. of Texas at Austin, US) • Andreas Mang (University of Houston, US) • Björn H. Menze (Universität Zürich, CH) • Miriam Schulte (Universität Stuttgart, DE)

Jan 15 – Jan 20, 2023 • Dagstuhl Seminar 23031

Frontiers of Information Access Experimentation for Research and Education

Christine Bauer (Utrecht University, NL) • Ben Carterette (University of Delaware - Newark, US) • Nicola Ferro (University of Padova, IT) • Norbert Fuhr (Universität Duisburg-Essen, DE)

Jan 15 – Jan 18, 2023 • Research Meeting 23033

Game Measures and Player Experience

Cameron Browne (Maastricht University, NL) • Alena Denisova (University of York, GB) • Vanessa Volz (modl.ai - Copenhagen, DK)

Jan 22 – Jan 27, 2023 • Dagstuhl Seminar 23041

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering

Erika Abraham (RWTH Aachen University, DE) • Stefan Hallerstede (Aarhus University, DK) • John Hatcliff (Kansas State University - Manhattan, US) • Danielle Stewart (Galois - Minneapolis, US)

Jan 22 – Jan 25, 2023 • Dagstuhl Seminar 23042

Quality of Sustainable Experience (QoSE)

Katrien De Moor (NTNU - Trondheim, NO) • Markus Fiedler (Blekinge Institute of Technology - Karlshamn, SE) • Ashok Jhunjhunwala (IITM Research Park - Madras, IN) • Alexander Raake (TU Ilmenau, DE)

Jan 26 – Jan 27, 2023 • Research Meeting 23043

Scientific Directorate Meeting

Raimund Seidel (Universität des Saarlandes - Saarbrücken, DE)

Jan 29 – Feb 03, 2023 • Dagstuhl Seminar 23051

Perception in Network Visualization

Karsten Klein (Universität Konstanz, DE) • Stephen G. Kobourov (University of Arizona - Tucson, US) • Bernice E. Rogowitz (Visual Perspectives - New York, US) • Danielle Szafir (University of North Carolina at Chapel Hill, US)

Jan 30 – Feb 03, 2023 • Research Meeting 23053

Structures on Surfaces

Éric Colin de Verdière (Gustave Eiffel University - Marne-la-Vallée, FR) • Hugo Parlier (University of Luxembourg - Esch-sur-Alzette, LU) • Monique Teillaud (INRIA Nancy - Grand Est, FR)

Jan 30 – Feb 02, 2023 • Research Meeting 23054

Doktorandenseminar des Labor Business Programming (FH Aachen)

Lars Klöser (FH Aachen - Jülich, DE) • Bodo Kraft (FH Aachen - Jülich, DE)

Feb 05 – Feb 10, 2023 • Dagstuhl Seminar 23061

Scheduling

Nicole Megow (Universität Bremen, DE) • Benjamin J. Moseley (Carnegie Mellon University - Pittsburgh, US) • David Shmoys (Cornell University - Ithaca, US) • Ola Svensson (EPFL - Lausanne, CH) • Sergei Vassilvitskii (Google - New York, US)

Feb 05 – Feb 10, 2023 • Dagstuhl Seminar 23062

Programming Language Processing

Michael Pradel (Universität Stuttgart, DE) • Baishakhi Ray (Columbia University - New York, US) • Charles Sutton (Google - Mountain View, US) • Eran Yahav (Technion - Haifa, IL)

Feb 12 – Feb 17, 2023 • Dagstuhl Seminar 23071

From Big Data Theory to Big Data Practice

Martin Farach-Colton (Rutgers University - Piscataway, US) • Fabian Daniel Kuhn (Universität Freiburg, DE) • Ronitt Rubinfeld (MIT - Cambridge, US) • Przemyslaw Uznanski (University of Wroclaw, PL)

Feb 12 – Feb 17, 2023 • Dagstuhl Seminar 23072

Challenges and Perspectives in Deep Generative Modeling

Vincent Fortuin (University of Cambridge, GB) • Yingzhen Li (Imperial College London, GB) • Stephan Mandt (University of California - Irvine, US) • Kevin Murphy (Google - Mountain View, US)

Feb 19 – Feb 24, 2023 • Dagstuhl Seminar 23081

Agents on the Web

Olivier Boissier (Ecole des Mines - St. Etienne, FR) • Andrei Ciortea (Universität St. Gallen, CH) • Andreas Harth (Fraunhofer IIS - Nürnberg, DE) • Alessandro Ricci (Università di Bologna, IT)

Feb 19 – Feb 24, 2023 • Dagstuhl Seminar 23082

Resilient Software Configuration and Infrastructure Code Analysis

Jürgen Cito (TU Wien, AT) • Ruzica Piskac (Yale University - New Haven, US) • Mark Santolucito (Barnard College - New York, US) • Andy Zaidman (TU Delft, NL) • Yuanyuan Zhou (University of California - San Diego, US)

Feb 26 – Mar 03, 2023 • Dagstuhl Seminar 23091

Algorithmic Foundations of Programmable Matter

Aaron Becker (TU Braunschweig, DE) • Sándor Fekete (TU Braunschweig, DE) • Irina Kostitsyna (TU Eindhoven, NL) • Matthew J. Patitz (University of Arkansas - Fayetteville, US) • Damien Woods (Maynooth University, IE)

Feb 26 – Mar 03, 2023 • Dagstuhl Perspectives Workshop 23092

A Human-Computer Interaction Perspective to Drive Change towards Sustainable Future

Nic Bidwell (IUM - Windhoek, NA) • Susanne Boll (Universität Oldenburg, DE) • Marc Hassenzahl (Universität Siegen, DE) • Kaisa Väänänen (University of Tampere, FI)

Mar 05 – Mar 10, 2023 • Dagstuhl Seminar 23101

Foundations of WebAssembly

Karthikeyan Bhargavan (INRIA - Paris, FR) • Jonathan Protzenko (Microsoft - Redmond, US) • Andreas Rossberg (München, DE) • Deian Stefan (University of California - San Diego, US)

Mar 05 – Mar 10, 2023 • GI-Dagstuhl Seminar 23103

Testing and Debugging of Data Analysis Workflows

Stephan Lukasczyk (Universität Passau, DE) • Sebastian Müller (HU Berlin, DE) • Mitchell Olsthoorn (TU Delft, NL)

Mar 12 – Mar 17, 2023 • Dagstuhl Seminar 23111

Computational Complexity of Discrete Problems

Anna Gál (University of Texas - Austin, US) • Meena Mahajan (The Institute of Mathematical Sciences - Chennai, IN) • Rahul Santhanam (University of Oxford, GB) • Till Tantau (Universität zu Lübeck, DE)

Mar 12 – Mar 15, 2023 • Dagstuhl Seminar 23112

Unifying Formal Methods for Trustworthy Distributed Systems

Swen Jacobs (CISPA - Saarbrücken, DE) • Kenneth McMillan (University of Texas - Austin, US) • Roopsha Samanta (Purdue University - West Lafayette, US) • Ilya Sergey (National University of Singapore, SG)

Mar 19 – Mar 24, 2023 • Dagstuhl Seminar 23121

Pattern Avoidance, Statistical Mechanics and Computational Complexity

David Bevan (University of Strathclyde - Glasgow, GB) • Miklós Bóna (University of Florida - Gainesville, US) • István Miklós (ELKH - Budapest, HU) • Seth Pettie (University of Michigan - Ann Arbor, US)

Mar 19 – Mar 24, 2023 • Dagstuhl Seminar 23122

Deep Continual Learning

Bing Liu (University of Illinois - Chicago, US) • Vincenzo Lomonaco (University of Pisa, IT) • Tinne Tuytelaars (KU Leuven, BE) • Gido van de Ven (KU Leuven, BE)

Mar 26 – Mar 31, 2023 • Dagstuhl Seminar 23131

Software Bug Detection: Challenges and Synergies

Marcel Böhme (MPI-SP - Bochum, DE & Monash University - Melbourne, AU) • Maria Christakis (TU Wien, AT) • Rohan Padhye (Carnegie Mellon University - Pittsburgh, US & Amazon Web Services, US) • Kostya Serebryany (Google - Mountain View, US) • Andreas Zeller (CISPA - Saarbrücken, DE)

Mar 26 – Mar 31, 2023 • Dagstuhl Seminar 23132

AI-Augmented Facilities: Bridging Experiment and Simulation with ML

Peer-Timo Bremer (LLNL - Livermore, US) • Michael Bussmann (Helmholtz-Zentrum Dresden-Rossendorf - Görlitz, DE) • Tom Gibbs (NVIDIA Corp. - Santa Clara, US) • Brian Spears (LLNL - Livermore, US)

Mar 30 – Apr 02, 2023 • Research Meeting 23139

Forschungsaufenthalt zur Vorbereitung auf "Ontologie, Linguistik, Terminologie, Logik (olitelo): Forschung trifft Praxis" (23144)

Christian Fillies (Semtation GmbH - Potsdam, DE)

Apr 02 – Apr 04, 2023 • Research Meeting 23143

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

Lars Grunske (HU Berlin, DE)

Apr 02 – Apr 05, 2023 • Research Meeting 23144

Ontologie, Linguistik, Terminologie, Logik (olitelo): Forschung trifft Praxis

Johannes Busse (HAW Landshut, DE) • Anatol Reibold (Cardisio - Frankfurt am Main, DE & Universität Leipzig, DE)

Apr 10 – Apr 14, 2023 • Dagstuhl Seminar 23151

Normative Reasoning for AI

Agata Ciabattoni (TU Wien, AT) • John F. Horty (University of Maryland - College Park, US) • Marija Slavkovik (University of Bergen, NO) • Leon van der Torre (University of Luxembourg, LU)

Apr 10 – Apr 13, 2023 • Dagstuhl Seminar 23152

Secure and Efficient Post-Quantum Cryptography in Hardware and Software

Thomas Pöppelmann (Infineon Technologies AG - Neubiberg, DE) • Sujoy Sinha Roy (TU Graz, AT) • Ingrid Verbauwhede (KU Leuven, BE)

Apr 16 – Apr 21, 2023 • Dagstuhl Seminar 23161

Pushing the Limits of Computational Combinatorial Constructions

Lucia Moura (University of Ottawa, CA) • Anamari Nakic (University of Zagreb, HR) • Patric Östergård (Aalto University, FI) • Alfred Wassermann (Universität Bayreuth, DE)

Apr 16 – Apr 21, 2023 • Dagstuhl Seminar 23162

New Frontiers of Parameterized Complexity in Graph Drawing

Robert Ganian (TU Wien, AT) • Fabrizio Montecchiani (University of Perugia, IT) • Martin Nöllenburg (TU Wien, AT) • Meirav Zehavi (Ben Gurion University - Beer Sheva, IL)

Apr 23 – Apr 28, 2023 • Dagstuhl Seminar 23171

Driving HPC Operations With Holistic Monitoring and Operational Data Analytics

Florina M. Ciorba (Universität Basel, CH) • Ann Gentile (Sandia National Labs - Albuquerque, US) • Michael Ott (LRZ - München, DE) • Torsten Wilde (HPE- Böblingen, DE)

Apr 24 – Apr 26, 2023 • Research Meeting 23174

Klausurtagung 2023 Forschungsgruppe Internet Architecture (INET)

Iris Wagner (MPI für Informatik - Saarbrücken, DE)

Apr 26 – Apr 28, 2023 • Research Meeting 23173

Klausurtagung der Arbeitsgruppe Algorithm Engineering (KIT)

Florian Kurpicz (KIT - Karlsruher Institut für Technologie, DE)

May 01 – May 05, 2023 • Dagstuhl Seminar 23181

Empirical Evaluation of Secure Development Processes

Eric Bodden (Universität Paderborn, DE) • Brendan Murphy (Microsoft Research - Cambridge, GB) • Sam Weber (Carnegie Mellon University - Pittsburgh, US) • Laurie Williams (North Carolina State University - Raleigh, US)

May 01 – May 04, 2023 • Dagstuhl Seminar 23182

Lessons Learned From 40+ Years of the Internet

Jari Arkko (Ericsson - Jorvas, FI) • Lars Eggert (NetApp, FI) • David Oran (MIT - Cambridge, US) • Jörg Ott (TU München, DE) • Henning Schulzrinne (Columbia University - New York, US)

May 04 – May 05, 2023 • Research Meeting 23183

Kick-off meeting DFG FOR 5359

Marius Kloft (RPTU - Kaiserslautern, DE)

May 07 – May 12, 2023 • Dagstuhl Seminar 23191

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics

Timothy Baldwin (MBZUAI - Abu Dhabi, AE) • William Croft (University of New Mexico - Alburquerque, US) • Joakim Nivre (Uppsala University, SE) • Agata Savary (University Paris-Saclay, CNRS - Orsay, FR)

May 07 – May 12, 2023 • Dagstuhl Seminar 23192

Topological Data Analysis and Applications

Ulrich Bauer (TU München, DE) • Vijay Natarajan (Indian Institute of Science - Bangalore, IN) • Bei Wang Phillips (University of Utah - Salt Lake City, US)

May 14 – May 17, 2023 • Dagstuhl Seminar 23202

Regular Transformations

Rajeev Alur (University of Pennsylvania - Philadelphia, US) • Mikolaj Bojanczyk (University of Warsaw, PL) • Emmanuel Filiot (UL - Brussels, BE) • Anca Muscholl (University of Bordeaux, FR)

May 14 – May 17, 2023 • Research Meeting 23203

Kolloquium zum GI-Dissertationspreis 2022

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

May 21 – May 26, 2023 • Dagstuhl Seminar 23211

Scalable Data Structures

Gerth Stølting Brodal (Aarhus University, DK) • John Iacono (UL - Brussels, BE) • László Kozma (FU Berlin, DE) • Vijaya Ramachandran (University of Texas - Austin, US)

May 21 – May 26, 2023 • Dagstuhl Seminar 23212

Designing the Human-Machine Symbiosis

Ellen Yi-Luen Do (University of Colorado - Boulder, US) • Kristina Höök (KTH Royal Institute of Technology - Stockholm, SE) • Pattie Maes (MIT - Cambridge, US) • Florian 'Floyd' Mueller (Monash University - Clayton, AU)

May 29 – Jun 02, 2023 • Dagstuhl Seminar 23221

Computational Geometry

Siu-Wing Cheng (HKUST - Kowloon, HK) • Maarten Löffler (Utrecht University, NL and Tulane University - New Orleans, US) • Jeff M. Phillips (University of Utah - Salt Lake City, US)

May 29 – Jun 01, 2023 • Dagstuhl Seminar 23222

Novel Scenarios for the Wireless Internet of Things

Haitham Hassanieh (EPFL - Lausanne, CH) • Kyle Jamieson (Princeton University, US) • Luca Mottola (Polytechnic University of Milan, IT) • Longfei Shangguan (University of Pittsburgh, US) • Xia Zhou (Columbia University - New York, US) • Marco Zimmerling (TU Darmstadt, DE)

Jun 04 – Jun 07, 2023 • Research Meeting 23233

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

Helmut Seidl (TU München - Garching, DE) • Christin Seifert (Universität Marburg, DE)

Jun 11 – Jun 16, 2023 • Dagstuhl Seminar 23241

Scalable Analysis of Probabilistic Models and Programs

Sebastian Junges (Radboud University Nijmegen, NL) • Joost-Pieter Katoen (RWTH Aachen, DE) • Scott Sanner (University of Toronto, CA) • Guy Van den Broeck (UCLA, US)

Jun 11 – Jun 16, 2023 • Dagstuhl Seminar 23242

Privacy Protection of Automated and Self-Driving Vehicles

Frank Kargl (Universität Ulm, DE) • Ioannis Krontiris (Huawei Technologies - München, DE) • Jason Millar (University of Ottawa, CA) • André Weimerskirch (Lear Corporation - Ann Arbor, US)

Jun 18 – Jun 23, 2023 • Dagstuhl Seminar 23251

Challenges in Benchmarking Optimization Heuristics

Anne Auger (INRIA Saclay - Palaiseau, FR) • Peter A. N. Bosman (CWI - Amsterdam, NL) • Pascal Kerschke (TU Dresden, DE) • Darrell Whitley (Colorado State University - Fort Collins, US)

Jun 18 – Jun 23, 2023 • Dagstuhl Seminar 23252

Inclusive Data Visualization

Bongshin Lee (Microsoft Research - Redmond, US) • Kim Marriott (Monash University - Caulfield, AU) • Danielle Szafir (University of North Carolina at Chapel Hill, US) • Gerhard Weber (TU Dresden, DE)

Jun 25 – Jun 30, 2023 • Dagstuhl Seminar 23261

SAT Encodings and Beyond

Marijn J. H. Heule (Carnegie Mellon University - Pittsburgh, US) • Inês Lynce (University of Lisbon, PT) • Stefan Szeider (TU Wien, AT) • Neng-Fa Zhou (Brooklyn College, US)

Jun 28 – Jun 30, 2023 • Research Meeting 23263

Applied Machine Intelligence 2023

Johannes Busse (HAW Landshut, DE) • Thomas Hoppe (Fraunhofer FOKUS - Berlin, DE) • Bernhard Humm (Hochschule Darmstadt, DE)

Jul 02 – Jul 07, 2023 • Dagstuhl Seminar 23271

Human in the (Process) Mines

Claudio Di Ciccio (Sapienza University of Rome, IT) • Silvia Miksch (TU Wien, AT) • Pnina Soffer (University of Haifa, IL) • Barbara Weber (Universität St. Gallen, CH)

Jul 02 – Jul 07, 2023 • Dagstuhl Seminar 23272

Epistemic and Topological Reasoning in Distributed Systems

Armando Castaneda (National Autonomous University of Mexico, MX) • Yoram Moses (Technion - Haifa, IL) • Ulrich Schmid (TU Wien, AT) • Hans Van Ditmarsch (CNRS - Toulouse, FR)

Jul 09 – Jul 14, 2023 • Dagstuhl Seminar 23281

Theoretical Advances and Emerging Applications in Abstract Interpretation

Arie Gurfinkel (University of Waterloo, CA) • Isabella Mastroeni (University of Verona, IT) • Antoine Miné (Sorbonne University - Paris, FR) • Peter Müller (ETH Zürich, CH)

Jul 09 – Jul 13, 2023 • Advanced Training 23283

Summer School "Data Management Techniques"

Goetz Graefe (Google - Madison, US)

Jul 09 – Jul 14, 2023 • Research Meeting 23289

Framework Development for User-Centered-Design of AI-based Systems

Alexander Rossner (Hochschule Mainz, DE & Hochschule RheinMain - Wiesbaden, DE)

Jul 16 – Jul 21, 2023 • Dagstuhl Seminar 23291

Parameterized Approximation: Algorithms and Hardness

Karthik C. S. (Rutgers University - New Brunswick, US) • Parinya Chalermsook (Aalto University, FI) • Joachim Spoerhase (University of Sheffield, GB) • Meirav Zehavi (Ben Gurion University - Beer Sheva, IL)

Jul 16 – Jul 21, 2023 • Dagstuhl Seminar 23292

SportsHCI

Carine Lallemand (University of Luxembourg, LU) • Florian 'Floyd' Mueller (Monash University - Clayton, AU) • Dennis Reidsma (University of Twente - Enschede, NL) • Elise van den Hoven (University of Technology - Sydney, AU)

Jul 23 – Jul 28, 2023 • Dagstuhl Seminar 23301

Computational Proteomics

Rebekah Gundry (University of Nebraska - Omaha, US) • Lennart Martens (Ghent University, BE) • Magnus Palmblad (Leiden University Medical Center, NL)

Jul 23 – Jul 28, 2023 • Dagstuhl Seminar 23302

Software Architecture and Machine Learning

Grace A. Lewis (Carnegie Mellon University - Pittsburgh, US) • Henry Muccini (University of L'Aquila, IT) • Axel-Cyrille Ngonga Ngomo (Universität Paderborn, DE) • Roland Weiss (ABB - Mannheim, DE) • Liming Zhu (Data61, CSIRO - Sydney, AU)

Aug 13 – Aug 18, 2023 • Dagstuhl Seminar 23331

Recent Trends in Graph Decomposition

Seher Acer (Google - Sunnyvale, US) • George Karypis (University of Minnesota - Minneapolis, US) • Christian Schulz (Universität Heidelberg, DE) • Darren Strash (Hamilton College - Clinton, US)

Aug 13 – Aug 18, 2023 • Dagstuhl Seminar 23332

Synergizing Theory and Practice of Automated Algorithm Design for Optimization

Martin S. Krejca (Ecole Polytechnique - Palaiseau, FR) • Marius Lindauer (Leibniz Universität Hannover, DE) • Manuel López-Ibáñez (University of Manchester, GB) • Katherine M. Malan (UNISA - Pretoria, ZA)

Aug 20 – Aug 25, 2023 • Dagstuhl Seminar 23341

Functionally Safe Multi-Core Systems

Iain Bate (University of York, GB) • Thidapat (Tam) Chantem (Virginia Polytechnic Institute & State University - Arlington, US) • Louise Harney (Leonardo UK Ltd - Edinburgh, GB) • Claire Maiza (University of Grenoble, FR) • Georg von der Brüggen (TU Dortmund, DE)

Aug 20 – Aug 25, 2023 • Dagstuhl Seminar 23342

Computational Geometry of Earth System Analysis

Susanne Crewell (Universität Köln, DE) • Anne Driemel (Universität Bonn, DE) • Jeff M. Phillips (University of Utah - Salt Lake City, US)

Aug 27 – Sep 01, 2023 • Dagstuhl Seminar 23351

Algorithms and Complexity for Continuous Problems

Dmitriy Bilyk (University of Minnesota - Minneapolis, US) • Michael Gnewuch (Universität Osnabrück, DE) • Jan Vybíral (Czech Technical University - Prague, CZ) • Larisa Yaroslavtseva (Universität Graz, AT)

Aug 27 – Sep 01, 2023 • Dagstuhl Seminar 23352

Integrating HPC, AI, and Workflows for Scientific Data Analysis

Rosa Maria Badia (Barcelona Supercomputing Center, ES) • Laure Berti-Equille (IRD - Montpellier, FR) • Rafael Ferreira da Silva (Oak Ridge National Laboratory, US) • Ulf Leser (HU Berlin, DE)

Sep 03 – Sep 08, 2023 • Dagstuhl Seminar 23361

Multiobjective Optimization on a Budget

Richard Allmendinger (University of Manchester, GB) • Carlos M. Fonseca (University of Coimbra, PT) • Serpil Sayin (Koc University - Istanbul, TR) • Margaret M. Wiecek (Clemson University, US)

Sep 03 – Sep 08, 2023 • Dagstuhl Seminar 23362

Decision-Making Techniques for Smart Semiconductor Manufacturing

Chen-Fu Chien (National Tsing Hua University - Hsinchu, TW) • Hans Ehm (Infineon Technologies - München, DE) • John Fowler (Arizona State University - Tempe, US) • Lars Mönch (FernUniversität in Hagen, DE)

Sep 10 – Sep 15, 2023 • Dagstuhl Seminar 23371

Roadmap for Responsible Robotics

Michael Fisher (University of Manchester, GB) • Seth Lazar (Australian National University - Canberra, AU) • Marija Slavkovik (University of Bergen, NO) • Astrid Weiss (TU Wien, AT)

Sep 10 – Sep 15, 2023 • Dagstuhl Seminar 23372

Human-Centered Approaches for Provenance in Automated Data Science

Anamaria Crisan (Tableau Software - Seattle, US) • Lars Kotthoff (University of Wyoming - Laramie, US) • Marc Streit (Johannes Kepler Universität Linz, AT) • Kai Xu (University of Nottingham, GB)

Sep 17 – Sep 22, 2023 • Dagstuhl Seminar 23381

Visualization and the Humanities: Towards a Shared Research Agenda

Johanna Drucker (University of California at Los Angeles, US) • Jason Dykes (City - University of London, GB) • Mennatallah El-Assady (ETH Zürich, CH) • Uta Hinrichs (University of Edinburgh, GB) • Florian Windhager (Donau-Universität Krems, AT)

Sep 17 – Sep 22, 2023 • Advanced Training 23383

Autumn School 2023: Information Retrieval and Information Foraging

Norbert Fuhr (Universität Duisburg-Essen, DE) • Philipp Schaer (TH Köln, DE) • Ralf Schenkel (Universität Trier, DE)

Sep 24 – Sep 29, 2023 • Dagstuhl Seminar 23391

The Futures of Reactive Synthesis

Nathanaël Fijalkow (CNRS - Talence, FR) • Bernd Finkbeiner (CISPA - Saarbrücken, DE) • Guillermo A. Pérez (University of Antwerp, BE) • Elizabeth Polgreen (University of Edinburgh, GB)

Sep 24 – Sep 29, 2023 • Research Meeting 23393

DDI-CDI: Realising interoperable data services in the metadata ecosystem

Arofan Gregory (DDI Alliance / CODATA - Jaffrey, New Hampshire, US) • Simon Hodson (CODATA - Paris, FR) • Steven McEachern (Australian National University - Canberra, AU) • Hilde Orten (Sikt - Bergen, NO) • Joachim Wackerow (Ludwigshafen, DE)

Oct 01 – Oct 06, 2023 • Dagstuhl Seminar 23401

Automated mathematics: integrating proofs, algorithms and data

Andrej Bauer (University of Ljubljana, SI) • Katja Bercic (University of Ljubljana, SI) • Florian Rabe (Universität Erlangen-Nürnberg, DE) • Nicolas Thiéry (University Paris-Saclay - Orsay, FR)

Oct 01 – Oct 06, 2023 • Research Meeting 23403

Defining a core metadata framework for cross-domain data sharing and reuse

Simon Cox (Open Geospatial Consortium - Melbourne, AU) • Arofan Gregory (DDI Alliance / CODATA - Jaffrey, New Hampshire, US) • Simon Hodson (CODATA - Paris, FR) • Steven McEachern (Australian National University - Canberra, AU) • Hilde Orten (Sikt - Bergen, NO) • Joachim Wackerow (Ludwigshafen, DE)

Oct 08 – Oct 13, 2023 • Dagstuhl Seminar 23411

Accountable Software Systems

Bettina Könighofer (TU Graz, AT) • Joshua A. Kroll (Naval Postgraduate School - Monterey, US) • Ruzica Piskac (Yale University - New Haven, US) • Michael Veale (University College London, GB)

Oct 08 – Oct 11, 2023 • Dagstuhl Seminar 23412

Formal Methods for Correct Persistent Programming

Ori Lahav (Tel Aviv University, IL) • Azalea Raad (Imperial College London, GB) • Joseph Tassarotti (New York University, US) • Viktor Vafeiadis (MPI-SWS - Kaiserslautern, DE)

Oct 15 – Oct 20, 2023 • Dagstuhl Seminar 23421

Quantum Cryptanalysis

Gorjan Alagic (University of Maryland - College Park, US) • Stacey Jeffery (CWI - Amsterdam, NL) • Maria Naya-Plasencia (INRIA - Paris, FR) • Rainer Steinwandt (University of Alabama in Huntsville, US)

Oct 15 – Oct 20, 2023 • Dagstuhl Seminar 23422

Graph Algorithms: Cuts, Flows, and Network Design

Jason Li (University of California - Berkeley, US) • Debmalya Panigrahi (Duke University - Durham, US) • Laura Sanita (Università Bocconi - Milan, IT) • Thatchaphol Saranurak (University of Michigan - Ann Arbor, US)

Oct 22 – Oct 27, 2023 • Dagstuhl Seminar 23431

Network Attack Detection and Defense – AI-Powered Threats and Responses

Marc C. Dacier (KAUST - Thuwal, SA) • Sven Dietrich (City University of New York, US) • Frank Kargl (Universität Ulm, DE) • Hartmut König (ZITiS - München, DE)

Oct 22 – Oct 25, 2023 • Dagstuhl Seminar 23432

Edge-AI: Identifying Key Enablers in Edge Intelligence

Eyal de Lara (University of Toronto, CA) • Aaron Ding (TU Delft, NL) • Schahram Dustdar (TU Wien, AT) • Ella Peltonen (University of Oulu, FI)

Oct 25 – Oct 27, 2023 • Research Meeting 23433

Software Engineering Forschungsmethoden Training

Sven Apel (Universität des Saarlandes - Saarbrücken, DE) • Eric Bodden (Universität Paderborn, DE) • Lars Grunske (HU Berlin, DE)

Oct 29 – Nov 03, 2023 • Dagstuhl Seminar 23441

Ensuring the Reliability and Robustness of Database Management Systems

Alexander Böhm (Google Germany - Schwetzingen, DE) • Hannes Mühleisen (CWI - Amsterdam, NL) • Danica Porobic (Oracle Switzerland - Zürich, CH) • Manuel Rigger (National University of Singapore, SG)

Oct 29 – Nov 03, 2023 • Dagstuhl Seminar 23442

Approaches and Applications of Inductive Programming

Andrew Cropper (University of Oxford, GB) • Luc De Raedt (KU Leuven, BE) • Richard Evans (DeepMind - London, GB) • Ute Schmid (Universität Bamberg, DE)

Oct 29 – Nov 03, 2023 • Research Meeting 23443

Data-Efficient Artificial Intelligence

Sebastian Bast (Hochschule Trier, DE)

Nov 05 – Nov 10, 2023 • Dagstuhl Seminar 23451

Visualization of Biomedical Data – Shaping the Future and Building Bridges

Katja Bühler (VRVis - Wien, AT) • Barbora Kozlíková (Masaryk University - Brno, CZ) • Michael Krone (Universität Tübingen, DE) • Cagatay Turkay (University of Warwick - Coventry, GB)

Nov 05 – Nov 10, 2023 • Dagstuhl Seminar 23452

Human-AI Interaction for Work

Susanne Boll (Universität Oldenburg, DE) • Andrew Kun (University of New Hampshire - Durham, US) • Bastian Pfleging (TU Bergakademie Freiberg, DE) • Orit Shaer (Wellesley College, US)

Nov 12 – Nov 17, 2023 • Dagstuhl Seminar 23461

Space and Artificial Intelligence

Saso Dzeroski (Jozef Stefan Institute - Ljubljana, SI) • Holger H. Hoos (RWTH Aachen, DE) • Bertrand Le Saux (ESA - Frascati, IT) • Leon van der Torre (University of Luxembourg, LU)

Nov 12 – Nov 15, 2023 • Dagstuhl Seminar 23462

Defining and Fortifying Against Cognitive Vulnerabilities in Social Engineering

Yomna Abdelrahman (European Universities in Egypt - Cairo, EG) • Florian Alt (Universität der Bundeswehr München, DE) • Tilman Dingler (The University of Melbourne, AU) • Christopher Hadnagy (Social-Engineer - Orlando, US) • Abbie Maroño (Social-Engineer - Orlando, US)

Nov 15 – Nov 17, 2023 • Research Meeting 23463

Coalgebra Meets Automata Learning

Bart Jacobs (Radboud University Nijmegen, NL) • Stefan Milius (Universität Erlangen-Nürnberg, DE) • Thorsten Wißmann (Universität Erlangen-Nürnberg, DE)

Nov 15 – Nov 17, 2023 • Research Meeting 23464

Klausurtagung des FAU-Lehrstuhls für Programmiersysteme

Michael Philippsen (Universität Erlangen-Nürnberg, DE)

Nov 19 – Nov 24, 2023 • Dagstuhl Seminar 23471

The Next Generation of Deduction Systems: from Composition to Compositionality

Maria Paola Bonacina (University of Verona, IT) • Pascal Fontaine (University of Liège, BE) • Claudia Nalon (University of Brasília, BR) • Claudia Schon (Hochschule Trier, DE)

Nov 19 – Nov 24, 2023 • GI-Dagstuhl Seminar 23473

Human Factors in Model-Driven Engineering

Regina Hebig (Universität Rostock, DE) • Jil Klünder (Leibniz Universität Hannover, DE) • Grischa Liebel (Reykjavik University, IS)

Nov 26 – Dec 01, 2023 • Dagstuhl Seminar 23481

MAD: Microarchitectural Attacks and Defenses

Christopher W. Fletcher (University of Illinois - Urbana-Champaign, US) • Marco Guarnieri (IMDEA Software Institute - Madrid, ES) • David Kohlbrenner (University of Washington - Seattle, US) • Clémentine Maurice (CNRS - CRIStAL, Lille, FR)

Nov 26 – Dec 01, 2023 • Dagstuhl Seminar 23482

Social XR: The Future of Communication and Collaboration

Mark Billinghurst (University of South Australia - Adelaide, AU) • Pablo Cesar (CWI - Amsterdam, NL) • Mar Gonzalez-Franco (Google - Seattle, US) • Katherine Isbister (University of California at Santa Cruz, US) • Julie Williamson (University of Glasgow, GB)

Dec 03 – Dec 08, 2023 • Dagstuhl Seminar 23491

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

2023