TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Seminar Kalender

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


Diese WocheKommende Woche Gehe zu:
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)
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 (University of Lisbon, 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 (Fraunhofer FOKUS - 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) 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)
09. Jul – 14. Jul, 2023 • Forschungstreffen 23289
Framework Development for User-Centered-Design of AI-based Systems
Alexander Rossner (Hochschule Mainz, DE & Hochschule RheinMain - Wiesbaden, DE)
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 - Mannheim, 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, New Hampshire, US) Simon Hodson (CODATA - Paris, FR) Steven McEachern (Australian National University - Canberra, AU) 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
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)
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 (Università Bocconi - Milan, IT) 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)
29. Oct – 03. Nov, 2023 • Forschungstreffen 23443
Data-Efficient Artificial Intelligence
Sebastian Bast (Hochschule Trier, 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 (Social-Engineer - Orlando, US)
15. Nov – 17. Nov, 2023 • Forschungstreffen 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)
15. Nov – 17. Nov, 2023 • Forschungstreffen 23464
Klausurtagung des FAU-Lehrstuhls für Programmiersysteme
Michael Philippsen (Universität Erlangen-Nürnberg, DE)
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 Brasília, 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 and Amazon - Ann Arbor) 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 (Ruhr-Universität Bochum, DE) 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
Bernd Fröhlich (Nikolaus-von-Kues-Gymnasium - Bernkastel-Kues, 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 (Bildungscampus Saarland, DE) Michael Gerke (Schloss Dagstuhl - Saarbrücken, DE) Hannes Heusel (Eduard-Spranger Gymnasium Landau, DE & Pädagogisches Landesinstitut Rheinland-Pfalz, DE)
17. Dec – 21. Dec, 2023 • Forschungstreffen 23514
Machine Learning for Simulations and Scientific Discovery
Mathias Niepert (Universität Stuttgart, DE)
17. Dec – 20. Dec, 2023 • Forschungstreffen 23515
Kickoff-Retreat des Graduiertenkollegs 2853 "Neuroexplicit Models"
Alexander Koller (Universität des Saarlandes, DE) Tobias Renghart (Universität des Saarlandes, DE)
17. Dec – 21. Dec, 2023 • Forschungstreffen 23516
Formalising the Notion of Algorithm
Alberto Naibo (Paris I University and CNRS, FR) Thomas Seiller (CNRS - Villetaneuse, FR)
18. Dec – 19. Dec, 2023 • Forschungstreffen 23513
Klausurtagung der Promovierenden des FB Informatik, TU Kaiserslautern
Annette Bieniusa (RPTU - Kaiserslautern, DE)