Seminare und Dagstuhl-Perspektiven-Workshops 2020:
05. – 10. Januar 2020, Dagstuhl-Seminar 20021Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical InteractionLaurence Devillers (CNRS – Orsay, FR), Tatsuya Kawahara (Kyoto University, JP), Roger K. Moore (University of Sheffield, GB), Matthias Scheutz (Tufts University – Medford, US) | Top |
12. – 17. Januar 2020, Dagstuhl-Seminar 20031Scalability in Multiobjective OptimizationCarlos M. Fonseca (University of Coimbra, PT), Kathrin Klamroth (Universität Wuppertal, DE), Günter Rudolph (TU Dortmund, DE), Margaret M. Wiecek (Clemson University, US) | Top |
19. – 24. Januar 2020, Dagstuhl-Seminar 20041Symmetric CryptographyNils Gregor Leander (Ruhr-Universität Bochum, DE), Kaisa Nyberg (Aalto University, FI), Kan Yasuda (NTT – Tokyo, JP) | Top |
26. – 31. Januar 2020, Dagstuhl-Seminar 20051Computational Metabolomics: From Cheminformatics to Machine LearningSebastian Böcker (Universität Jena, DE), Corey Broeckling (Colorado State University – Fort Collins, US), Emma Schymanski (University of Luxembourg, LU), Nicola Zamboni (ETH Zürich, CH) | Top |
02. – 07. Februar 2020, Dagstuhl-Seminar 20061SAT and InteractionsOlaf Beyersdorff (Universität Jena, DE), Uwe Egly (TU Wien, AT), Meena Mahajan (Institute of Mathematical Sciences – Chennai, IN), Claudia Nalon (University of Brasilia, BR) | Top |
09. – 14. Februar 2020, Dagstuhl-Seminar 20071Foundations of Composite Event RecognitionAlexander Artikis (NCSR Demokritos – Athens, GR), Thomas Eiter (TU Wien, AT), Alessandro Margara (Polytechnic University of Milan, IT), Stijn Vansummeren (Free University of Brussels, BE) | Top |
16. – 21. Februar 2020, Dagstuhl-Seminar 20081SchedulingNicole Megow (Universität Bremen, DE), David Shmoys (Cornell University – Ithaca, US), Ola Svensson (EPFL – Lausanne, CH) | Top |
23. – 28. Februar 2020, Dagstuhl-Seminar 20091SE4ML - Software Engineering for AI-ML-based SystemsKristian Kersting (TU Darmstadt, DE), Miryung Kim (UCLA, US), Guy Van den Broeck (UCLA, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US) | Top |
01. – 06. März 2020, Dagstuhl-Seminar 20101Resiliency in Numerical Algorithm Design for Extreme Scale SimulationsLuc Giraud (INRIA – Bordeaux, FR), Ulrich Rüde (Universität Erlangen-Nürnberg, DE), Linda Stals (Australian National University – Canberra, AU) | Top |
08. – 13. März 2020, Dagstuhl-Seminar 20111Tensor Computations: Applications and OptimizationPaolo Bientinesi (University of Umeå, SE), Furong Huang (University of Maryland – College Park, US), Paul H. J. Kelly (Imperial College London, GB), P. (Saday) Sadayappan (University of Utah – Salt Lake City, US) | Top |
08. – 11. März 2020, Dagstuhl-Seminar 20112Compute-First Networking POSTPONEDJon Crowcroft (University of Cambridge, GB), Philip Eardley (BT Applied Research – Ipswich, GB), Dirk Kutscher (FH Emden, DE), Eve M. Schooler (Intel – Santa Clara, US) | Top |
15. – 20. März 2020, Dagstuhl-Seminar 20121Sparsity in Algorithms, Combinatorics and Logic POSTPONEDDaniel Král' (Masaryk University – Brno, CZ), Michal Pilipczuk (University of Warsaw, PL), Sebastian Siebertz (Universität Bremen, DE), Blair D. Sullivan (University of Utah – Salt Lake City, US) | Top |
22. – 27. März 2020, Dagstuhl-Seminar 20131Static Methods for Correctness of Model and Program Transformations POSTPONEDSebastian Erdweg (Universität Mainz, DE), Thomas Jensen (INRIA – Rennes, FR), Sam Tobin-Hochstadt (Indiana University – Bloomington, US), Andrzej Wasowski (IT University of Copenhagen, DK) | Top |
22. – 27. März 2020, Dagstuhl-Seminar 20132The Renaissance of Information Hiding POSTPONEDRainer Böhme (Universität Innsbruck, AT), Stefan Katzenbeisser (Universität Passau, DE), Jakub Szefer (Yale University – New Haven, US), Carmela Troncoso (EPFL – Lausanne, CH) | Top |
29. März – 03. April 2020, Dagstuhl-Seminar 20141Managing Industrial Control Systems Security Risks for Cyber Insurance POSTPONEDSimon Dejung (SCOR – Zürich, CH), Mingyan Liu (University of Michigan – Ann Arbor, US), Arndt Lüder (Universität Magdeburg, DE), Edgar Weippl (Universität Wien & SBA Research – Wien, AT) | Top |
29. März – 03. April 2020, Dagstuhl-Seminar 20142Resilient Software Configuration and Infrastructure Code Analysis POSTPONEDJürgen Cito (MIT – Cambridge, US), Ruzica Piskac (Yale University – New Haven, US), Andy Zaidman (TU Delft, NL), Yuanyuan Zhou (University of California – San Diego, US) | Top |
13. – 17. April 2020, Dagstuhl-Seminar 20161Descriptive Set Theory and Computable Topology POSTPONEDMathieu Hoyrup (LORIA & INRIA Nancy, FR), Arno Pauly (Swansea University, GB), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Mariya I. Soskova (University of Wisconsin – Madison, US) | Top |
19. – 24. April 2020, Dagstuhl-Seminar 20171Visualization of Biological Data - From Analysis to Communication POSTPONEDKarsten Klein (Universität Konstanz, DE), Georgeta Elisabeta Marai (University of Illinois – Chicago, US), Kay Katja Nieselt (Universität Tübingen, DE), Blaz Zupan (University of Ljubljana, SI) | Top |
19. – 24. April 2020, Dagstuhl-Seminar 20172Representing and Solving Spatial Problems POSTPONEDPedro Cabalar (University of Coruña, ES), Christian Freksa (Universität Bremen, DE), Paulo E. Santos (Flinders University – Adelaide, AU), Thora Tenbrink (Bangor University, GB) | Top |
26. – 30. April 2020, Dagstuhl-Seminar 20181Machine Learning in Sports POSTPONEDUlf Brefeld (Universität Lüneburg, DE), Jesse Davis (KU Leuven, BE), Martin Lames (TU München, DE), Jim Little (University of British Columbia – Vancouver, CA) | Top |
26. – 29. April 2020, Dagstuhl-Seminar 20182Lessons Learned from 40+ Years of the Internet POSTPONEDJari Arkko (Ericsson – Jorvas, FI), Lars Eggert (NetApp Finland Oy, FI), David Oran (Network Systems Research & Design – Cambridge, US), Jörg Ott (TU München, DE), Henning Schulzrinne (Columbia University – New York, US) | Top |
03. – 08. Mai 2020, Dagstuhl-Seminar 20191Extending the Synergies Between SAT and Description Logics POSTPONEDJoao Marques-Silva (University of Toulouse, FR), Rafael Penaloza (University of Milano-Bicocca, IT), Uli Sattler (University of Manchester, GB) | Top |
03. – 08. Mai 2020, Dagstuhl-Perspektive-Workshop 20192AI vs Big Data, Data Science and Robotics: Synergies and Distinguishing Elements POSTPONEDFabian Gieseke (University of Copenhagen, DK), Holger H. Hoos (Leiden University, NL), Carme Torras (CSIC – UPC – Barcelona, ES), Heike Trautmann (Universität Münster, DE) | Top |
10. – 15. Mai 2020, Dagstuhl-Seminar 20201Secure Compilation POSTPONEDDavid Chisnall (Microsoft Research – Cambridge, GB), Deepak Garg (MPI-SWS – Saarbrücken, DE), Catalin Hritcu (MPI-SP – Bochum, DE), Mathias Payer (EPFL – Lausanne, CH) | Top |
10. – 15. Mai 2020, Dagstuhl-Seminar 20202Geometric Logic, Constructivisation, and Automated Theorem Proving POSTPONEDThierry Coquand (University of Gothenburg, SE), Hajime Ishihara (JAIST – Ishikawa, JP), Sara Negri (University of Genova, IT), Peter M. Schuster (University of Verona, IT) | Top |
24. – 29. Mai 2020, Dagstuhl-Seminar 20221Geometric Modeling: Interoperability and New Challenges POSTPONEDFalai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF – Oslo, NO), Géraldine Morin (IRIT – University of Toulouse, FR), Tim Strotman (Siemens – Milford, US) | Top |
24. – 29. Mai 2020, Dagstuhl-Seminar 20222Approximate Systems POSTPONEDEva Darulova (MPI-SWS – Kaiserslautern, DE), Babak Falsafi (EPFL – Lausanne, CH), Andreas Gerstlauer (Univ. of Texas at Austin, US), Phillip Stanley-Marbell (University of Cambridge, GB) | Top |
01. – 05. Juni 2020, Dagstuhl-Seminar 20231Rigorous Methods for Smart Contracts POSTPONEDNikolaj S. Bjørner (Microsoft Research – Redmond, US), Maria Christakis (MPI-SWS – Kaiserslautern, DE), Matteo Maffei (TU Wien, AT), Grigore Rosu (University of Illinois – Urbana-Champaign, US) | Top |
01. – 04. Juni 2020, Dagstuhl-Seminar 20232Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation POSTPONEDClaude Kirchner (INRIA – Le Chesnay, FR), Ninja Marnau (CISPA – Saarbrücken, DE), Franziska Roesner (University of Washington – Seattle, US) | Top |
14. – 19. Juni 2020, Dagstuhl-Seminar 20251Theoretical Advances and Emerging Applications in Abstract Interpretation POSTPONEDArie 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 |
21. – 26. Juni 2020, Dagstuhl-Seminar 20261Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics POSTPONEDTimothy Baldwin (The University of Melbourne, AU), William Croft (University of New Mexico – Alburquerque, US), Joakim Nivre (Uppsala University, SE), Agata Savary (Université de Tours – Blois, FR) | Top |
28. Juni – 03. Juli 2020, Dagstuhl-Seminar 20271Transparency by Design POSTPONEDCasey Dugan (IBM Research – Cambridge, US), Judy Kay (The University of Sydney, AU), Tsvi Kuflik (Haifa University, IL), Michael Rovatsos (University of Edinburgh, GB) | Top |
28. Juni – 03. Juli 2020, Dagstuhl-Seminar 20272Designing the Human-Machine Symbiosis POSTPONEDEllen Yi-Luen Do (University of Colorado – Boulder, US), Kristina Höök (KTH Royal Institute of Technology – Kista, SE), Pattie Maes (MIT – Cambridge, US), Florian Mueller (Monash University – Clayton, AU) | Top |
05. – 10. Juli 2020, Dagstuhl-Seminar 20281Physiological I/O POSTPONEDElisabeth André (Universität Augsburg, DE), Lewis Chuang (LMU München, DE), Li-Wei Ko (National Chiao Tung University – Taiwan, TW), Pedro Lopes (University of Chicago, US) | Top |
05. – 10. Juli 2020, Dagstuhl-Seminar 20282Radical Innovation and Design for Connected and Automated Vehicles POSTPONEDWendy Ju (Cornell Tech – New York, US), Bastian Pfleging (TU Eindhoven, NL), Andreas Riener (TH Ingolstadt, DE) | Top |
12. – 17. Juli 2020, Dagstuhl-Seminar 20291Adaptive Resource Management for HPC Systems POSTPONEDHans Michael Gerndt (TU München, DE), Masaaki Kondo (University of Tokyo, JP), Barton P. Miller (University of Wisconsin – Madison, US), Tapasya Patki (LLNL – Livermore, US) | Top |
12. – 17. Juli 2020, Dagstuhl-Perspektive-Workshop 20292Human-Centered Artificial Intelligence POSTPONEDVirginia Dignum (University of Umeå, SE), Wendy E. Mackay (INRIA Saclay – Orsay, FR), John Shawe-Taylor (University College London, GB), Frank van Harmelen (VU University Amsterdam, NL) | Top |
19. – 24. Juli 2020, Dagstuhl-Seminar 20301Matching Under Preferences: Theory and Practice POSTPONEDHaris Aziz (UNSW – Sydney, AU), Péter Biró (Hungarian Academy of Sciences – Budapest, HU), Tamás Fleiner (Budapest University of Technology & Economics, HU), Bettina Klaus (University of Lausanne, CH), David Manlove (University of Glasgow, GB) | Top |
26. – 31. Juli 2020, Dagstuhl-Seminar 20311Quantum Complexity: Theory and Application POSTPONEDBill Fefferman (University of Chicago, US), Sevag Gharibian (Universität Paderborn, DE), Norbert Schuch (MPI für Quantenoptik – Garching, DE), Barbara Terhal (TU Delft, NL) | Top |
26. – 31. Juli 2020, Dagstuhl-Seminar 20312Scalable Handling of Effects POSTPONEDDanel Ahman (University of Ljubljana, SI), Amal Ahmed (Northeastern University – Boston, US), Sam Lindley (University of Edinburgh, GB), Andreas Rossberg (Dfinity – Zürich, CH) | Top |
16. – 21. August 2020, Dagstuhl-Seminar 20341Characterizing and Modeling Residual Software BugsDomenico Cotroneo (University of Naples, IT), Cristina Nita-Rotaru (Northeastern University – Boston, US), Karthik Pattabiraman (University of British Columbia – Vancouver, CA), Neeraj Suri (Lancaster University, GB) | Top |
16. – 21. August 2020, Dagstuhl-Seminar 20342Cognitive AugmentationKai Kunze (Keio University – Yokohama, JP), Pattie Maes (MIT – Cambridge, US), Florian Mueller (Monash University – Clayton, AU), Katrin Wolf (HAW – Hamburg, DE) | Top |
23. – 28. August 2020, Dagstuhl-Seminar 20351Theories of ProgrammingAmy Ko (University of Washington – Seattle, US), Thomas D. LaToza (George Mason University – Fairfax, US), Anita Sarma (Oregon State University – Corvallis, US), David C. Shepherd (ABB – Raleigh, US), Dag Sjøberg (University of Oslo, NO) | Top |
23. – 28. August 2020, Dagstuhl-Seminar 20352Security of Machine LearningBattista Biggio (University of Cagliari, IT), Nicholas Carlini (Google Brain – Mountain View, US), Pavel Laskov (Universität Liechtenstein, LI), Konrad Rieck (TU Braunschweig, DE) | Top |
30. August – 02. September 2020, Dagstuhl-Seminar 20361Towards More Flexible and Automated Communication NetworksRui Aguiar (University of Aveiro, PT), Artur Hecker (Huawei Technologies – München, DE), Stefan Schmid (Universität Wien, AT), Henning Schulzrinne (Columbia University – New York, US) | Top |
30. August – 04. September 2020, Dagstuhl-Seminar 20362Understanding I/O Behavior in Scientific and Data-Intensive ComputingPhilip Carns (Argonne National Laboratory, US), Julian Kunkel (University of Reading, GB), Kathryn Mohror (LLNL – Livermore, US), Martin Schulz (TU München, DE) | Top |
06. – 11. September 2020, Dagstuhl-Seminar 20371Theory and Practice of SAT SolvingOlaf Beyersdorff (Universität Jena, DE), Armin Biere (Johannes Kepler Universität Linz, AT), Vijay Ganesh (University of Waterloo, CA), Jakob Nordström (University of Copenhagen, DK & Lund University, SE) | Top |
06. – 11. September 2020, Dagstuhl-Seminar 20372Beyond Adaptation: Understanding Distributional ChangesNiall Adams (Imperial College London, GB), Vera Hofer (Universität Graz, AT), Eyke Hüllermeier (Universität Paderborn, DE), Georg Krempl (Utrecht University, NL), Geoffrey Webb (Monash University – Clayton, AU) | Top |
13. – 18. September 2020, Dagstuhl-Seminar 20381Algebraic and Analytic Methods in Computational ComplexityMarkus Bläser (Universität des Saarlandes – Saarbrücken, DE), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Ronen Shaltiel (University of Haifa, IL), Jacobo Torán (Universität Ulm, DE) | Top |
13. – 16. September 2020, Dagstuhl-Seminar 20382Interactive Visualization for Fostering Trust in AIPolo Chau (Georgia Institute of Technology – Atlanta, US), Alex Endert (Georgia Institute of Technology – Atlanta, US), Daniel A. Keim (Universität Konstanz, DE), Daniela Oelke (Siemens AG – München, DE) | Top |
20. – 25. September 2020, Dagstuhl-Seminar 20391Database Indexing and Query ProcessingRenata Borovica-Gajic (The University of Melbourne, AU), Goetz Graefe (Google – Madison, US), Allison Lee (Snowflake – San Mateo, US), Caetano Sauer (Tableau – München, DE), Pinar Tözün (IT University of Copenhagen, DK) | Top |
20. – 25. September 2020, Dagstuhl-Seminar 20392Dynamic Traffic Models in Transportation ScienceMartin Gairing (University of Liverpool, GB), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE), Dave Watling (University of Leeds, GB) | Top |
27. September – 02. Oktober 2020, Dagstuhl-Seminar 20401Computational Approaches for Digitized Historical NewspapersAntoine Doucet (University of La Rochelle, FR), Marten Düring (University of Luxembourg, LU), Maud Ehrmann (EPFL – Lausanne, CH), Clemens Neudecker (Staatsbibliothek zu Berlin, DE) | Top |
27. September – 02. Oktober 2020, Dagstuhl-Seminar 20402Urban Mobility AnalyticsDavid Jonietz (HERE – Zürich, CH), Monika Sester (Leibniz Universität Hannover, DE), Kathleen Stewart (University of Maryland – College Park, US), Stephan Winter (The University of Melbourne, AU) | Top |
04. – 09. Oktober 2020, Dagstuhl-Seminar 20411Cognitive RoboticsFredrik Heintz (Linköping University, SE), Gerhard Lakemeyer (RWTH Aachen, DE), Sheila McIlraith (University of Toronto, CA) | Top |
11. – 16. Oktober 2020, Dagstuhl-Seminar 20421Data-Driven Combinatorial OptimizationEmma Frejinger (University of Montreal, CA), Andrea Lodi (Polytechnique Montréal, CA), Michele Lombardi (University of Bologna, IT), Neil Yorke-Smith (TU Delft, NL) | Top |
18. – 23. Oktober 2020, Dagstuhl-Seminar 20431Rational Design of RiboNucleic AcidsSven Findeiß (Universität Leipzig, DE), Christoph Flamm (Universität Wien, AT), Yann Ponty (Ecole Polytechnique – Palaiseau, FR) | Top |
18. – 21. Oktober 2020, Dagstuhl-Seminar 20432Economics of Complex Computer SystemsOrna Agmon Ben-Yehuda (Technion – Haifa, IL), Jörn Altmann (Seoul National University – Suwon, KR), Carl Waldspurger (Palo Alto, US) | Top |
25. – 30. Oktober 2020, Dagstuhl-Seminar 20441Dynamic Graph AlgorithmsAaron Bernstein (Rutgers University – New Brunswick, US), Shiri Chechik (Tel Aviv University, IL), Sebastian Forster (Universität Salzburg, AT), Monika Henzinger (Universität Wien, AT), Tsvi Kopelowitz (Bar-Ilan University – Ramat Gan, IL) | Top |
25. – 28. Oktober 2020, Dagstuhl-Seminar 20442Detection and Design for Cognitive Biases in People and Computing SystemsAndreas Dengel (DFKI – Kaiserslautern, DE), Tilman Dingler (The University of Melbourne, AU), Evangelos Karapanos (Cyprus University of Technology – Limassol, CY), Koichi Kise (Osaka Prefecture University, JP), Benjamin Tag (The University of Melbourne, AU) | Top |
01. – 06. November 2020, Dagstuhl-Seminar 20451Logic and Random Discrete StructuresErich Grädel (RWTH Aachen, DE), Phokion G. Kolaitis (University of California – Santa Cruz & IBM Almaden Research Center – San Jose, US), Tobias Müller (University of Groningen, NL), Marc Noy (UPC Barcelona Tech, ES) | Top |
01. – 06. November 2020, Dagstuhl-Seminar 20452Decision-Making Modeling and Solutions 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 |
08. – 13. November 2020, Dagstuhl-Seminar 20461Computer Science Methods for Effective and Sustainable Simulation StudiesWentong Cai (Nanyang TU – Singapore, SG), Christopher Carothers (Rensselaer Polytechnic Institute – Troy, US), David M. Nicol (University of Illinois – Urbana Champaign, US), Adelinde M. Uhrmacher (Universität Rostock, DE) | Top |
08. – 13. November 2020, Dagstuhl-Seminar 20462Eat-IT: Interactive FoodMasahiko Inami (University of Tokyo, JP), Sohyeong Kim (Stanford University, US), Florian Mueller (Monash University – Clayton, AU), Marianna Obrist (University of Sussex – Brighton, GB) | Top |
15. – 20. November 2020, Dagstuhl-Seminar 20472Estimation-of-Distribution Algorithms: Theory and ApplicationsJosu Ceberio Uribe (University of the Basque Country – Donostia, ES), Benjamin Doerr (Ecole Polytechnique – Palaiseau, FR), Fernando Lobo (University of Algarve, PT), Carsten Witt (Technical University of Denmark – Lyngby, DK) | Top |
22. – 27. November 2020, Dagstuhl-Seminar 20481Principles of Contract LanguagesDilian Gurov (KTH Royal Institute of Technology – Kista, SE), Reiner Hähnle (TU Darmstadt, DE), Marieke Huisman (University of Twente – Enschede, NL), Giles Reger (University of Manchester, GB) | Top |
29. November – 04. Dezember 2020, Dagstuhl-Seminar 20491Security of Decentralized Financial TechnologiesJoseph Bonneau (New York University, US), Arthur Gervais (Imperial College London, GB), Marie Vasek (University College London, GB) | Top |
29. November – 04. Dezember 2020, Dagstuhl-Seminar 20492New Perspectives in Symbolic Computation and Satisfiability CheckingErika Abraham (RWTH Aachen, DE), Matthew England (Coventry University, GB), Alberto Griggio (Bruno Kessler Foundation – Trento, IT) | Top |
13. – 18. Dezember 2020, Dagstuhl-Seminar 20511AI for the Social GoodClaudia Clopath (Imperial College London, GB), Ruben De Winne (Oxfam Novib – The Hague, NL), Rayid Ghani (Carnegie Mellon University – Pittsburgh, US), Tom Schaul (Google DeepMind – London, GB) | Top |
13. – 18. Dezember 2020, Dagstuhl-Seminar 20512Educational Programming Languages and SystemsNeil C. C. Brown (King's College London, GB), Mark Guzdial (University of Michigan – Ann Arbor, US), Shriram Krishnamurthi (Brown University – Providence, US), Jens Mönig (SAP SE – Walldorf, DE) | Top |