Seminar Kalender
2023
03. Jan
– 05. Jan, 2023
• Forschungstreffen 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)
08. Jan
– 13. Jan, 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)
08. Jan
– 13. Jan, 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)
15. Jan
– 20. Jan, 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)
15. Jan
– 18. Jan, 2023
• Forschungstreffen 23033
Game Measures and Player Experience
Cameron Browne (Maastricht University, NL) • Alena Denisova (University of York, GB) • Vanessa Volz (modl.ai - Copenhagen, DK)
22. Jan
– 27. Jan, 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)
22. Jan
– 25. Jan, 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)
26. Jan
– 27. Jan, 2023
• Forschungstreffen 23043
Scientific Directorate Meeting
Raimund Seidel (Universität des Saarlandes - Saarbrücken, DE)
29. Jan
– 03. Feb, 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)
30. Jan
– 03. Feb, 2023
• Forschungstreffen 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)
30. Jan
– 02. Feb, 2023
• Forschungstreffen 23054
Doktorandenseminar des Labor Business Programming (FH Aachen)
Lars Klöser (FH Aachen - Jülich, DE) • Bodo Kraft (FH Aachen - Jülich, DE)
05. Feb
– 10. Feb, 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)
05. Feb
– 10. Feb, 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)
12. Feb
– 17. Feb, 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)
12. Feb
– 17. Feb, 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)
19. Feb
– 24. Feb, 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)
19. Feb
– 24. Feb, 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)
26. Feb
– 03. Mar, 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)
26. Feb
– 03. Mar, 2023
• Dagstuhl-Perspektiven-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)
05. Mar
– 10. Mar, 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)
05. Mar
– 10. Mar, 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)
12. Mar
– 17. Mar, 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)
12. Mar
– 15. Mar, 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)
19. Mar
– 24. Mar, 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)
19. Mar
– 24. Mar, 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)
26. Mar
– 31. Mar, 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)
26. Mar
– 31. Mar, 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)
30. Mar
– 02. Apr, 2023
• Forschungstreffen 23139
Forschungsaufenthalt zur Vorbereitung auf "Ontologie, Linguistik, Terminologie, Logik (olitelo): Forschung trifft Praxis" (23144)
Christian Fillies (Semtation GmbH - Potsdam, DE)
02. Apr
– 04. Apr, 2023
• Forschungstreffen 23143
GIBU 2023: GI-Beirat der Universitätsprofessor*innen
Lars Grunske (HU Berlin, DE)
02. Apr
– 05. Apr, 2023
• Forschungstreffen 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)
10. Apr
– 14. Apr, 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)
10. Apr
– 13. Apr, 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)
16. Apr
– 21. Apr, 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)
16. Apr
– 21. Apr, 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)
23. Apr
– 28. Apr, 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)
24. Apr
– 26. Apr, 2023
• Forschungstreffen 23174
Klausurtagung 2023 Forschungsgruppe Internet Architecture (INET)
Iris Wagner (MPI für Informatik - Saarbrücken, DE)
26. Apr
– 28. Apr, 2023
• Forschungstreffen 23173
Klausurtagung der Arbeitsgruppe Algorithm Engineering (KIT)
Florian Kurpicz (KIT - Karlsruher Institut für Technologie, DE)
01. May
– 05. May, 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)
01. May
– 04. May, 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)
04. May
– 05. May, 2023
• Forschungstreffen 23183
Kick-off meeting DFG FOR 5359
Marius Kloft (RPTU - Kaiserslautern, DE)
07. May
– 12. May, 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)
07. May
– 12. May, 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)
14. May
– 17. May, 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)
14. May
– 17. May, 2023
• Forschungstreffen 23203
Kolloquium zum GI-Dissertationspreis 2022
Rüdiger Reischuk (Universität zu Lübeck, DE)
21. May
– 26. May, 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)
21. May
– 26. May, 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)
29. May
– 02. Jun, 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)
29. May
– 01. Jun, 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)
04. Jun
– 07. Jun, 2023
• Forschungstreffen 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)
11. Jun
– 16. Jun, 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)
11. Jun
– 16. Jun, 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)
18. Jun
– 23. Jun, 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)
18. Jun
– 23. Jun, 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)
25. Jun
– 30. Jun, 2023
• Dagstuhl-Seminar 23261
SAT Encodings and Beyond
Marijn J. H. Heule (Carnegie Mellon University - Pittsburgh, US) • Inês Lynce (Technical University of Lisboa, PT) • Stefan Szeider (TU Wien, AT) • Neng-Fa Zhou (Brooklyn College, US)
28. Jun
– 30. Jun, 2023
• Forschungstreffen 23263
Applied Machine Intelligence 2023
Johannes Busse (HAW Landshut, DE) • Thomas Hoppe (Hochschule für Technik und Wirtschaft - Berlin, DE) • Bernhard Humm (Hochschule Darmstadt, DE)
02. Jul
– 07. Jul, 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)
02. Jul
– 07. Jul, 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)
09. Jul
– 14. Jul, 2023
• Dagstuhl-Seminar 23281
Theoretical Advances and Emerging Applications in Abstract Interpretation
Arie Gurfinkel (University of Waterloo, CA) • Francesco Logozzo (Facebook - Seattle, US) • Isabella Mastroeni (University of Verona, IT) • Antoine Miné (Sorbonne University - Paris, FR) • Peter Müller (ETH Zürich, CH)
09. Jul
– 13. Jul, 2023
• Fortbildung 23283
Summer School "Data Management Techniques"
Goetz Graefe (Google - Madison, US)
16. Jul
– 21. Jul, 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)
16. Jul
– 21. Jul, 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)
23. Jul
– 28. Jul, 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)
23. Jul
– 28. Jul, 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 - Ladenburg, DE) • Liming Zhu (Data61, CSIRO - Sydney, AU)
13. Aug
– 18. Aug, 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)
13. Aug
– 18. Aug, 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)
20. Aug
– 25. Aug, 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)
20. Aug
– 25. Aug, 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)
27. Aug
– 01. Sep, 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)
27. Aug
– 01. Sep, 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)
03. Sep
– 08. Sep, 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)
03. Sep
– 08. Sep, 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)
10. Sep
– 15. Sep, 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)
10. Sep
– 15. Sep, 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)
17. Sep
– 22. Sep, 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)
17. Sep
– 22. Sep, 2023
• Fortbildung 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)
24. Sep
– 29. Sep, 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)
24. Sep
– 29. Sep, 2023
• Forschungstreffen 23393
DDI-CDI: Realising interoperable data services in the metadata ecosystem
Arofan Gregory (DDI Alliance / CODATA - Jaffrey, US) • Simon Hodson (CODATA - Paris, FR) • Hilde Orten (SIKT - Bergen, NO) • Joachim Wackerow (Ludwigshafen, DE)
01. Oct
– 06. Oct, 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)
01. Oct
– 06. Oct, 2023
• Forschungstreffen 23403
Defining a core metadata framework for cross-domain data sharing and reuse
Arofan Gregory (DDI Alliance / CODATA - Jaffrey, US) • Simon Hodson (CODATA - Paris, FR) • Hilde Orten (SIKT - Bergen, NO) • Joachim Wackerow (Ludwigshafen, DE)
08. Oct
– 13. Oct, 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)
08. Oct
– 11. Oct, 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)
15. Oct
– 20. Oct, 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)
15. Oct
– 20. Oct, 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 (TU Eindhoven, NL) • Thatchaphol Saranurak (University of Michigan - Ann Arbor, US)
22. Oct
– 27. Oct, 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)
22. Oct
– 25. Oct, 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)
25. Oct
– 27. Oct, 2023
• Forschungstreffen 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)
29. Oct
– 03. Nov, 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)
29. Oct
– 03. Nov, 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)
05. Nov
– 10. Nov, 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)
05. Nov
– 10. Nov, 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)
12. Nov
– 17. Nov, 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)
12. Nov
– 15. Nov, 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 (University of Northampton, GB)
19. Nov
– 24. Nov, 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 Brasilia, BR) • Claudia Schon (Hochschule Trier, DE)
19. Nov
– 24. Nov, 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)
26. Nov
– 01. Dec, 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)
26. Nov
– 01. Dec, 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)
03. Dec
– 08. Dec, 2023
• Dagstuhl-Seminar 23491
Scalable Graph Mining and Learning
Nesreen Ahmed (Intel - San Jose, US) • Danai Koutra (University of Michigan - Ann Arbor, US) • Henning Meyerhenke (HU Berlin, DE) • Ilya Safro (University of Delaware - Newark, US)
03. Dec
– 08. Dec, 2023
• Dagstuhl-Seminar 23492
Model Learning for Improved Trustworthiness in Autonomous Systems
Ellen Enkel (Universität Duisburg-Essen, DE) • Nils Jansen (Radboud University Nijmegen, NL) • Mohammad Reza Mousavi (King's College London, GB) • Kristin Yvonne Rozier (Iowa State University - Ames, US)
12. Dec
– 13. Dec, 2023
• Forschungstreffen 23504
Redaktionssitzung inf-schule.de
Hannes Heusel (Eduard-Spranger Gymnasium Landau, DE & Pädagogisches Landesinstitut Rheinland-Pfalz, DE)
13. Dec
– 15. Dec, 2023
• Fortbildung 23503
Lehrerfortbildung in Informatik
Sebastian Connette (Landesinstitut f. Pädagogik & Medien - Saarbrücken, DE) • Michael Gerke (Schloss Dagstuhl - Saarbrücken, DE) • Hannes Heusel (Eduard-Spranger Gymnasium Landau, DE & Pädagogisches Landesinstitut Rheinland-Pfalz, DE)
18. Dec
– 19. Dec, 2023
• Forschungstreffen 23513
Klausurtagung der Promovierenden des FB Informatik, TU Kaiserslautern
Annette Bieniusa (RPTU - Kaiserslautern, DE)
18. Dec
– 20. Dec, 2023
• Forschungstreffen 23514
