Alle Veranstaltungen 2021:



04. – 08. Januar 2021, Dagstuhl-Seminar 21011

Media Forensics and the Challenge of Big Data CANCELLED


Irene Amerini (Sapienza University of Rome, IT), Anderson de Rezende Rocha (State University – Campinas, BR), Paul Rosin (Cardiff University, GB), Xianfang Sun (Cardiff University, GB)

Top

04. – 07. Januar 2021, Dagstuhl-Seminar 21012

Foundations of WebAssembly


Karthikeyan Bhargavan (INRIA – Paris, FR), Jonathan Protzenko (Microsoft Research – Redmond, US), Andreas Rossberg (Dfinity – Zürich, CH), Deian Stefan (University of California – San Diego, US)

Top

17. – 20. Januar 2021, Dagstuhl-Seminar 21032

Towards Climate-Friendly Internet Research


Vaibhav Bajpai (TU München, DE), Jon Crowcroft (University of Cambridge, GB), Oliver Hohlfeld (BTU Cottbus, DE), Srinivasan Keshav (University of Cambridge, GB)

Top

24. – 29. Januar 2021, Dagstuhl-Seminar 21041

Toward Scientific Evidence Standards in Empirical Computer Science CANCELLED


Brett A. Becker (University College Dublin, IE), Christopher D. Hundhausen (Washington State University – Pullman, US), Ciera Jaspan (Google Inc. – Mountain View, US), Andreas Stefik (Univ. of Nevada – Las Vegas, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US)

Top

24. – 29. Januar 2021, Dagstuhl-Seminar 21042

Inverse Biophysical Modeling and Machine Learning CANCELLED


George Biros (Univ. of Texas at Austin, US), Andreas Mang (University of Houston, US), Miriam Mehl (Universität Stuttgart, DE), Björn H. Menze (TU München, DE)

Top

24. – 29. Januar 2021, Event 21043

Probabilistic Verification


Thomas Noll (RWTH Aachen, DE)

Top

31. Januar – 05. Februar 2021, Dagstuhl-Seminar 21051

Vertex Partitioning in Graphs: From Structure to Algorithms


Maria Chudnovsky (Princeton University, US), Neeldhara Misra (Indian Institute of Techology – Madras, IN), Daniel Paulusma (Durham University, GB), Oliver Schaudt (ZF Friedrichshafen, DE)

Top

31. Januar – 05. Februar 2021, Dagstuhl-Seminar 21052

Privacy in Speech and Language Technology CANCELLED


Simone Fischer-Hübner (Karlstad University, SE), Dietrich Klakow (Universität des Saarlandes, DE), Peggy Valcke (KU Leuven, BE), Emmanuel Vincent (INRIA Nancy – Grand Est, FR)

Top

07. – 12. Februar 2021, Dagstuhl-Seminar 21061

Differential Equations and Continuous-Time Deep Learning CANCELLED


David Duvenaud (University of Toronto, CA), Markus O. Heinonen (Aalto University, FI), Michael Schober (Bosch Center for AI – Renningen, DE), Max Welling (University of Amsterdam, NL)

Top

07. – 12. Februar 2021, Dagstuhl-Seminar 21062

Parameterized Complexity in Graph Drawing


Robert Ganian (TU Wien, AT), Fabrizio Montecchiani (University of Perugia, IT), Martin Nöllenburg (TU Wien, AT), Meirav Zehavi (Ben Gurion University – Beer Sheva, IL)

Top

14. – 19. Februar 2021, Dagstuhl-Seminar 21071

Scalable Data Structures


Gerth Stølting Brodal (Aarhus University, DK), John Iacono (UL – Brussels, BE), Markus E. Nebel (Universität Bielefeld, DE), Vijaya Ramachandran (University of Texas – Austin, US)

Top

14. – 19. Februar 2021, Dagstuhl-Seminar 21072

Autonomous Agents on the Web


Olivier Boissier (Ecole des Mines – St. Etienne, FR), Andrei Ciortea (Universität St. Gallen, CH), Andreas Harth (Fraunhofer IIS – Nürnberg, DE), Alessandro Ricci (Università di Bologna, IT)

Top

21. – 26. Februar 2021, Dagstuhl-Seminar 21081

Challenges in Benchmarking Optimization Heuristics


Anne Auger (INRIA Saclay – Palaiseau, FR), Peter A. N. Bosman (CWI – Amsterdam, NL), Pascal Kerschke (Universität Münster, DE), Darrell Whitley (Colorado State University – Fort Collins, US)

Top

21. – 26. Februar 2021, Dagstuhl-Seminar 21082

Frontiers of Information Access Experimentation for Research and Education


Ben Carterette (University of Delaware – Newark, US), Nicola Ferro (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Nava Tintarev (TU Delft, NL)

Top

28. Februar – 05. März 2021, Dagstuhl-Seminar 21091

Algorithmic Foundations of Programmable Matter


Aaron Becker (University of Houston, US), Sándor Fekete (TU Braunschweig, DE), Irina Kostitsyna (TU Eindhoven, NL), Matthew J. Patitz (University of Arkansas – Fayetteville, US), Damien Woods (National University of Ireland – Maynooth, IE)

Top

28. Februar – 05. März 2021, Dagstuhl-Perspektive-Workshop 21092

Current and Future Challenges in Knowledge Representation and Reasoning


James P. Delgrande (Simon Fraser University – Burnaby, CA), Birte Glimm (Universität Ulm, DE), Thomas Meyer (University of Cape Town, ZA), Miroslaw Truszczynski (University of Kentucky – Lexington, US), Frank Wolter (University of Liverpool, GB)

Top

07. – 12. März 2021, Dagstuhl-Seminar 21101

Pushing the Limits of Computational Combinatorial Constructions


Lucia Moura (University of Ottawa, CA), Anamari Nakic (University of Zagreb, HR), Patric Östergård (Aalto University, FI), Alfred Wassermann (Universität Bayreuth, DE)

Top

07. – 12. März 2021, Dagstuhl-Seminar 21102

Radical Innovation and Design for Connected and Automated Vehicles


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

Top

14. – 19. März 2021, Dagstuhl-Seminar 21111

Challenges and Opportunities of Democracy in the Digital Society CANCELLED


Abraham Bernstein (Universität Zürich, CH), Anita Gohdes (Hertie School of Governance – Berlin, DE), Beth Simone Noveck (New York University, US), Steffen Staab (Universität Koblenz-Landau, DE)

Top

21. – 26. März 2021, Dagstuhl-Seminar 21121

Computational Complexity of Discrete Problems


Anna Gál (University of Texas – Austin, US), Meena Mahajan (Institute of Mathematical Sciences – Chennai, IN), Rahul Santhanam (University of Oxford, GB), Till Tantau (Universität zu Lübeck, DE)

Top

21. – 24. März 2021, Dagstuhl-Seminar 21122

Identifying Key Enablers in Edge Intelligence


Lei Chen (HKUST – Kowloon, HK), Aaron Ding (TU Delft, NL), Ella Peltonen (University of Oulu, FI), Sasu Tarkoma (University of Helsinki, FI), Lars Wolf (TU Braunschweig, DE)

Top

24. – 26. März 2021, Event 21123

Arbeitstreffen "Challenges in Computer Aided Engineering" (2021)


Bernd Becker (Universität Freiburg, DE)

Top

05. – 09. April 2021, Dagstuhl-Seminar 21141

Data Structures for Modern Memory and Storage Hierarchies


Stratos Idreos (Harvard University – Cambridge, US), Viktor Leis (Universität Jena, DE), Kai-Uwe Sattler (TU Ilmenau, DE), Margo Seltzer (University of British Columbia – Vancouver, CA)

Top

11. – 16. April 2021, Dagstuhl-Seminar 21151

Counting and Sampling: Algorithms and Complexity


Holger Dell (IT University of Copenhagen, DK), Mark R. Jerrum (Queen Mary University of London, GB), Haiko Müller (University of Leeds, GB)

Top

11. – 16. April 2021, Dagstuhl-Seminar 21152

Multi-Level Graph Representation for Big Data Arising in Science Mapping


Katy Börner (Indiana University – Bloomington, US), Stephen G. Kobourov (University of Arizona – Tucson, US)

Top

18. – 23. April 2021, Dagstuhl-Seminar 21161

Computational Proteomics


Rebekah Gundry (University of Nebraska – Omaha, US), Lennart Martens (Ghent University, BE), Magnus Palmblad (Leiden University Medical Center, NL)

Top

25. – 30. April 2021, Dagstuhl-Seminar 21171

Temporal Graphs: Structure, Algorithms, Applications


Arnaud Casteigts (University of Bordeaux, FR), Kitty Meeks (University of Glasgow, GB), George B. Mertzios (Durham University, GB), Rolf Niedermeier (TU Berlin, DE)

Top

02. – 07. Mai 2021, Dagstuhl-Seminar 21181

Computational Geometry


Siu-Wing Cheng (HKUST – Kowloon, HK), Anne Driemel (Universität Bonn, DE), Jeff M. Phillips (University of Utah – Salt Lake City, US)

Top

09. – 12. Mai 2021, Event 21193

Kolloquium zum GI Dissertationspreis 2020


Steffen Hölldobler (TU Dresden, DE)

Top

24. – 28. Mai 2021, Dagstuhl-Seminar 21211

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

06. – 11. Juni 2021, Dagstuhl-Seminar 21231

Transparency by Design


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

06. – 11. Juni 2021, Dagstuhl-Seminar 21232

Human-Computer Interaction to Support Work and Wellbeing in Mobile Environments


Stephen Brewster (University of Glasgow, GB), Andrew Kun (University of New Hampshire – Durham, US), Andreas Riener (TH Ingolstadt, DE), Orit Shaer (Wellesley College, US)

Top

13. – 18. Juni 2021, Dagstuhl-Seminar 21241

Coalition Formation Games


Edith Elkind (University of Oxford, GB), Judy Goldsmith (University of Kentucky – Lexington, US), Anja Rey (Universität Köln, DE), Jörg Rothe (Heinrich-Heine-Universität Düsseldorf, DE)

Top

13. – 18. Juni 2021, Dagstuhl-Seminar 21242

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

20. – 25. Juni 2021, Dagstuhl-Seminar 21252

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 (VU University Amsterdam, NL)

Top

27. Juni – 02. Juli 2021, Dagstuhl-Seminar 21261

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

04. – 07. Juli 2021, Dagstuhl-Seminar 21272

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

04. – 09. Juli 2021, Event 21273

Summer School on Process Mining


Josep Carmona (UPC Barcelona Tech, ES), Wil van der Aalst (RWTH Aachen, DE)

Top

11. – 16. Juli 2021, Dagstuhl-Seminar 21281

Physiological I/O


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

11. – 16. Juli 2021, Dagstuhl-Seminar 21282

Designing the Human-Machine Symbiosis


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

18. – 23. Juli 2021, Dagstuhl-Seminar 21292

Scalable Handling of Effects


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

25. – 30. Juli 2021, Dagstuhl-Seminar 21301

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

25. – 30. Juli 2021, Dagstuhl-Seminar 21302

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

29. August – 03. September 2021, Dagstuhl-Seminar 21351

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

05. – 10. September 2021, Dagstuhl-Seminar 21361

Extending the Synergies Between SAT and Description Logics


Joao Marques-Silva (University of Toulouse, FR), Rafael Penaloza (University of Milano-Bicocca, IT), Uli Sattler (University of Manchester, GB)

Top

12. – 17. September 2021, Dagstuhl-Seminar 21371

Integrated Deduction


Maria Paola Bonacina (University of Verona, IT), Claudia Nalon (University of Brasilia, BR), Philipp Rümmer (Uppsala University, SE), Renate Schmidt (University of Manchester, GB)

Top

19. – 24. September 2021, Event 21383

DDI


Joachim Wackerow (GESIS – Mannheim, DE)

Top

26. September – 01. Oktober 2021, Dagstuhl-Seminar 21391

Sparsity in Algorithms, Combinatorics and Logic


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

26. September – 01. Oktober 2021, Event 21393

DDI


Top

03. – 08. Oktober 2021, Dagstuhl-Seminar 21401

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

03. – 06. Oktober 2021, Dagstuhl-Seminar 21402

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

10. – 15. Oktober 2021, Dagstuhl-Seminar 21411

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

17. – 20. Oktober 2021, Dagstuhl-Seminar 21422

Lessons Learned from 40+ Years of the Internet


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

24. – 29. Oktober 2021, Dagstuhl-Seminar 21431

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. – 05. November 2021, Dagstuhl-Seminar 21441

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

07. – 12. November 2021, Dagstuhl-Seminar 21451

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

14. – 19. November 2021, Dagstuhl-Seminar 21461

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

21. – 26. November 2021, Dagstuhl-Seminar 21471

Geometric Modeling: Interoperability and New Challenges


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

21. – 26. November 2021, Dagstuhl-Seminar 21472

Geometric Logic, Constructivisation, and Automated Theorem Proving


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

28. November – 03. Dezember 2021, Dagstuhl-Seminar 21481

Secure Compilation


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

28. November – 03. Dezember 2021, Dagstuhl-Seminar 21482

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

05. – 10. Dezember 2021, Dagstuhl-Seminar 21491

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

05. – 10. Dezember 2021, Dagstuhl-Seminar 21492

Representing and Solving Spatial Problems


Pedro Cabalar (University of Coruña, ES), Zoe Falomir (Universität Bremen, DE), Christian Freksa (Universität Bremen, DE), Paulo E. Santos (Flinders University – Adelaide, AU), Thora Tenbrink (Bangor University, GB)

Top

14. – 15. Dezember 2021, Event 21505

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


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

Top

15. – 17. Dezember 2021, Event 21503

Lehrerfortbildung in Informatik


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