Seminare und Dagstuhl-Perspektiven-Workshops 2021:
04. – 08. Januar 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 L. Rosin (Cardiff University, GB), Xianfang Sun (Cardiff University, GB) | Top |
04. – 07. Januar 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 |
17. – 20. Januar 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 |
24. – 29. Januar 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 |
24. – 29. Januar 2021, Dagstuhl-Seminar 21042Inverse Biophysical Modeling and Machine Learning CANCELLEDGeorge 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 |
31. Januar – 05. Februar 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 |
31. Januar – 05. Februar 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 |
07. – 12. Februar 2021, Dagstuhl-Seminar 21061Differential Equations and Continuous-Time Deep Learning CANCELLEDDavid Duvenaud (University of Toronto, CA), Markus 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 21062Parameterized Complexity in Graph Drawing POSTPONEDRobert 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 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 |
14. – 19. Februar 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 |
21. – 26. Februar 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 |
21. – 26. Februar 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 |
28. Februar – 05. März 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 |
28. Februar – 05. März 2021, Dagstuhl-Perspektive-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 |
07. – 12. März 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 |
14. – 19. März 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 |
21. – 26. März 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 |
21. – 24. März 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 |
05. – 09. April 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 |
11. – 16. April 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 |
11. – 16. April 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 |
18. – 23. April 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 |
18. – 21. April 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 |
25. – 30. April 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 |
02. – 07. Mai 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 |
09. – 12. Mai 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 |
16. – 21. Mai 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 |
24. – 28. Mai 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 |
06. – 10. Juni 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 |
06. – 11. Juni 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 |
13. – 18. Juni 2021, Dagstuhl-Seminar 21241Coalition Formation Games POSTPONEDEdith 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 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 |
13. – 16. Juni 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 |
20. – 25. Juni 2021, Dagstuhl-Perspektive-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 |
27. Juni – 02. Juli 2021, Dagstuhl-Seminar 21261Quantum Complexity: Theory and ApplicationBill Fefferman (University of Chicago, US), Sevag Gharibian (Universität Paderborn, DE), Norbert Schuch (Universität Wien, AT), Barbara Terhal (TU Delft, NL) | Top |
28. Juni 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 |
04. – 09. Juli 2021, Dagstuhl-Seminar 21271Computational ProteomicsSebastian 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 |
06. – 09. Juli 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 |
11. – 16. Juli 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 |
11. – 16. Juli 2021, Dagstuhl-Seminar 21282Designing the Human-Machine Symbiosis CANCELLEDEllen Yi-Luen Do (University of Colorado – Boulder, US), Kristina Höök (KTH Royal Institute of Technology – Stockholm, SE), Pattie Maes (MIT – Cambridge, US), Florian 'Floyd' Mueller (Monash University – Clayton, AU) | Top |
11. – 16. Juli 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 |
18. – 23. Juli 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 |
18. – 23. Juli 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 |
18. – 23. Juli 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 |
25. – 30. Juli 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 |
25. – 30. Juli 2021, Dagstuhl-Seminar 21302Approximate SystemsEva 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 |
15. – 20. August 2021, Dagstuhl-Seminar 21331Coalition 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 |
15. – 20. August 2021, Dagstuhl-Seminar 21332Understanding I/O Behavior in Scientific and Data-Intensive ComputingPhilip Carns (Argonne National Laboratory, US), Julian Kunkel (Gesellschaft f. wissenschaftl. Datenverarbeitung, DE), Kathryn Mohror (LLNL – Livermore, US), Martin Schulz (TU München, DE) | Top |
22. – 25. August 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 |
29. August – 01. September 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 Würzburg, DE & Universität Zürich, CH) | Top |
30. – 31. August 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 |
05. – 10. September 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 |
05. – 10. September 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 (Columbia University – New York, US), Frank van Harmelen (VU University Amsterdam, NL) | Top |
12. – 17. September 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 |
12. – 17. September 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 |
19. – 24. September 2021, Dagstuhl-Seminar 21381Conversational Agent as Trustworthy Autonomous System (Trust-CA)Asbjorn Folstad (SINTEF – Oslo, NO), Jonathan Grudin (Microsoft – Redmond, US), Effie Lai-Chong Law (Durham University, GB), Björn Schuller (Universität Augsburg, DE) | Top |
26. September – 01. Oktober 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 |
03. – 08. Oktober 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 |
03. – 06. Oktober 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 |
10. – 15. Oktober 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 |
10. – 13. Oktober 2021, Dagstuhl-Seminar 21412Quality of Sustainable Experience (QoSE) CANCELLEDKatrien 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 |
17. – 22. Oktober 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 |
17. – 20. Oktober 2021, Dagstuhl-Seminar 21422Lessons Learned from 40+ Years of the Internet CANCELLEDJari 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 21431Rigorous Methods for Smart ContractsNikolaj 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 |
24. – 29. Oktober 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 (Universität Tübingen, DE), Tim Sullivan (University of Warwick – Coventry, GB) | Top |
01. – 05. November 2021, Dagstuhl-Seminar 21441Adaptive Resource Management for HPC SystemsMichael Gerndt (TU München, DE), Masaaki Kondo (Keio University – Yokohama, JP), Barton P. Miller (University of Wisconsin-Madison, US), Tapasya Patki (LLNL – Livermore, US) | Top |
01. – 04. November 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 |
07. – 12. November 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 (University of Vienna & SBA Research – Wien) | Top |
07. – 12. November 2021, Dagstuhl-Seminar 21452Unambiguity in Automata TheoryThomas Colcombet (CNRS – Paris, FR), Karin Quaas (Universität Leipzig, DE), Michal Skrzypczak (University of Warsaw, PL) | Top |
14. – 19. November 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 |
14. – 17. November 2021, Dagstuhl-Seminar 21462Foundations of Persistent ProgrammingHans-J. Boehm (Google – Mountain View, US), Ori Lahav (Tel Aviv University, IL), Azalea Raad (Imperial College London, GB) | Top |
21. – 26. November 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 |
21. – 26. November 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 |
28. November – 03. Dezember 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 |
28. November – 03. Dezember 2021, Dagstuhl-Seminar 21482Resilient Software Configuration and Infrastructure Code Analysis CANCELLEDJü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 |
05. – 10. Dezember 2021, Dagstuhl-Seminar 21491Static Methods for Correctness of Model and Program Transformations CANCELLEDSebastian 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 21492Representing and Solving Spatial ProblemsPedro Cabalar (University of Coruña, ES), Zoe Falomir (Universitat Jaume I – Castello de la Plana, ES), Christian Freksa (in memoriam; † November 12, 2020), Paulo E. Santos (Flinders University – Adelaide, AU), Thora Tenbrink (Bangor University, GB) | Top |