Seminars and Dagstuhl Perspectives Workshops 2020:
January 5 – 10 , 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 |
January 12 – 17 , 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 |
January 19 – 24 , 2020, Dagstuhl Seminar 20041Symmetric CryptographyNils Gregor Leander (Ruhr-Universität Bochum, DE), Kaisa Nyberg (Aalto University, FI), Kan Yasuda (NTT – Tokyo, JP) | Top |
January 26 – 31 , 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 |
February 2 – 7 , 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 |
February 9 – 14 , 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 |
February 16 – 21 , 2020, Dagstuhl Seminar 20081SchedulingNicole Megow (Universität Bremen, DE), David Shmoys (Cornell University – Ithaca, US), Ola Svensson (EPFL – Lausanne, CH) | Top |
February 23 – 28 , 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 |
March 1 – 6 , 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 |
March 8 – 13 , 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 |
March 8 – 11 , 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 |
March 15 – 20 , 2020, Dagstuhl Seminar 20121Sparsity in Algorithms, Combinatorics and LogicDaniel 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 |
March 22 – 27 , 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 |
March 22 – 27 , 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 |
March 29 – April 3 , 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 (Universität Wien & SBA Research – Wien, AT) | Top |
March 29 – April 3 , 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 |
April 13 – 17 , 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 |
April 19 – 24 , 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 |
April 19 – 24 , 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 |
April 26 – 30 , 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 |
April 26 – 29 , 2020, Dagstuhl Seminar 20182Lessons Learned from 40+ Years of the InternetJari 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 |
May 3 – 8 , 2020, Dagstuhl Seminar 20191Extending the Synergies Between SAT and Description LogicsJoao Marques-Silva (University of Toulouse, FR), Rafael Penaloza (University of Milano-Bicocca, IT), Uli Sattler (University of Manchester, GB) | Top |
May 3 – 8 , 2020, Dagstuhl Perspectives 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 |
May 10 – 15 , 2020, Dagstuhl Seminar 20201Secure CompilationDavid Chisnall (Microsoft Research – Cambridge, GB), Deepak Garg (MPI-SWS – Saarbrücken, DE), Catalin Hritcu (MPI-SP – Bochum, DE), Mathias Payer (EPFL – Lausanne, CH) | Top |
May 10 – 15 , 2020, Dagstuhl Seminar 20202Geometric Logic, Constructivisation, and Automated Theorem ProvingThierry Coquand (University of Gothenburg, SE), Hajime Ishihara (JAIST – Ishikawa, JP), Sara Negri (University of Genova, IT), Peter M. Schuster (University of Verona, IT) | Top |
May 24 – 29 , 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 (IRIT – University of Toulouse, FR), Tim Strotman (Siemens – Milford, US) | Top |
May 24 – 29 , 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 |
June 1 – 5 , 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 |
June 1 – 4 , 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 |
June 14 – 19 , 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 |
June 21 – 26 , 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 |
June 28 – July 3 , 2020, Dagstuhl Seminar 20271Transparency by DesignCasey Dugan (IBM Research – Cambridge, US), Judy Kay (The University of Sydney, AU), Tsvi Kuflik (Haifa University, IL), Michael Rovatsos (University of Edinburgh, GB) | Top |
June 28 – July 3 , 2020, Dagstuhl Seminar 20272Designing the Human-Machine SymbiosisEllen 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 |
July 5 – 10 , 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 |
July 5 – 10 , 2020, Dagstuhl Seminar 20282Radical Innovation and Design for Connected and Automated VehiclesWendy Ju (Cornell Tech – New York, US), Bastian Pfleging (TU Eindhoven, NL), Andreas Riener (TH Ingolstadt, DE) | Top |
July 12 – 17 , 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 |
July 12 – 17 , 2020, Dagstuhl Perspectives 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 (VU University Amsterdam, NL) | Top |
July 19 – 24 , 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 |
July 26 – 31 , 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 |
July 26 – 31 , 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 – Zürich, CH) | Top |
August 16 – 21 , 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 (Lancaster University, GB) | Top |
August 16 – 21 , 2020, Dagstuhl Seminar 20342Cognitive AugmentationKai Kunze (Keio University – Yokohama, JP), Pattie Maes (MIT – Cambridge, US), Florian Mueller (Monash University – Clayton, AU), Katrin Wolf (HAW – Hamburg, DE) | Top |
August 23 – 28 , 2020, Dagstuhl Seminar 20351Theories of ProgrammingAmy 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 |
August 23 – 28 , 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 |
August 30 – September 2 , 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 |
August 30 – September 4 , 2020, Dagstuhl Seminar 20362Understanding I/O Behavior in Scientific and Data-Intensive ComputingPhilip Carns (Argonne National Laboratory, US), Julian Kunkel (University of Reading, GB), Kathryn Mohror (LLNL – Livermore, US), Martin Schulz (TU München, DE) | Top |
September 6 – 11 , 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 & Lund University, SE) | Top |
September 6 – 11 , 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 |
September 13 – 18 , 2020, Dagstuhl Seminar 20381Algebraic and Analytic Methods in Computational ComplexityMarkus 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 |
September 13 – 16 , 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 (Siemens AG – München, DE) | Top |
September 20 – 25 , 2020, Dagstuhl Seminar 20391Database Indexing and Query ProcessingRenata 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 |
September 20 – 25 , 2020, Dagstuhl Seminar 20392Dynamic Traffic Models in Transportation ScienceMartin Gairing (University of Liverpool, GB), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE), Dave Watling (University of Leeds, GB) | Top |
September 27 – October 2 , 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 |
September 27 – October 2 , 2020, Dagstuhl Seminar 20402Urban Mobility AnalyticsDavid 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 |
October 4 – 9 , 2020, Dagstuhl Seminar 20411Cognitive RoboticsFredrik Heintz (Linköping University, SE), Gerhard Lakemeyer (RWTH Aachen, DE), Sheila McIlraith (University of Toronto, CA) | Top |
October 11 – 16 , 2020, Dagstuhl Seminar 20421Data-Driven Combinatorial OptimizationEmma Frejinger (University of Montreal, CA), Andrea Lodi (Polytechnique Montréal, CA), Michele Lombardi (University of Bologna, IT), Neil Yorke-Smith (TU Delft, NL) | Top |
October 18 – 23 , 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 |
October 18 – 21 , 2020, Dagstuhl Seminar 20432Economics of Complex Computer SystemsOrna Agmon Ben-Yehuda (Technion – Haifa, IL), Jörn Altmann (Seoul National University – Suwon, KR), Carl Waldspurger (Palo Alto, US) | Top |
October 25 – 30 , 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 |
October 25 – 28 , 2020, Dagstuhl Seminar 20442Detection and Design for Cognitive Biases in People and Computing SystemsAndreas 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 |
November 1 – 6 , 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 |
November 1 – 6 , 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 |
November 8 – 13 , 2020, Dagstuhl Seminar 20461Computer Science Methods for Effective and Sustainable Simulation StudiesWentong 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 |
November 8 – 13 , 2020, Dagstuhl Seminar 20462Eat-IT: Interactive FoodMasahiko Inami (University of Tokyo, JP), Sohyeong Kim (Stanford University, US), Florian Mueller (Monash University – Clayton, AU), Marianna Obrist (University of Sussex – Brighton, GB) | Top |
November 15 – 20 , 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 |
November 22 – 27 , 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 |
November 29 – December 4 , 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 |
November 29 – December 4 , 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 |
December 13 – 18 , 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 |
December 13 – 18 , 2020, Dagstuhl Seminar 20512Educational Programming Languages and SystemsNeil C. C. Brown (King's College London, GB), Mark Guzdial (University of Michigan – Ann Arbor, US), Shriram Krishnamurthi (Brown University – Providence, US) | Top |