Alle Veranstaltungen 2023:



08. – 13. Januar 2023, Dagstuhl-Seminar 23021

Media Forensics and the Challenge of Big Data


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

Top

08. – 13. Januar 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)

Top

15. – 20. Januar 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)

Top

22. – 27. Januar 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 (Adventium Labs – Minneapolis, US)

Top

22. – 25. Januar 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 (Indian Institute of Techology, IN), Alexander Raake (TU Ilmenau, DE)

Top

29. Januar – 03. Februar 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)

Top

05. – 10. Februar 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)

Top

12. – 17. Februar 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)

Top

12. – 17. Februar 2023, Dagstuhl-Seminar 23072

Challenges and Perspectives in Deep Generative Modeling


Vincent Fortuin (ETH Zürich, CH), Yingzhen Li (Imperial College London, GB), Stephan Mandt (University of California – Irvine, US), Kevin Murphy (Google – Mountain View, US)

Top

19. – 24. Februar 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)

Top

26. Februar – 03. März 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 (National University of Ireland – Maynooth, IE)

Top

05. – 10. März 2023, Dagstuhl-Seminar 23101

Foundations of WebAssembly


Karthikeyan Bhargavan (INRIA – Paris, FR), Jonathan Protzenko (Microsoft – Redmond, US), Andreas Rossberg (Dfinity – Zürich, CH), Deian Stefan (University of California – San Diego, US)

Top

12. – 17. März 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)

Top

12. – 15. März 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)

Top

19. – 24. März 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)

Top

19. – 24. März 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 (Baylor College of Medicine – Houston, US)

Top

26. – 31. März 2023, Dagstuhl-Seminar 23131

Software Bug Detection: Challenges and Synergies


Marcel Böhme (MPI-SP – Bochum, DE and Monash University – Melbourne, AU), Maria Christakis (MPI-SWS – Kaiserslautern, DE), Rohan Padhye (Carnegie Mellon University – Pittsburgh, US), Kostya Serebryany (Google – Mountain View, US), Andreas Zeller (CISPA – Saarbrücken, DE)

Top

10. – 14. April 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)

Top

16. – 21. April 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)

Top

16. – 21. April 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)

Top

23. – 28. April 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)

Top

01. – 05. Mai 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)

Top

01. – 04. Mai 2023, Dagstuhl-Seminar 23182

Lessons learned from 40+ years of the Internet


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

Top

07. – 12. Mai 2023, Dagstuhl-Seminar 23191

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics


Timothy Baldwin (The University of Melbourne, AU), William Croft (University of New Mexico – Alburquerque, US), Joakim Nivre (Uppsala University, SE), Agata Savary (University Paris-Saclay – Orsay, FR)

Top

07. – 12. Mai 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 (University of Utah – Salt Lake City, US)

Top

14. – 17. Mai 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)

Top

21. – 26. Mai 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)

Top

21. – 26. Mai 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)

Top

29. Mai – 02. Juni 2023, Dagstuhl-Seminar 23221

Computational Geometry


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

Top

29. Mai – 01. Juni 2023, Dagstuhl-Seminar 23222

Novel Scenarios for the Wireless Internet of Things


Kyle Jamieson (Princeton University, US), Longfei Shangguan (Microsoft Corporation – Redmond, US), Xia Zhou (Dartmouth College – Hanover, US), Marco Zimmerling (TU Dresden, DE)

Top

11. – 16. Juni 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)

Top

18. – 23. Juni 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)

Top

25. – 30. Juni 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)

Top

02. – 07. Juli 2023, Dagstuhl-Seminar 23271

Human in the (Process) Mines


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

Top

09. – 14. Juli 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)

Top

16. – 21. Juli 2023, Dagstuhl-Seminar 23291

Parameterized Approximation: Algorithms and Hardness


Karthik C. S. (Rutgers University – New Brunswick, US), Parinya Chalermsook (Aalto University, FI), Joachim Spoerhase (MPI für Informatik – Saarbrücken, DE), Meirav Zehavi (Ben Gurion University – Beer Sheva, IL)

Top

23. – 28. Juli 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)

Top

13. – 18. August 2023, Dagstuhl-Seminar 23331

Recent Trends in Graph Decomposition


Seher Acer (Oak Ridge National Laboratory, US), George Karypis (University of Minnesota – Minneapolis, US), Christian Schulz (Universität Heidelberg, DE), Darren Strash (Hamilton College – Clinton, US)

Top

20. – 25. August 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 – Edinburgh, GB), Claire Maiza (University of Grenoble, FR), Georg von der Brüggen (TU Dortmund, DE)

Top

27. August – 01. September 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 Passau, DE)

Top

03. – 08. September 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)

Top

10. – 15. September 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)

Top

17. – 22. September 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)

Top

24. – 29. September 2023, Dagstuhl-Seminar 23391

The Futures of Reactive Synthesis


Nathanael Fijalkow (University of Bordeaux, FR), Bernd Finkbeiner (CISPA – Saarbrücken, DE), Guillermo A. Pérez (University of Antwerp, BE), Elizabeth Polgreen (University of Edinburgh, GB)

Top

24. – 29. September 2023, Event 23393

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


Arofan Gregory (DDI Alliance / CODATA, US), Simon Hodson (CODATA – Paris, FR), Hilde Orten (SIKT – Bergen, NO), Joachim Wackerow (Ludwigshafen, DE)

Top

01. – 06. Oktober 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 of Paris Sud – Orsay, FR)

Top

01. – 06. Oktober 2023, Event 23403

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


Arofan Gregory (DDI Alliance / CODATA, US), Simon Hodson (CODATA – Paris, FR), Hilde Orten (SIKT – Bergen, NO), Joachim Wackerow (Ludwigshafen, DE)

Top

08. – 13. Oktober 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)

Top

15. – 20. Oktober 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)

Top