Seminars and Dagstuhl Perspectives Workshops 2021:
January 4 – 8 , 2021, Dagstuhl Seminar 21011Media Forensics and the Challenge of Big Data CANCELLEDIrene 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 21012Foundations of WebAssembly CANCELLEDKarthikeyan 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 21032Towards Climate-Friendly Internet Research POSTPONEDVaibhav 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 21041Toward Scientific Evidence Standards in Empirical Computer Science CANCELLEDBrett 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 21042Inverse Biophysical Modeling and Machine Learning CANCELLEDGeorge 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 |
January 31 – February 5 , 2021, Dagstuhl Seminar 21051Vertex Partitioning in Graphs: From Structure to Algorithms POSTPONEDMaria 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 21052Privacy in Speech and Language Technology CANCELLEDSimone 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 21061Differential Equations and Continuous-Time Deep Learning CANCELLEDDavid 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 21062Parameterized Complexity in Graph Drawing CANCELLEDRobert 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 21071Scalable Data StructuresGerth 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 21072Autonomous Agents on the WebOlivier 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 21081Challenges in Benchmarking Optimization Heuristics CANCELLEDAnne 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 21082Frontiers of Information Access Experimentation for Research and Education CANCELLEDBen 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 21091Algorithmic Foundations of Programmable Matter CANCELLEDAaron 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 21092Current and Future Challenges in Knowledge Representation and Reasoning POSTPONEDJames 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 21101Pushing the Limits of Computational Combinatorial Constructions CANCELLEDLucia 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 21111Challenges and Opportunities of Democracy in the Digital Society CANCELLEDAbraham 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 21121Computational Complexity of Discrete ProblemsAnna 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 21122Identifying Key Enablers in Edge Intelligence POSTPONEDLei 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 21141Data Structures for Modern Memory and Storage Hierarchies POSTPONEDStratos 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 21151Counting and Sampling: Algorithms and Complexity CANCELLEDHolger 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 21152Multi-Level Graph Representation for Big Data Arising in Science MappingKaty Börner (Indiana University – Bloomington, US), Stephen G. Kobourov (University of Arizona – Tucson, US) | Top |
April 18 – 23 , 2021, Dagstuhl Seminar 21161Computational Proteomics POSTPONEDRebekah 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 21162Towards Climate-Friendly Internet Research POSTPONEDVaibhav 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 21171Temporal Graphs: Structure, Algorithms, ApplicationsArnaud 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 21181Computational GeometrySiu-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 21192Approaches and Applications of Inductive ProgrammingAndrew 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 21201Serverless ComputingCristina 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 21211Theoretical Advances and Emerging Applications in Abstract Interpretation CANCELLEDArie 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 – 11 , 2021, Dagstuhl Seminar 21231Transparency 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 6 – 11 , 2021, Dagstuhl Seminar 21232Human-Computer Interaction to Support Work and Wellbeing in Mobile EnvironmentsStephen 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 21241Coalition Formation GamesEdith 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 21242The Renaissance of Information Hiding CANCELLEDRainer 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 21243Compute-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 |
June 20 – 25 , 2021, Dagstuhl Perspectives Workshop 21252Human-Centered Artificial Intelligence POSTPONEDVirginia 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 21261Quantum 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 |
June 27 – 30 , 2021, Dagstuhl Seminar 21262Inter-Vehicular Communication - From Edge Support to Vulnerable Road UsersAna 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 21271Computational ProteomicsRebekah 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 21272Towards Climate-Friendly Internet ResearchVaibhav 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 21281Physiological I/O CANCELLEDElisabeth 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 21282Designing the Human-Machine SymbiosisEllen 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 21283Data Structures for Modern Memory and Storage HierarchiesStratos 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 21291Algorithms and Law CANCELLEDJosef 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 21292Scalable 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 |
July 18 – 23 , 2021, Dagstuhl Seminar 21293Parameterized Complexity in Graph DrawingRobert 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 21301Matching 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 25 – 30 , 2021, Dagstuhl Seminar 21302Approximate 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 |
August 15 – 20 , 2021, Dagstuhl Seminar 21332Understanding 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 |
August 22 – 25 , 2021, Dagstuhl Seminar 21342Identifying Key Enablers in Edge IntelligenceAaron 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 3 , 2021, Dagstuhl Seminar 21351Universals 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 |
August 29 – September 1 , 2021, Dagstuhl Seminar 21352Higher-Order Graph Models: From Theoretical Foundations to Machine LearningTina Eliassi-Rad (Northeastern University – Boston, US), Vito Latora (Queen Mary University of London, GB), Martin Rosvall (University of Umeå, SE), Ingo Scholtes (Universität Wuppertal, DE) | Top |
September 5 – 10 , 2021, Dagstuhl Seminar 21361Extending the Synergies Between SAT and Description LogicsJoao 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 21362Structure and LearningTiansi Dong (Universität Bonn, DE), Achim Rettinger (Universität Trier, DE), Jie Tang (Tsinghua University – Beijing, CN), Barbara Tversky (Stanford University, US), Frank van Harmelen (VU University Amsterdam, NL) | Top |
September 12 – 17 , 2021, Dagstuhl Seminar 21371Integrated DeductionMaria 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 21372Behavioural Types: Bridging Theory and PracticeMariangiola 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 21381Conversational Agent as Trustworthy Autonomous System (Trust-CA)Asbjorn Folstad (SINTEF – Oslo, NO), Jonathan Grudin (Microsoft Research – 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 21391Sparsity 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 |
October 3 – 8 , 2021, Dagstuhl Seminar 21401Visualization 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 |
October 3 – 6 , 2021, Dagstuhl Seminar 21402Digital 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 |
October 10 – 15 , 2021, Dagstuhl Seminar 21411Machine 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 |
October 10 – 13 , 2021, Dagstuhl Seminar 21412Quality of Sustainable Experience (QoSE)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 21421Quantum CryptanalysisStacey 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 21422Lessons 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 |
October 24 – 29 , 2021, Dagstuhl Seminar 21431Rigorous 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 |
October 24 – 29 , 2021, Dagstuhl Seminar 21432Probabilistic Numerical Methods - From Theory to ImplementationPhilipp Hennig (Universität Tübingen, DE), Ilse Ipsen (North Carolina State University – Raleigh, US), Maren Mahsereci (Amazon – Berlin, DE), Tim Sullivan (University of Warwick – Coventry, GB) | Top |
November 1 – 5 , 2021, Dagstuhl Seminar 21441Adaptive Resource Management for HPC SystemsMichael 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 21442Ensuring the Reliability and Robustness of Database Management SystemsAlexander 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 21451Managing Industrial Control Systems Security Risks for Cyber InsuranceSimon 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 (SBA Research – Wien, AT) | Top |
November 7 – 12 , 2021, Dagstuhl Seminar 21452Unambiguity in Automata TheoryThomas Colcombet (CNRS – Paris, FR), Karin Quaas (Universität Leipzig, DE), Michal Skrzypczak (University of Warsaw, PL) | Top |
November 14 – 19 , 2021, Dagstuhl Seminar 21461Descriptive 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 |
November 14 – 17 , 2021, Dagstuhl Seminar 21462Foundations of Persistent ProgrammingHans-J. Boehm (Google Research – Mountain View, US), Ori Lahav (Tel Aviv University, IL), Azalea Raad (Imperial College London, GB) | Top |
November 21 – 26 , 2021, Dagstuhl Seminar 21471Geometric 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 |
November 21 – 26 , 2021, Dagstuhl Seminar 21472Geometric 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 |
November 28 – December 3 , 2021, Dagstuhl Seminar 21481Secure 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 |
November 28 – December 3 , 2021, Dagstuhl Seminar 21482Resilient 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 |
December 5 – 10 , 2021, Dagstuhl Seminar 21491Static 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 |
December 5 – 10 , 2021, Dagstuhl Seminar 21492Representing and Solving Spatial ProblemsPedro 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 |