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 (MPI für biologische Kybernetik – Tübingen, 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 (Heriot-Watt University – Edinburgh, GB), Andreas Rossberg (Dfinity – Zürich, CH) | Top |
16. – 21. August 2020, Dagstuhl-Seminar 20341Characterizing and Modeling Residual Software Bugs CANCELLEDDomenico 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 Augmentation CANCELLEDKai 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 Programming CANCELLEDAmy Ko (University of Washington – Seattle, US), Thomas D. LaToza (George Mason University – Fairfax, US), Anita Sarma (Oregon State University – Corvallis, US), David C. Shepherd (College of Humanities & Sciences, US), Dag Sjøberg (University of Oslo, NO) | Top |
23. – 28. August 2020, Dagstuhl-Seminar 20352Security of Machine Learning CANCELLEDBattista 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 Networks CANCELLEDRui 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 Computing CANCELLEDPhilip 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 Solving CANCELLEDOlaf 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 Complexity CANCELLEDMarkus 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 (Hochschule Offenburg, DE) | Top |
20. – 25. September 2020, Dagstuhl-Seminar 20391Database Indexing and Query Processing CANCELLEDRenata 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 Science CANCELLEDMartin Gairing (University of Liverpool, GB), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE), David Watling (University of Leeds, GB) | Top |
27. September – 02. Oktober 2020, Dagstuhl-Seminar 20401Computational Approaches for Digitized Historical Newspapers CANCELLEDAntoine 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 Analytics CANCELLEDDavid 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 Robotics CANCELLEDFredrik 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 Optimization CANCELLEDEmma 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 Acids CANCELLEDSven 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 Systems CANCELLEDOrna 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 Algorithms CANCELLEDAaron 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 Systems CANCELLEDAndreas 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 Studies CANCELLEDWentong 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 Food CANCELLEDMasahiko 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), James H. Davenport (University of Bath, GB), 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 Systems CANCELLEDNeil C. C. Brown (King's College London, GB), Mark J. Guzdial (University of Michigan – Ann Arbor, US), Shriram Krishnamurthi (Brown University – Providence, US), Jens Mönig (SAP SE – Walldorf, DE) | Top |