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 |
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 (TU Delft, NL), 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 (TU Darmstadt, 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 |
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 |
03. – 08. Mai 2020, Dagstuhl-Seminar 20191Extending the Synergies Between SAT and Description LogicsJoao Marques-Silva (University of Lisbon, PT), Rafael Penaloza (Free University of Bozen-Bolzano, IT), Ulrike Sattler (University of Manchester, GB) | Top |
10. – 15. Mai 2020, Dagstuhl-Seminar 20201Secure CompilationDavid Chisnall (Microsoft Research UK – Cambridge, GB), Deepak Garg (MPI-SWS – Saarbrücken, DE), Catalin Hritcu (INRIA – Paris, FR), Mathias Payer (EPFL – Lausanne, CH) | 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), Timothy L. Strotman (Siemens – Milford, US) | 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 |
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 |
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 |
19. – 24. Juli 2020, Dagstuhl-Seminar 20301Matching Under Preferences: Theory and PracticeHaris Aziz (UNSW – Sydney, AU), Peter Biro (Hungarian Academy of Sciences – Budapest, HU), Tamás Fleiner (Eötvös Lorand University – Budapest, 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 California – Berkeley, US), Sevag Gharibian (Universität Paderborn, DE), Norbert Schuch (MPI für Quantenoptik – Garching, DE), Barbara Terhal (TU Delft, NL) | 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 |
23. – 28. August 2020, Dagstuhl-Seminar 20351Theories of ProgrammingAndrew J. Ko (University of Washington – Seattle, US), Thomas 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 |
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 |