Seminare und Dagstuhl-Perspektiven-Workshops 2020:



05. – 10. Januar 2020, Dagstuhl-Seminar 20021

Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction


Laurence 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 20031

Scalability in Multiobjective Optimization


Carlos 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 20041

Symmetric Cryptography


Joan 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 20051

Computational Metabolomics: From Cheminformatics to Machine Learning


Sebastian 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 20061

SAT and Interactions


Olaf 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 20071

Foundations of Composite Event Recognition


Alexander 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 20081

Scheduling


Nicole Megow (Universität Bremen, DE), David Shmoys (Cornell University, US), Ola Svensson (EPFL – Lausanne, CH)

Top

23. – 28. Februar 2020, Dagstuhl-Seminar 20091

SE4ML - Software Engineering for AI-ML-based Systems


Kristian 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 20101

Resiliency in Numerical Algorithm Design for Extreme Scale Simulations


Luc 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 20111

Tensor Computations: Applications and Optimization


Paolo 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 20112

Compute-First Networking


Jon 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 20121

Sparsity in Algorithms, Combinatorics and Logic


Daniel 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 20131

Static Methods for Correctness of Model and Program Transformations


Sebastian 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 20132

The Renaissance of Information Hiding


Rainer 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 20141

Managing Industrial Control Systems Security Risks for Cyber Insurance


Simon 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 20142

Resilient Software Configuration and Infrastructure Code Analysis


Jü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 20161

Descriptive Set Theory and Computable Topology


Mathieu 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 20171

Visualization of Biological Data - From Analysis to Communication


Karsten 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 20172

Representing and Solving Spatial Problems


Pedro 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 20181

Machine Learning in Sports


Ulf 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 20182

Lessons Learned from 40+ Years of the Internet


Jari 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 20191

Extending the Synergies Between SAT and Description Logics


Joao 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 20192

AI vs Big Data, Data Science and Robotics: Synergies and Distinguishing Elements


Fabian 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 20201

Secure Compilation


David 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 20202

Geometric Logic, Constructivisation, and Automated Theorem Proving


Thierry 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 20221

Geometric Modeling: Interoperability and New Challenges


Falai 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 20222

Approximate Systems


Eva 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 20231

Rigorous Methods for Smart Contracts


Nikolaj 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 20232

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation


Claude 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 20251

Theoretical Advances and Emerging Applications in Abstract Interpretation


Arie 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 20261

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics


Timothy 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 20271

Transparency by Design


Casey 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 20272

Designing the Human-Machine Symbiosis


Ellen 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 20281

Physiological I/O


Elisabeth 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 20282

Radical Innovation and Design in the Age of Connected and Autonomous Vehicles


Wendy Ju (Cornell Tech – New York, US), Bastian Pfleging (TU Eindhoven, NL), Andreas Riener (TH Ingolstadt, DE)

Top

12. – 17. Juli 2020, Dagstuhl-Seminar 20291

Adaptive Resource Management for HPC Systems


Hans 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 20292

Human-Centered Artificial Intelligence


Virginia 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 20301

Matching Under Preferences: Theory and Practice


Haris 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 20311

Quantum Complexity: Theory and Application


Bill 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 20312

Scalable Handling of Effects


Danel 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 20341

Characterizing and Modeling Residual Software Bugs


Domenico 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 20342

Cognitive Augmentation


Kai 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 20351

Theories of Programming


Andrew 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 20352

Security of Machine Learning


Battista 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 20361

Towards More Flexible and Automated Communication Networks


Rui 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 20371

Theory and Practice of SAT Solving


Olaf 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 20372

Beyond Adaptation: Understanding Distributional Changes


Niall 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 20381

Algebraic and Analytic Methods in Computational Complexity


Markus 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 20391

Database Indexing and Query Processing


Renata 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 20401

Computational Approaches for Digitized Historical Newspapers


Antoine 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 20411

Cognitive Robotics


Fredrik Heintz (Linköping University, SE), Gerhard Lakemeyer (RWTH Aachen, DE), Sheila McIlraith (University of Toronto, CA)

Top

11. – 16. Oktober 2020, Dagstuhl-Seminar 20421

Data-Driven Combinatorial Optimization


Emma 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 20431

Rational Design of RiboNucleic Acids


Sven Findeiß (Universität Leipzig, DE), Christoph Flamm (Universität Wien, AT), Yann Ponty (Ecole Polytechnique – Palaiseau, FR)

Top

25. – 30. Oktober 2020, Dagstuhl-Seminar 20441

Dynamic Graph Algorithms


Aaron 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 20451

Logic and Random Discrete Structures


Erich 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 20461

Computer Science Methods for Effective and Sustainable Simulation Studies


Wentong 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 20481

Principles of Contract Languages


Dilian 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 20491

Security of Decentralized Financial Technologies


Joseph Bonneau (New York University, US), Arthur Gervais (Imperial College London, GB), Marie Vasek (University of New Mexico, US)

Top