Seminars and Dagstuhl Perspectives Workshops 2021:



January 4 – 8 , 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

January 4 – 7 , 2021, Dagstuhl Seminar 21012

Foundations of WebAssembly CANCELLED


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

January 17 – 20 , 2021, Dagstuhl Seminar 21032

Towards Climate-Friendly Internet Research POSTPONED


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

Top

January 24 – 29 , 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 (University of Nevada – Las Vegas, US), Thomas Zimmermann (Microsoft Corporation – Redmond, US)

Top

January 24 – 29 , 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), Björn H. Menze (TU München, DE), Miriam Schulte (Universität Stuttgart, DE)

Top

January 31 – February 5 , 2021, Dagstuhl Seminar 21051

Vertex Partitioning in Graphs: From Structure to Algorithms POSTPONED


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

Top

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

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

February 7 – 12 , 2021, Dagstuhl Seminar 21062

Parameterized Complexity in Graph Drawing POSTPONED


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

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

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

February 21 – 26 , 2021, Dagstuhl Seminar 21081

Challenges in Benchmarking Optimization Heuristics CANCELLED


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

February 21 – 26 , 2021, Dagstuhl Seminar 21082

Frontiers of Information Access Experimentation for Research and Education CANCELLED


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

February 28 – March 5 , 2021, Dagstuhl Seminar 21091

Algorithmic Foundations of Programmable Matter CANCELLED


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

February 28 – March 5 , 2021, Dagstuhl Perspectives Workshop 21092

Current and Future Challenges in Knowledge Representation and Reasoning POSTPONED


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

March 7 – 12 , 2021, Dagstuhl Seminar 21101

Pushing the Limits of Computational Combinatorial Constructions CANCELLED


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

March 14 – 19 , 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 Stuttgart, DE)

Top

March 21 – 26 , 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

March 21 – 24 , 2021, Dagstuhl Seminar 21122

Identifying Key Enablers in Edge Intelligence POSTPONED


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

April 5 – 9 , 2021, Dagstuhl Seminar 21141

Data Structures for Modern Memory and Storage Hierarchies POSTPONED


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

Top

April 11 – 16 , 2021, Dagstuhl Seminar 21151

Counting and Sampling: Algorithms and Complexity CANCELLED


Holger Dell (Goethe-Universität Frankfurt am Main & ITU Copenhagen), Mark R. Jerrum (Queen Mary University of London, GB), Haiko Müller (University of Leeds, GB)

Top

April 11 – 16 , 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

April 18 – 23 , 2021, Dagstuhl Seminar 21161

Computational Proteomics POSTPONED


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

Top

April 18 – 21 , 2021, Dagstuhl Seminar 21162

Towards Climate-Friendly Internet Research POSTPONED


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

Top

April 25 – 30 , 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

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

May 9 – 12 , 2021, Dagstuhl Seminar 21192

Approaches and Applications of Inductive Programming


Andrew Cropper (University of Oxford, GB), Luc De Raedt (KU Leuven, BE), Richard Evans (DeepMind – London, GB), Ute Schmid (Universität Bamberg, DE)

Top

May 16 – 21 , 2021, Dagstuhl Seminar 21201

Serverless Computing


Cristina Abad (ESPOL – Guayaquil, EC), Ian T. Foster (Argonne National Laboratory – Lemont, US), Nikolas Herbst (Universität Würzburg, DE), Alexandru Iosup (VU University Amsterdam, NL)

Top

May 24 – 28 , 2021, Dagstuhl Seminar 21211

Theoretical Advances and Emerging Applications in Abstract Interpretation CANCELLED


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 6 – 10 , 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

June 6 – 11 , 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

June 13 – 18 , 2021, Dagstuhl Seminar 21241

Coalition Formation Games POSTPONED


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

June 13 – 18 , 2021, Dagstuhl Seminar 21242

The Renaissance of Information Hiding CANCELLED


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

June 13 – 16 , 2021, Dagstuhl Seminar 21243

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

June 20 – 25 , 2021, Dagstuhl Perspectives Workshop 21252

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

June 27 – July 2 , 2021, Dagstuhl Seminar 21261

Quantum Complexity: Theory and Application


Bill Fefferman (University of Chicago, US), Sevag Gharibian (Universität Paderborn, DE), Norbert Schuch (Universität Wien, AT), Barbara Terhal (TU Delft, NL)

Top

June 28 2021, Dagstuhl Seminar 21262

Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users


Ana Aguiar (Universidade do Porto, PT), Onur Altintas (Toyota Motors North America – Mountain View, US), Falko Dressler (TU Berlin, DE), Gunnar Karlsson (KTH Royal Institute of Technology – Kista, SE)

Top

July 4 – 9 , 2021, Dagstuhl Seminar 21271

Computational Proteomics


Sebastian Böcker (Universität Jena, DE), Rebekah Gundry (University of Nebraska – Omaha, US), Lennart Martens (Ghent University, BE), Magnus Palmblad (Leiden University Medical Center, NL)

Top

July 6 – 9 , 2021, Dagstuhl Seminar 21272

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

July 11 – 16 , 2021, Dagstuhl Seminar 21281

Physiological I/O CANCELLED


Elisabeth André (Universität Augsburg, DE), Lewis Chuang (IfADo – Dortmund, DE), Li-Wei Ko (National Chiao Tung University – Taiwan, TW), Pedro Lopes (University of Chicago, US)

Top

July 11 – 16 , 2021, Dagstuhl Seminar 21282

Designing the Human-Machine Symbiosis CANCELLED


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 (Monash University – Clayton, AU)

Top

July 11 – 16 , 2021, Dagstuhl Seminar 21283

Data Structures for Modern Memory and Storage Hierarchies


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

Top

July 18 – 23 , 2021, Dagstuhl Seminar 21291

Algorithms and Law CANCELLED


Josef Drexl (MPI for Innovation and Competition – München, DE), Niva Elkin-Koren (University of Haifa, IL), Michal Feldman (Tel Aviv University, IL), Shafi Goldwasser (MIT – Cambridge, US), Inbal Talgam-Cohen (Technion – Haifa, IL)

Top

July 18 – 23 , 2021, Dagstuhl Seminar 21292

Scalable Handling of Effects


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

Top

July 18 – 23 , 2021, Dagstuhl Seminar 21293

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

July 25 – 30 , 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

July 25 – 30 , 2021, Dagstuhl Seminar 21302

Approximate Systems


Eva Darulova (MPI-SWS – Kaiserslautern, DE), Babak Falsafi (EPFL – Lausanne, CH), Andreas Gerstlauer (University of Texas at Austin, US), Phillip Stanley-Marbell (University of Cambridge, GB)

Top

August 15 – 20 , 2021, Dagstuhl Seminar 21331

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

August 15 – 20 , 2021, Dagstuhl Seminar 21332

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


Philip Carns (Argonne National Laboratory, US), Julian Kunkel (Gesellschaft f. wissenschaftl. Datenverarbeitung, DE), Kathryn Mohror (LLNL – Livermore, US), Martin Schulz (TU München, DE)

Top

August 22 – 25 , 2021, Dagstuhl Seminar 21342

Identifying Key Enablers in Edge Intelligence


Aaron Ding (TU Delft, NL), Ella Peltonen (University of Oulu, FI), Sasu Tarkoma (University of Helsinki, FI), Lars Wolf (TU Braunschweig, DE)

Top

August 29 – September 1 , 2021, Dagstuhl Seminar 21352

Higher-Order Graph Models: From Theoretical Foundations to Machine Learning


Tina Eliassi-Rad (Northeastern University – Boston, US), Vito Latora (Queen Mary University of London, GB), Martin Rosvall (University of Umeå, SE), Ingo Scholtes (Universität Würzburg, DE)

Top

August 30 – 31 , 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

September 5 – 10 , 2021, Dagstuhl Seminar 21361

Extending the Synergies Between SAT and Description Logics


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

Top

September 5 – 10 , 2021, Dagstuhl Seminar 21362

Structure and Learning


Tiansi Dong (Universität Bonn, DE), Achim Rettinger (Universität Trier, DE), Jie Tang (Tsinghua University – Beijing, CN), Barbara Tversky (Columbia University – New York, US), Frank van Harmelen (VU University Amsterdam, NL)

Top

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

September 12 – 17 , 2021, Dagstuhl Seminar 21372

Behavioural Types: Bridging Theory and Practice


Mariangiola Dezani (University of Turin, IT), Roland Kuhn (Actyx AG – München, DE), Sam Lindley (University of Edinburgh, GB), Alceste Scalas (Technical University of Denmark – Lyngby, DK)

Top

September 19 – 24 , 2021, Dagstuhl Seminar 21381

Conversational Agent as Trustworthy Autonomous System (Trust-CA)


Asbjorn Folstad (SINTEF – Oslo, NO), Jonathan Grudin (Microsoft – Redmond, US), Effie Lai-Chong Law (University of Leicester, GB), Björn Schuller (Universität Augsburg, DE)

Top

September 26 – October 1 , 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

October 3 – 8 , 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

October 3 – 6 , 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

October 10 – 15 , 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

October 10 – 13 , 2021, Dagstuhl Seminar 21412

Quality of Sustainable Experience (QoSE) CANCELLED


Katrien De Moor (NTNU – Trondheim, NO), Markus Fiedler (Blekinge Institute of Technology – Karlshamn, SE), Ashok Jhunjhunwala (Indian Institute of Techology, IN), Alexander Raake (TU Ilmenau, DE)

Top

October 17 – 22 , 2021, Dagstuhl Seminar 21421

Quantum Cryptanalysis


Stacey Jeffery (CWI – Amsterdam, NL), Michele Mosca (University of Waterloo, CA), Maria Naya-Plasencia (INRIA – Paris, FR), Rainer Steinwandt (University of Alabama in Huntsville, US)

Top

October 17 – 20 , 2021, Dagstuhl Seminar 21422

Lessons Learned from 40+ Years of the Internet CANCELLED


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

October 24 – 29 , 2021, Dagstuhl Seminar 21431

Rigorous Methods for Smart Contracts


Nikolaj S. Bjørner (Microsoft – Redmond, US), Maria Christakis (MPI-SWS – Kaiserslautern, DE), Matteo Maffei (TU Wien, AT), Grigore Rosu (University of Illinois – Urbana-Champaign, US)

Top

October 24 – 29 , 2021, Dagstuhl Seminar 21432

Probabilistic Numerical Methods - From Theory to Implementation


Philipp Hennig (Universität Tübingen, DE), Ilse Ipsen (North Carolina State University – Raleigh, US), Maren Mahsereci (Universität Tübingen, DE), Tim Sullivan (University of Warwick – Coventry, GB)

Top

November 1 – 5 , 2021, Dagstuhl Seminar 21441

Adaptive Resource Management for HPC Systems


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

November 1 – 4 , 2021, Dagstuhl Seminar 21442

Ensuring the Reliability and Robustness of Database Management Systems


Alexander Böhm (SAP SE – Walldorf, DE), Maria Christakis (MPI-SWS – Kaiserslautern, DE), Eric Lo (The Chinese University of Hong Kong, HK), Manuel Rigger (ETH Zürich, CH)

Top

November 7 – 12 , 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 (Otto-von-Guericke-Universität Magdeburg, DE), Edgar Weippl (University of Vienna & SBA Research – Wien)

Top

November 7 – 12 , 2021, Dagstuhl Seminar 21452

Unambiguity in Automata Theory


Thomas Colcombet (CNRS – Paris, FR), Karin Quaas (Universität Leipzig, DE), Michal Skrzypczak (University of Warsaw, PL)

Top

November 14 – 19 , 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

November 14 – 17 , 2021, Dagstuhl Seminar 21462

Foundations of Persistent Programming


Hans-J. Boehm (Google – Mountain View, US), Ori Lahav (Tel Aviv University, IL), Azalea Raad (Imperial College London, GB)

Top

November 21 – 26 , 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

November 21 – 26 , 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

November 28 – December 3 , 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

November 28 – December 3 , 2021, Dagstuhl Seminar 21482

Resilient Software Configuration and Infrastructure Code Analysis


Jürgen Cito (TU Wien, AT), Ruzica Piskac (Yale University – New Haven, US), Andy Zaidman (TU Delft, NL), Yuanyuan Zhou (University of California – San Diego, US)

Top

December 5 – 10 , 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

December 5 – 10 , 2021, Dagstuhl Seminar 21492

Representing and Solving Spatial Problems


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

Top