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 (LIMSI – 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 CryptographyJoan Daemen (Radboud University Nijmegen, NL), Nils 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, 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 (RWTH Aachen, DE), Furong Huang (University of Maryland – College Park, US), Paul H. J. Kelly (Imperial College London, GB), P. (Saday) Sadayappan (Ohio State University – Columbus, US) | Top |
08. – 11. März 2020, Dagstuhl-Seminar 20112Compute-First NetworkingJon Crowcroft (University of Cambridge, GB), Philip Eardley (BT Research – Ipswich, GB), Dirk Kutscher (FH Emden, DE), Eve M. Schooler (Intel Labs – Santa Clara, US) | Top |
15. – 20. März 2020, Dagstuhl-Seminar 20121Sparsity in Algorithms, Combinatorics and LogicDaniel Král' (Masaryk University – Brno, CZ), Michal Pilipczuk (University of Warsaw, PL), Sebastian Siebertz (HU Berlin, DE), Blair D. Sullivan (North Carolina State University – Raleigh, US) | Top |
22. – 27. März 2020, Dagstuhl-Seminar 20131Static Methods for Correctness of Model and Program TransformationsSebastian 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 HidingRainer 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 InsuranceSimon Dejung (SCOR – Zürich, CH), Mingyan Liu (University of Michigan – Ann Arbor, US), Arndt Lüder (Universität Magdeburg, DE), Edgar Weippl (Secure Business Austria Research, AT) | Top |
29. März – 03. April 2020, Dagstuhl-Seminar 20142Resilient Software Configuration and Infrastructure Code AnalysisJü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 TopologyMathieu 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 CommunicationKarsten 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 ProblemsPedro Cabalar (University of A Coruña, ES), Christian Freksa (Universität Bremen, DE), Paulo E. Santos (University Center of FEI – Sao Paolo, BR), Thora Tenbrink (Bangor University, GB) | Top |
26. – 30. April 2020, Dagstuhl-Seminar 20181Machine Learning in SportsUlf 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 |
03. – 08. Mai 2020, Dagstuhl-Seminar 20191Extending the Synergies Between SAT and Description LogicsJoao Marques-Silva (University of Lisbon, PT), 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 ElementsFabian Gieseke (University of Copenhagen, DK), Holger H. Hoos (Leiden University, NL), Carme Torras (UPC – Barcelona, ES), Heike Trautmann (Universität Münster, DE) | Top |
10. – 15. Mai 2020, Dagstuhl-Seminar 20201Secure CompilationDavid Chisnall (Microsoft Research – Cambridge, GB), Deepak Garg (MPI-SWS – Saarbrücken, DE), Catalin Hritcu (INRIA – Paris, FR), Mathias Payer (EPFL – Lausanne, CH) | Top |
10. – 15. Mai 2020, Dagstuhl-Seminar 20202Geometric Logic, Constructivisation, and Automated Theorem ProvingThierry Coquand (University of Gothenburg, SE), Hajime Ishihara (JAIST – Ishikawa, JP), Sara Negri (University of Helsinki, FI), Peter M. Schuster (University of Verona, IT) | Top |
24. – 29. Mai 2020, Dagstuhl-Seminar 20221Geometric Modeling: Interoperability and New ChallengesFalai Chen (Univ. of Science & Technology of China – Anhui, CN), Tor Dokken (SINTEF – Oslo, NO), Géraldine Morin (University of Toulouse, FR), Tim Strotman (Siemens – Milford, US) | Top |
24. – 29. Mai 2020, Dagstuhl-Seminar 20222Approximate SystemsEva Darulova (MPI-SWS – Saarbrücken, 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 ContractsNikolaj S. Bjorner (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 regulationClaude 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 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 |
14. – 19. Juni 2020, Dagstuhl-Seminar 20252Security 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 |
21. – 26. Juni 2020, Dagstuhl-Seminar 20261Universals 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 (Université de Tours – Blois, FR) | Top |
28. Juni – 03. Juli 2020, Dagstuhl-Seminar 20271Transparency by DesignCasey Dugan (IBM TJ Watson Research Center – 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 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 Mueller (RMIT University – Melbourne, AU) | Top |
05. – 10. Juli 2020, Dagstuhl-Seminar 20281Physiological I/OElisabeth 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 in the Age of Connected and Autonomous VehiclesWendy Ju (Cornell Tech – New York, US), Ingrid Pettersson (Volvo – Göteborg, SE), Bastian Pfleging (TU Eindhoven, NL), Andreas Riener (TH Ingolstadt, DE) | Top |
12. – 17. Juli 2020, Dagstuhl-Seminar 20291Adaptive Resource Management for HPC SystemsHans 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 IntelligenceVirginia Dignum (University of Umeå, SE), Wendy E. Mackay (INRIA Saclay – Orsay, FR), John Shawe-Taylor (University College London, GB), Frank van Harmelen (Free University Amsterdam, NL) | Top |
19. – 24. Juli 2020, Dagstuhl-Seminar 20301Matching Under Preferences: Theory and PracticeHaris 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 |
19. – 22. Juli 2020, Dagstuhl-Seminar 20302Lessons Learned from 40+ Years of the InternetJari Arkko (Ericsson – Jorvas, FI), Lars Eggert (NetApp Finland Oy, FI), David Oran (Cambridge, US), Jörg Ott (TU München, DE), Henning Schulzrinne (Columbia University – New York, US) | Top |
26. – 31. Juli 2020, Dagstuhl-Seminar 20311Quantum Complexity: Theory and ApplicationBill Fefferman (University of Maryland – College Park, 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 EffectsDanel Ahman (University of Ljubljana, SI), Amal Ahmed (Northeastern University – Boston, US), Sam Lindley (University of Edinburgh, GB), Andreas Rossberg (Dfinity Foundation – Zug, 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 (TU Darmstadt, DE) | Top |
16. – 21. August 2020, Dagstuhl-Seminar 20342Cognitive AugmentationKai Kunze (Keio University – Yokohama, JP), Pattie Maes (MIT – Cambridge, US), Florian Mueller (RMIT University – Melbourne, AU), Katrin Wolf (HAW – Hamburg, DE) | Top |
23. – 28. August 2020, Dagstuhl-Seminar 20351Theories of ProgrammingAndrew J. 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 |
30. August – 04. September 2020, Dagstuhl-Seminar 20361Algorithmic Foundations of Programmable MatterAaron Becker (University of Houston, US), 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 |
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 (KTH Royal Institute of Technology – Stockholm, SE) | Top |
06. – 11. September 2020, Dagstuhl-Seminar 20372Beyond Adaptation: Understanding Distributional ChangesNiall Adams (Imperial College London, GB), Vera Hofer (TU 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, DE), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Ronen Shaltiel (University of Haifa, IL), Jacobo Torán (Universität Ulm, 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 Computing Inc. – San Mateo, US), Caetano Sauer (Tableau – München, DE), Pinar Tözün (IT University of Copenhagen, DK) | 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 |
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 OptimisationEmma Frejinger (University of Montreal, CA), Andrea Lodi (Polytechnique Montreal, 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 |
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 |
01. – 06. November 2020, Dagstuhl-Seminar 20451Logic and Random Discrete StructuresErich Grädel (RWTH Aachen, DE), Phokion G. Kolaitis (University of California – Santa Cruz, US), Tobias Müller (University of Groningen, NL), Marc Noy (UPC – Barcelona, ES) | Top |
22. – 27. November 2020, Dagstuhl-Seminar 20481Principles of Contract LanguagesDilian Gurov (KTH Royal Institute of Technology – Stockholm, SE), Reiner Hähnle (TU Darmstadt, DE), Marieke Huisman (University of Twente, NL), Giles Reger (University of Manchester, GB) | Top |