All Events 2020:



January 5 – 10 , 2020, Dagstuhl Seminar 20021

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


Laurence Devillers (CNRS – Orsay, FR), Tatsuya Kawahara (Kyoto University, JP), Roger K. Moore (University of Sheffield, GB), Matthias Scheutz (Tufts University – Medford, US)

Top

January 8 – 10 , 2020, Event 20023

Klausurtagung des Forschungsprojekts ContinuITy: " Automated Performance Testing in Continuous Software Engineering"


Stefan Siegl (NovaTec Holding – Leinfelden-Echterdingen, DE), André van Hoorn (Universität Stuttgart, DE)

Top

January 12 – 17 , 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

January 15 – 16 , 2020, Event 20033

SE-Treffen des GI Fachbereichs


Bernhard Rumpe (RWTH Aachen, DE)

Top

January 19 – 24 , 2020, Dagstuhl Seminar 20041

Symmetric Cryptography


Nils Gregor Leander (Ruhr-Universität Bochum, DE), Kaisa Nyberg (Aalto University, FI), Kan Yasuda (NTT – Tokyo, JP)

Top

January 26 – 31 , 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

February 2 – 7 , 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

February 5 – 7 , 2020, Event 20063

Klausurtagung "KI Methoden und Anwendungen"


Klaus-Peter Scherer (KIT – Karlsruher Institut für Technologie, DE)

Top

February 5 – 7 , 2020, Event 20064

Initiationstreffen Forschungsprojekt


Lukas Reuter (Universität Trier, DE), Ingo Timm (Universität Trier, DE)

Top

February 9 – 14 , 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

February 12 – 14 , 2020, Event 20073

Lehrstuhltreffen Hanebeck


Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE), Florian Pfaff (KIT – Karlsruher Institut für Technologie, DE)

Top

February 16 – 21 , 2020, Dagstuhl Seminar 20081

Scheduling


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

Top

February 16 – 21 , 2020, Event 20083

Arbeitstreffen Complexity of Infinite-Dimensional Problems


Michael Gnewuch (Universität Osnabrück, DE), Aicke Hinrichs (Johannes Kepler Universität Linz, AT), Klaus Ritter (TU Kaiserslautern, DE)

Top

February 23 – 28 , 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

March 1 – 6 , 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

March 1 – 4 , 2020, Event 20103

Software Engineering Forschungsmethoden Training


Sven Apel (Universität des Saarlandes – Saarbrücken, DE), Eric Bodden (Universität Paderborn, DE), Lars Grunske (HU Berlin, DE)

Top

March 4 – 6 , 2020, Event 20104

City 5.0-Seminar


Armin Stein (Universität Münster, DE)

Top

March 8 – 13 , 2020, Dagstuhl Seminar 20111

Tensor Computations: Applications and Optimization


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

Compute-First Networking POSTPONED


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

March 11 – 13 , 2020, Event 20113

Klausurtagung "AG Finkbeiner"


Bernd Finkbeiner (Universität des Saarlandes – Saarbrücken, DE)

Top

March 11 – 13 , 2020, Event 20114

Klausurtagung Telematik Karlsruhe


Robert Bauer (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

Top

March 15 – 20 , 2020, Dagstuhl Seminar 20121

Sparsity in Algorithms, Combinatorics and Logic POSTPONED


Daniel 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 15 – 19 , 2020, Event 20124

Summer School "Data Management Techniques" CANCELLED


Goetz Graefe (Google – Madison, US)

Top

March 15 – 21 , 2020, Event 20129

Forschungsaufenthalt CANCELLED


Thomas Hoppe (Hochschule für Technik und Wirtschaft – Berlin, DE)

Top

March 22 – 27 , 2020, Dagstuhl Seminar 20131

Static Methods for Correctness of Model and Program Transformations POSTPONED


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

March 22 – 27 , 2020, Dagstuhl Seminar 20132

The Renaissance of Information Hiding POSTPONED


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

March 29 – April 3 , 2020, Dagstuhl Seminar 20141

Managing Industrial Control Systems Security Risks for Cyber Insurance POSTPONED


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

Resilient Software Configuration and Infrastructure Code Analysis POSTPONED


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

April 5 – 7 , 2020, Event 20153

GIBU 2020: GI-Beirat der Universitätsprofessoren CANCELLED


Lars Grunske (HU Berlin, DE)

Top

April 6 – 8 , 2020, Event 20155

Workshop Process Mining CANCELLED


Wil van der Aalst (RWTH Aachen, DE)

Top

April 13 – 17 , 2020, Dagstuhl Seminar 20161

Descriptive Set Theory and Computable Topology POSTPONED


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

April 14 – 17 , 2020, Event 20163

Lehrstuhltreffen "Embedded Intelligence" CANCELLED


Bernhard Sick (Universität Kassel, DE)

Top

April 15 – 19 , 2020, Event 20169

Forschungsaufenthalt CANCELLED


Helena Jambor (Universitätsklinikum TU Dresden, DE)

Top

April 19 – 24 , 2020, Dagstuhl Seminar 20171

Visualization of Biological Data - From Analysis to Communication POSTPONED


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

April 19 – 24 , 2020, Dagstuhl Seminar 20172

Representing and Solving Spatial Problems POSTPONED


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

April 26 – 30 , 2020, Dagstuhl Seminar 20181

Machine Learning in Sports POSTPONED


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

April 26 – 29 , 2020, Dagstuhl Seminar 20182

Lessons Learned from 40+ Years of the Internet POSTPONED


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

Extending the Synergies Between SAT and Description Logics POSTPONED


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

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


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

May 10 – 15 , 2020, Dagstuhl Seminar 20201

Secure Compilation POSTPONED


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

Geometric Logic, Constructivisation, and Automated Theorem Proving POSTPONED


Thierry 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 17 – 20 , 2020, Event 20213

Kolloquium zum GI Dissertationspreis 2019 CANCELLED


Steffen Hölldobler (TU Dresden, DE)

Top

May 17 – 20 , 2020, Event 20214

Strategie-Klausurtagung des Weizenbaum-Instituts CANCELLED


Manfred Hauswirth (Fraunhofer FOKUS – Berlin, DE)

Top

May 24 – 29 , 2020, Dagstuhl Seminar 20221

Geometric Modeling: Interoperability and New Challenges POSTPONED


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

Approximate Systems POSTPONED


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

June 1 – 5 , 2020, Dagstuhl Seminar 20231

Rigorous Methods for Smart Contracts POSTPONED


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

June 1 – 4 , 2020, Dagstuhl Seminar 20232

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation POSTPONED


Claude Kirchner (INRIA – Le Chesnay, FR), Ninja Marnau (CISPA – Saarbrücken, DE), Franziska Roesner (University of Washington – Seattle, US)

Top

June 7 – 10 , 2020, Event 20243

Gemeinsamer Workshop des Graduiertenkollegs 2340 „Computational Cognition“ und des HPI Forschungskollegs "Service-Oriented Systems Engineering" CANCELLED


Toni Mattis (Hasso-Plattner-Institut – Potsdam, DE), Gabriela Pipa (Universität Osnabrück, DE), Stefan Ramson (Hasso-Plattner-Institut – Potsdam, DE)

Top

June 14 – 19 , 2020, Dagstuhl Seminar 20251

Theoretical Advances and Emerging Applications in Abstract Interpretation POSTPONED


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

June 14 – 17 , 2020, Event 20253

Workshop Buchprojekt "Applied Machine Intelligence" CANCELLED


Thomas Hoppe (Hochschule für Technik und Wirtschaft – Berlin, DE), Bernhard Humm (Hochschule Darmstadt, DE), Anatol Reibold (OntoPort UG – Darmstadt, DE)

Top

June 21 – 26 , 2020, Dagstuhl Seminar 20261

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics POSTPONED


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

June 22 – 24 , 2020, Event 20264

ICOIS 2020 CANCELLED


Armin Heinzl (Universität Mannheim, DE)

Top

June 24 – 26 , 2020, Event 20263

Lehrstuhltreffen Rechtsinformatik CANCELLED


Christoph Sorge (Universität des Saarlandes, DE)

Top

June 24 – 26 , 2020, Event 20265

Fakultätsklausur der Fakultät für Informatik - SRH Hochschule Heidelberg CANCELLED


Barbara Sprick (SRH Hochschule Heidelberg, DE)

Top

June 28 – July 3 , 2020, Dagstuhl Seminar 20271

Transparency by Design POSTPONED


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

Designing the Human-Machine Symbiosis POSTPONED


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

Physiological I/O POSTPONED


Elisabeth André (Universität Augsburg, DE), Lewis Chuang (MPI für biologische Kybernetik – Tübingen, DE), Li-Wei Ko (National Chiao Tung University – Taiwan, TW), Pedro Lopes (University of Chicago, US)

Top

July 5 – 10 , 2020, Dagstuhl Seminar 20282

Radical Innovation and Design for Connected and Automated Vehicles POSTPONED


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

Top

July 9 – 13 , 2020, Event 20289

Forschungsaufenthalt


Friedrich Steimann (Fernuniversität in Hagen, DE)

Top

July 12 – 17 , 2020, Dagstuhl Seminar 20291

Adaptive Resource Management for HPC Systems POSTPONED


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

July 12 – 17 , 2020, Dagstuhl Perspectives Workshop 20292

Human-Centered Artificial Intelligence POSTPONED


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

Matching Under Preferences: Theory and Practice POSTPONED


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

July 19 – 24 , 2020, Event 20303

TRR 195 Blockseminar über Spieltheorie CANCELLED


Bernhard Böhmler (TU Kaiserslautern, DE)

Top

July 19 – 22 , 2020, Event 20304

Crowdsourcing Research - Transcending Disciplinary Boundaries CANCELLED


Alessandro Checco (University of Sheffield, GB), Gianluca Demartini (The University of Queensland – Brisbane, AU), Ujwal Gadiraju (Leibniz Universität Hannover, DE), Michael Luggen (University of Fribourg, CH), Cristina Sarasua (Universität Zürich, CH)

Top

July 22 – 24 , 2020, Event 20305

Workshop on "Computational Game Evaluation" CANCELLED


Cameron Browne (Maastricht University, NL), Alena Denisova (City – University of London, GB), Vanessa Volz (modl.ai – Copenhagen, DK)

Top

July 26 – 31 , 2020, Dagstuhl Seminar 20311

Quantum Complexity: Theory and Application POSTPONED


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

July 26 – 31 , 2020, Dagstuhl Seminar 20312

Scalable Handling of Effects POSTPONED


Danel Ahman (University of Ljubljana, SI), Amal Ahmed (Northeastern University – Boston, US), Sam Lindley (Heriot-Watt University – Edinburgh, GB), Andreas Rossberg (Dfinity – Zürich, CH)

Top

August 16 – 21 , 2020, Dagstuhl Seminar 20341

Characterizing and Modeling Residual Software Bugs CANCELLED


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

Cognitive Augmentation CANCELLED


Kai Kunze (Keio University – Yokohama, JP), Pattie Maes (MIT – Cambridge, US), Florian Mueller (Monash University – Clayton, AU), Katrin Wolf (HAW – Hamburg, DE)

Top

August 17 – 21 , 2020, Event 20343

Software Language Engineering Body of Knowledge (SLEBoK) Recap


Friedrich Steimann (Fernuniversität in Hagen, DE)

Top

August 23 – 28 , 2020, Dagstuhl Seminar 20351

Theories of Programming CANCELLED


Amy Ko (University of Washington – Seattle, US), Thomas D. LaToza (George Mason University – Fairfax, US), Anita Sarma (Oregon State University – Corvallis, US), David C. Shepherd (College of Humanities & Sciences, US), Dag Sjøberg (University of Oslo, NO)

Top

August 23 – 28 , 2020, Dagstuhl Seminar 20352

Security of Machine Learning CANCELLED


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

August 24 – 26 , 2020, Event 20353

Designing Experiments With the Age Simulator GERT and Wearables


Ingo Timm (Universität Trier, DE)

Top

August 30 – September 2 , 2020, Dagstuhl Seminar 20361

Towards More Flexible and Automated Communication Networks CANCELLED


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

August 30 – September 4 , 2020, Dagstuhl Seminar 20362

Understanding I/O Behavior in Scientific and Data-Intensive Computing CANCELLED


Philip Carns (Argonne National Laboratory, US), Julian Kunkel (University of Reading, GB), Kathryn Mohror (LLNL – Livermore, US), Martin Schulz (TU München, DE)

Top

August 31 – September 4 , 2020, Event 20363

Lehrstuhltreffen Rechtsinformatik


Christoph Sorge (Universität des Saarlandes, DE)

Top

September 6 – 11 , 2020, Dagstuhl Seminar 20371

Theory and Practice of SAT Solving CANCELLED


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 & Lund University, SE)

Top

September 6 – 11 , 2020, Dagstuhl Seminar 20372

Beyond Adaptation: Understanding Distributional Changes


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

Algebraic and Analytic Methods in Computational Complexity CANCELLED


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

Interactive Visualization for Fostering Trust in AI


Polo Chau (Georgia Institute of Technology – Atlanta, US), Alex Endert (Georgia Institute of Technology – Atlanta, US), Daniel A. Keim (Universität Konstanz, DE), Daniela Oelke (Hochschule Offenburg, DE)

Top

September 13 – 18 , 2020, Event 20385

Algebraic and Other Aspects of Complexity Theory


Markus Bläser (Universität des Saarlandes – Saarbrücken, DE), Jacobo Torán (Universität Ulm, DE)

Top

September 16 – 18 , 2020, Event 20383

Projekt-Treffen "Anwendungen Formaler Wissenschaften"


Bernhard Ganter (TU Dresden, DE), Anatol Reibold (von Vicht GmbH, DE), Karl Erich Wolff (Ernst-Schröder-Zentrum Darmstadt, DE)

Top

September 20 – 25 , 2020, Dagstuhl Seminar 20391

Database Indexing and Query Processing CANCELLED


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

Dynamic Traffic Models in Transportation Science CANCELLED


Martin Gairing (University of Liverpool, GB), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE), David Watling (University of Leeds, GB)

Top

September 20 – 25 , 2020, Event 20394

Mathematical Foundations of Dynamic Nash Flows


Tobias Harks (Universität Augsburg, DE), Britta Peis (RWTH Aachen, DE), Laura Vargas Koch (RWTH Aachen, DE)

Top

September 27 – October 2 , 2020, Dagstuhl Seminar 20401

Computational Approaches for Digitized Historical Newspapers CANCELLED


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

September 27 – October 2 , 2020, Dagstuhl Seminar 20402

Urban Mobility Analytics CANCELLED


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

Cognitive Robotics CANCELLED


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

Top

October 4 – 9 , 2020, Event 20413

DDI - Cross Domain Integration (DDI-CDI) CANCELLED


Arofan Gregory (Jaffrey, US), Hilde Orten (NSD – Bergen, NO), Joachim Wackerow (GESIS – Mannheim, DE)

Top

October 5 – 8 , 2020, Event 20415

New Results in Text Algorithmics and Combinatorics on Strings


Johannes Fischer (TU Dortmund, DE)

Top

October 6 – 8 , 2020, Event 20414

Klausurtagung ISTE SQA


Steffen Becker (Universität Stuttgart, DE)

Top

October 11 – 16 , 2020, Dagstuhl Seminar 20421

Data-Driven Combinatorial Optimization CANCELLED


Emma 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 11 – 16 , 2020, Event 20423

Interoperability of Metadata Standards in Cross-Domain Science, Health, and Social Science Applications III CANCELLED


Simon Cox (CSIRO – Clayton South, AU), Arofan Gregory (Jaffrey, US), Simon Hodson (CODATA – Paris, FR), Steven McEachern (Australian National University – Acton, AU), Joachim Wackerow (GESIS – Mannheim, DE)

Top

October 18 – 23 , 2020, Dagstuhl Seminar 20431

Rational Design of RiboNucleic Acids CANCELLED


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

Top

October 18 – 21 , 2020, Dagstuhl Seminar 20432

Economics of Complex Computer Systems CANCELLED


Orna Agmon Ben-Yehuda (Technion – Haifa, IL), Jörn Altmann (Seoul National University – Suwon, KR), Carl Waldspurger (Palo Alto, US)

Top

October 18 – 21 , 2020, Event 20433

Workshop Process Mining


Wil van der Aalst (RWTH Aachen, DE)

Top

October 22 – 23 , 2020, Event 20434

Klausurtagung AG Robotersysteme, TUK


Karsten Berns (TU Kaiserslautern, DE)

Top

October 25 – 30 , 2020, Dagstuhl Seminar 20441

Dynamic Graph Algorithms CANCELLED


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

October 25 – 28 , 2020, Dagstuhl Seminar 20442

Detection and Design for Cognitive Biases in People and Computing Systems CANCELLED


Andreas 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

October 29 – 30 , 2020, Event 20443

Klausurtagung Lehrstuhl Steimle CANCELLED


Jürgen Steimle (Universität des Saarlandes, DE)

Top

November 1 – 6 , 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 Tech, ES)

Top

November 1 – 6 , 2020, Dagstuhl Seminar 20452

Decision-Making Modeling and Solutions for Smart Semiconductor Manufacturing


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

Computer Science Methods for Effective and Sustainable Simulation Studies CANCELLED


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

Eat-IT: Interactive Food CANCELLED


Masahiko 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 8 – 11 , 2020, Event 20463

New Perspectives in Visual Computing


Susana Castillo Alejandre (TU Braunschweig, DE), Marcus A. Magnor (TU Braunschweig, DE)

Top

November 15 – 20 , 2020, Dagstuhl Seminar 20472

Estimation-of-Distribution Algorithms: Theory and Applications CANCELLED


Josu 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 15 – 18 , 2020, Event 20473

DFG IRT 2057 “Physical Modeling for Virtual Manufacturing"


Christoph Garth (TU Kaiserslautern, DE)

Top

November 22 – 27 , 2020, Dagstuhl Seminar 20481

Principles of Contract Languages


Dilian 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 22 – 27 , 2020, Event 20483

Moderne Aspekte der Komplexitätstheorie in der Automatentheorie


Henning Fernau (Universität Trier, DE), Petra Wolf (Universität Trier, DE)

Top

November 29 – December 4 , 2020, Dagstuhl Seminar 20491

Security of Decentralized Financial Technologies


Joseph 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 20492

New Perspectives in Symbolic Computation and Satisfiability Checking CANCELLED


Erika 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 7 – 8 , 2020, Event 20504

Secan Lab Seminar


Thomas Engel (University of Luxembourg, LU)

Top

December 8 – 9 , 2020, Event 20505

inf-schule.de: Weiterentwicklung des elektronischen und interaktiven Lehrbuches für den Informatikunterricht CANCELLED


Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

Top

December 9 – 11 , 2020, Event 20503

Lehrerfortbildung in Informatik CANCELLED


Michael Gerke (Schloss Dagstuhl – Saarbrücken, DE), Gerrit Müller (Peter-Wust-Gymnasium – Merzig, DE & LPM Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

Top

December 13 – 18 , 2020, Dagstuhl Seminar 20511

AI for the Social Good CANCELLED


Claudia 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 20512

Educational Programming Languages and Systems CANCELLED


Neil C. C. Brown (King's College London, GB), Mark J. Guzdial (University of Michigan – Ann Arbor, US), Shriram Krishnamurthi (Brown University – Providence, US), Jens Mönig (SAP SE – Walldorf, DE)

Top