TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Seminar Calendar

2025   2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990  

2023


Scroll to CurrentScroll to Upcoming Directly go to:
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)
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
Scalable Graph Mining and Learning
Nesreen Ahmed (Intel - San Jose, US) Danai Koutra (University of Michigan and Amazon - Ann Arbor) Henning Meyerhenke (HU Berlin, DE) Ilya Safro (University of Delaware - Newark, US)
Dec 03 – Dec 08, 2023 • Dagstuhl Seminar 23492
Model Learning for Improved Trustworthiness in Autonomous Systems
Ellen Enkel (Universität Duisburg-Essen, DE) Nils Jansen (Ruhr-Universität Bochum, DE) Mohammad Reza Mousavi (King's College London, GB) Kristin Yvonne Rozier (Iowa State University - Ames, US)
Dec 12 – Dec 13, 2023 • Research Meeting 23504
Redaktionssitzung inf-schule.de
Bernd Fröhlich (Nikolaus-von-Kues-Gymnasium - Bernkastel-Kues, DE) Hannes Heusel (Eduard-Spranger Gymnasium Landau, DE & Pädagogisches Landesinstitut Rheinland-Pfalz, DE)
Dec 13 – Dec 15, 2023 • Advanced Training 23503
Lehrerfortbildung in Informatik
Sebastian Connette (Bildungscampus Saarland, DE) Michael Gerke (Schloss Dagstuhl - Saarbrücken, DE) Hannes Heusel (Eduard-Spranger Gymnasium Landau, DE & Pädagogisches Landesinstitut Rheinland-Pfalz, DE)
Dec 17 – Dec 21, 2023 • Research Meeting 23514
Machine Learning for Simulations and Scientific Discovery
Mathias Niepert (Universität Stuttgart, DE)
Dec 17 – Dec 20, 2023 • Research Meeting 23515
Kickoff-Retreat des Graduiertenkollegs 2853 "Neuroexplicit Models"
Alexander Koller (Universität des Saarlandes, DE) Tobias Renghart (Universität des Saarlandes, DE)
Dec 17 – Dec 21, 2023 • Research Meeting 23516
Formalising the Notion of Algorithm
Alberto Naibo (Paris I University and CNRS, FR) Thomas Seiller (CNRS - Villetaneuse, FR)
Dec 18 – Dec 19, 2023 • Research Meeting 23513
Klausurtagung der Promovierenden des FB Informatik, TU Kaiserslautern
Annette Bieniusa (RPTU - Kaiserslautern, DE)