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 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 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 (SBA Research – Wien, 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 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 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 |
26. – 29. April 2020, Dagstuhl-Seminar 20182Lessons 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 |
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 (CSIC – 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 – 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 ContractsNikolaj 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 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 |
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), 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 |
26. – 31. Juli 2020, Dagstuhl-Seminar 20311Quantum Complexity: Theory and ApplicationBill 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 EffectsDanel Ahman (University of Ljubljana, SI), Amal Ahmed (Northeastern University – Boston, US), Sam Lindley (Imperial College London, 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 |
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 |
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) | 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 OptimizationEmma 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 & IBM Almaden Research Center – San Jose, US), Tobias Müller (University of Groningen, NL), Marc Noy (UPC – Barcelona, ES) | Top |
08. – 13. November 2020, Dagstuhl-Seminar 20461Computer Science Methods for Effective and Sustainable Simulation StudiesWentong Cai (Nanyang TU – Singapore, SG), Christoph Carothers (Rensselaer Polytechnic Institute – Troy, US), David M. Nicol (University of Illinois – Urbana Champaign, US), Adelinde M. Uhrmacher (Universität Rostock, DE) | 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 |
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 of New Mexico, US) | Top |