Seminars and Dagstuhl Perspectives Workshops 2023:
January 8 – 13 , 2023, Dagstuhl Seminar 23021Media Forensics and the Challenge of Big DataIrene 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 |
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, 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 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 (ETH Zürich, CH), 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 (National University of Ireland – Maynooth, IE) | Top |
March 5 – 10 , 2023, Dagstuhl Seminar 23101Foundations of WebAssemblyKarthikeyan Bhargavan (INRIA – Paris, FR), Jonathan Protzenko (Microsoft – Redmond, US), Andreas Rossberg (Dfinity – Zürich, CH), 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 |
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 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 |
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), 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 (Microsoft Corporation – Redmond, US), Xia Zhou (Dartmouth College – Hanover, US), Marco Zimmerling (TU Dresden, 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 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 (Haifa University, IL), Barbara Weber (Universität St. Gallen, CH) | 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 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 |
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 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 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 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 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 |