January 8 – 13 , 2023, Dagstuhl Seminar 23021Media Forensics and the Challenge of Big DataIrene Amerini (Sapienza University of Rome, IT), Anderson Rocha (State University – Campinas, BR), Paul L. Rosin (Cardiff University, GB), Xianfang Sun (Cardiff University, GB) | Top |
January 8 – 13 , 2023, Dagstuhl Seminar 23022Inverse Biophysical Modeling and Machine Learning in Personalized OncologyGeorge 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 |
January 15 – 20 , 2023, Dagstuhl Seminar 23031Frontiers of Information Access Experimentation for Research and EducationChristine 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 |
January 22 – 27 , 2023, Dagstuhl Seminar 23041Integrated Rigorous Analysis in Cyber-Physical Systems EngineeringErika Abraham (RWTH Aachen University, DE), Stefan Hallerstede (Aarhus University, DK), John Hatcliff (Kansas State University – Manhattan, US), Danielle Stewart (Adventium Labs – Minneapolis, US) | Top |
January 22 – 25 , 2023, Dagstuhl Seminar 23042Quality of Sustainable Experience (QoSE)Katrien De Moor (NTNU – Trondheim, NO), Markus Fiedler (Blekinge Institute of Technology – Karlshamn, SE), Ashok Jhunjhunwala (Indian Institute of Techology Madras, IN), Alexander Raake (TU Ilmenau, DE) | Top |
January 29 – February 3 , 2023, Dagstuhl Seminar 23051Perception in Network VisualizationKarsten 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 |
February 5 – 10 , 2023, Dagstuhl Seminar 23061SchedulingNicole 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 |
February 5 – 10 , 2023, Dagstuhl Seminar 23062Programming Language ProcessingMichael Pradel (Universität Stuttgart, DE), Baishakhi Ray (Columbia University – New York, US), Charles Sutton (Google – Mountain View, US), Eran Yahav (Technion – Haifa, IL) | Top |
February 12 – 17 , 2023, Dagstuhl Seminar 23071From Big Data Theory to Big Data PracticeMartin 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 |
February 12 – 17 , 2023, Dagstuhl Seminar 23072Challenges and Perspectives in Deep Generative ModelingVincent Fortuin (University of Cambridge, GB), Yingzhen Li (Imperial College London, GB), Stephan Mandt (University of California – Irvine, US), Kevin Murphy (Google – Mountain View, US) | Top |
February 19 – 24 , 2023, Dagstuhl Seminar 23081Agents on the WebOlivier 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 |
February 26 – March 3 , 2023, Dagstuhl Seminar 23091Algorithmic Foundations of Programmable MatterAaron 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) | Top |
March 5 – 10 , 2023, Dagstuhl Seminar 23101Foundations of WebAssemblyKarthikeyan Bhargavan (INRIA – Paris, FR), Jonathan Protzenko (Microsoft – Redmond, US), Andreas Rossberg (München, DE), Deian Stefan (University of California – San Diego, US) | Top |
March 12 – 17 , 2023, Dagstuhl Seminar 23111Computational Complexity of Discrete ProblemsAnna 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 |
March 12 – 15 , 2023, Dagstuhl Seminar 23112Unifying Formal Methods for Trustworthy Distributed SystemsSwen 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 |
March 19 – 24 , 2023, Dagstuhl Seminar 23121Pattern Avoidance, Statistical Mechanics and Computational ComplexityDavid 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 |
March 19 – 24 , 2023, Dagstuhl Seminar 23122Deep Continual LearningBing 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 |
March 26 – 31 , 2023, Dagstuhl Seminar 23131Software Bug Detection: Challenges and SynergiesMarcel 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 |
March 26 – 31 , 2023, Dagstuhl Seminar 23132AI-Augmented Facilities: Bridging Experiment and Simulation with MLPeer-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) | Top |
April 10 – 14 , 2023, Dagstuhl Seminar 23151Normative Reasoning for AIAgata 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 |
April 10 – 13 , 2023, Dagstuhl Seminar 23152Secure and Efficient Post-Quantum Cryptography on HW and HW/SW PlatformsThomas Pöppelmann (Infineon Technologies AG – Neubiberg, DE), Sujoy Sinha Roy (TU Graz, AT), Ingrid Verbauwhede (KU Leuven, BE) | Top |
April 16 – 21 , 2023, Dagstuhl Seminar 23161Pushing the Limits of Computational Combinatorial ConstructionsLucia Moura (University of Ottawa, CA), Anamari Nakic (University of Zagreb, HR), Patric Östergård (Aalto University, FI), Alfred Wassermann (Universität Bayreuth, DE) | Top |
April 16 – 21 , 2023, Dagstuhl Seminar 23162New Frontiers of Parameterized Complexity in Graph DrawingRobert 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 |
April 23 – 28 , 2023, Dagstuhl Seminar 23171Driving HPC Operations With Holistic Monitoring and Operational Data AnalyticsFlorina 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 |
April 23 – 26 , 2023, Dagstuhl Seminar 23172Formal Methods for Correct Persistent ProgrammingOri Lahav (Tel Aviv University, IL), Azalea Raad (Imperial College London, GB), Joseph Tassarotti (Boston College, US), Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE) | Top |
May 1 – 5 , 2023, Dagstuhl Seminar 23181Empirical Evaluation of Secure Development ProcessesEric 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 |
May 1 – 4 , 2023, Dagstuhl Seminar 23182Lessons Learned From 40+ Years of the InternetJari 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 |
May 7 – 12 , 2023, Dagstuhl Seminar 23191Universals of Linguistic Idiosyncrasy in Multilingual Computational LinguisticsTimothy 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 |
May 7 – 12 , 2023, Dagstuhl Seminar 23192Topological Data Analysis and ApplicationsUlrich Bauer (TU München, DE), Vijay Natarajan (Indian Institute of Science – Bangalore, IN), Bei Wang (University of Utah – Salt Lake City, US) | Top |
May 14 – 17 , 2023, Dagstuhl Seminar 23202Regular TransformationsRajeev Alur (University of Pennsylvania – Philadelphia, US), Mikolaj Bojanczyk (University of Warsaw, PL), Emmanuel Filiot (UL – Brussels, BE), Anca Muscholl (University of Bordeaux, FR) | Top |
May 21 – 26 , 2023, Dagstuhl Seminar 23211Scalable Data StructuresGerth 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 |
May 21 – 26 , 2023, Dagstuhl Seminar 23212Designing the Human-Machine SymbiosisEllen 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 |
May 29 – June 2 , 2023, Dagstuhl Seminar 23221Computational GeometrySiu-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) | Top |
May 29 – June 1 , 2023, Dagstuhl Seminar 23222Novel Scenarios for the Wireless Internet of ThingsKyle Jamieson (Princeton University, US), Longfei Shangguan (University of Pittsburgh, US), Xia Zhou (Columbia University – New York, US), Marco Zimmerling (Universität Freiburg, DE) | Top |
June 11 – 16 , 2023, Dagstuhl Seminar 23241Scalable Analysis of Probabilistic Models and ProgramsSebastian Junges (Radboud University Nijmegen, NL), Joost-Pieter Katoen (RWTH Aachen, DE), Scott Sanner (University of Toronto, CA), Guy Van den Broeck (UCLA, US) | Top |
June 11 – 16 , 2023, Dagstuhl Seminar 23242Privacy Protection of Automated and Self-Driving VehiclesFrank 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) | Top |
June 18 – 23 , 2023, Dagstuhl Seminar 23251Challenges in Benchmarking Optimization HeuristicsAnne 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 |
June 25 – 30 , 2023, Dagstuhl Seminar 23261SAT Encodings and BeyondMarijn 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 |
July 2 – 7 , 2023, Dagstuhl Seminar 23271Human in the (Process) MinesClaudio 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) | Top |
July 2 – 7 , 2023, Dagstuhl Seminar 23272Epistemic and Topological Reasoning in Distributed SystemsArmando Castaneda (National Autonomous University of Mexico, MX), Yoram Moses (Technion – Haifa, IL), Ulrich Schmid (TU Wien, AT), Hans Van Ditmarsch (Open University – Heerlen, NL) | Top |
July 9 – 14 , 2023, Dagstuhl Seminar 23281Theoretical Advances and Emerging Applications in Abstract InterpretationArie 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 |
July 16 – 21 , 2023, Dagstuhl Seminar 23291Parameterized Approximation: Algorithms and HardnessKarthik 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 |
July 16 – 21 , 2023, Dagstuhl Seminar 23292SportsHCICarine Lallemand (TU Eindhoven, NL), Florian 'Floyd' Mueller (Monash University – Clayton, AU), Dennis Reidsma (University of Twente – Enschede, NL), Elise van den Hoven (University of Technology – Sydney, AU) | Top |
July 23 – 28 , 2023, Dagstuhl Seminar 23301Computational ProteomicsRebekah Gundry (University of Nebraska – Omaha, US), Lennart Martens (Ghent University, BE), Magnus Palmblad (Leiden University Medical Center, NL) | Top |
July 23 – 28 , 2023, Dagstuhl Seminar 23302Software Architecture and Machine LearningGrace 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) | Top |
August 13 – 18 , 2023, Dagstuhl Seminar 23331Recent Trends in Graph DecompositionSeher 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 |
August 13 – 18 , 2023, Dagstuhl Seminar 23332Synergizing Theory and Practice of Automated Algorithm Design for OptimizationMartin S. Krejca (Sorbonne University – Paris, FR), Marius Lindauer (Leibniz Universität Hannover, DE), Manuel López-Ibáñez (University of Málaga, ES), Katherine M. Malan (UNISA – Pretoria, ZA) | Top |
August 20 – 25 , 2023, Dagstuhl Seminar 23341Functionally Safe Multi-Core SystemsIain 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 |
August 20 – 25 , 2023, Dagstuhl Seminar 23342Computational Geometry of Earth System AnalysisSusanne Crewell (Universität Köln, DE), Anne Driemel (Universität Bonn, DE), Jeff M. Phillips (University of Utah – Salt Lake City, US) | Top |
August 27 – September 1 , 2023, Dagstuhl Seminar 23351Algorithms and Complexity for Continuous ProblemsDmitriy 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 |
September 3 – 8 , 2023, Dagstuhl Seminar 23361Multiobjective Optimization on a BudgetRichard 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 |
September 3 – 8 , 2023, Dagstuhl Seminar 23362Decision-Making Techniques for Smart Semiconductor ManufacturingChen-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) | Top |
September 10 – 15 , 2023, Dagstuhl Seminar 23371Roadmap for Responsible RoboticsMichael Fisher (University of Manchester, GB), Seth Lazar (Australian National University – Canberra, AU), Marija Slavkovik (University of Bergen, NO), Astrid Weiss (TU Wien, AT) | Top |
September 10 – 15 , 2023, Dagstuhl Seminar 23372Human-Centered Approaches for Provenance in Automated Data ScienceAnamaria Crisan (Tableau Software – Palo Alto, US), Lars Kotthoff (University of Wyoming – Laramie, US), Marc Streit (Johannes Kepler Universität Linz, AT), Kai Xu (University of Nottingham, GB) | Top |
September 17 – 22 , 2023, Dagstuhl Seminar 23381Visualization and the Humanities: Towards a Shared Research AgendaJohanna 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 |
September 24 – 29 , 2023, Dagstuhl Seminar 23391The Futures of Reactive SynthesisNathanael 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 |
October 1 – 6 , 2023, Dagstuhl Seminar 23401Automated mathematics: integrating proofs, algorithms and dataAndrej 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 |
October 8 – 13 , 2023, Dagstuhl Seminar 23411Accountable Software SystemsBettina 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 |
October 15 – 20 , 2023, Dagstuhl Seminar 23421Quantum CryptanalysisGorjan 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 |
October 15 – 20 , 2023, Dagstuhl Seminar 23422Graph Algorithms: Cuts, Flows, and Network DesignJason 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) | Top |
October 29 – November 3 , 2023, Dagstuhl Seminar 23441Ensuring the Reliability and Robustness of Database Management SystemsAlexander Böhm (Google – Frankfurt am Main, DE), Hannes Mühleisen (CWI – Amsterdam, NL), Danica Porobic (Oracle Switzerland – Zürich, CH), Manuel Rigger (National University of Singapore, SG) | Top |
November 5 – 10 , 2023, Dagstuhl Seminar 23451Visualization of Biological Data - Shaping the Future and Building BridgesKatja 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) | Top |
November 12 – 17 , 2023, Dagstuhl Seminar 23461Space and Artificial IntelligenceSaso Dzeroski (Jozef Stefan Institute – Ljubljana, SI), Holger H. Hoos (Leiden University, NL), Bertrand Le Saux (ESA/ ISRIN – Frascati, IT), Leon van der Torre (University of Luxembourg, LU) | Top |
November 19 – 24 , 2023, Dagstuhl Seminar 23471The Next Generation of Deduction Systems: from Composition to CompositionalityMaria Paola Bonacina (University of Verona, IT), Pascal Fontaine (University of Liège, BE), Claudia Nalon (University of Brasilia, BR), Claudia Schon (Universität Koblenz-Landau, DE) | Top |
November 26 – December 1 , 2023, Dagstuhl Seminar 23481MAD: Microarchitectural Attacks and DefensesChristopher W. Fletcher (University of Illinois – Urbana-Champaign, US), Marco Guarnieri (IMDEA Software – Madrid, ES), David Kohlbrenner (University of Washington – Seattle, US), Clémentine Maurice (INRIA Lille, FR) | Top |
December 3 – 8 , 2023, Dagstuhl Seminar 23491Scalable Graph Mining and LearningNesreen K. Ahmed (Intel – Santa Clara, US), Danai Koutra (University of Michigan – Ann Arbor, US), Henning Meyerhenke (HU Berlin, DE), Ilya Safro (University of Delaware – Newark, US) | Top |