Seminare und Dagstuhl-Perspektiven-Workshops 2018:
07. – 12. Januar 2018, Dagstuhl Seminar 18021Symmetric CryptographyJoan Daemen (Radboud University Nijmegen, NL, and STMicroelectronics – Diegem, BE), Tetsu Iwata (Nagoya University, JP), Nils Gregor Leander (Ruhr-Universität Bochum, DE), Kaisa Nyberg (Aalto University, FI) | Top |
14. – 19. Januar 2018, Dagstuhl Seminar 18031Personalized Multiobjective Optimization: An Analytics PerspectiveKathrin Klamroth (Universität Wuppertal, DE), Joshua D. Knowles (University of Birmingham, GB), Günter Rudolph (TU Dortmund, DE), Margaret M. Wiecek (Clemson University, US) | Top |
21. – 26. Januar 2018, Dagstuhl Seminar 18041Foundations of Data VisualizationHelwig Hauser (University of Bergen, NO), Penny Rheingans (University of Maryland, Baltimore County, US), Gerik Scheuermann (Universität Leipzig, DE) | Top |
28. Januar – 02. Februar 2018, Dagstuhl Seminar 18051Proof ComplexityAlbert Atserias (UPC – Barcelona, ES), Jakob Nordström (KTH Royal Institute of Technology – Stockholm, SE), Pavel Pudlák (The Czech Academy of Sciences – Prague, CZ), Rahul Santhanam (University of Oxford, GB) | Top |
28. Januar – 02. Februar 2018, Dagstuhl Seminar 18052Genetic Improvement of SoftwareStephanie Forrest (Arizona State University – Tempe, US), William B. Langdon (University College London, GB), Claire Le Goues (Carnegie Mellon University – Pittsburgh, US), Justyna Petke (University College London, GB) | Top |
04. – 09. Februar 2018, Dagstuhl Seminar 18061Evidence About Programmers for Programming Language DesignStefan Hanenberg (Universität Duisburg-Essen, DE), Brad A. Myers (Carnegie Mellon University – Pittsburgh, US), Bonita Sharif (Youngstown State University, US), Andreas Stefik (Univ. of Nevada – Las Vegas, US) | Top |
11. – 16. Februar 2018, Dagstuhl Seminar 18071Planning and Operations ResearchJ. Christopher Beck (University of Toronto, CA), Daniele Magazzeni (King's College London, GB), Gabriele Röger (Universität Basel, CH), Willem-Jan Van Hoeve (Carnegie Mellon University – Pittsburgh, US) | Top |
18. – 23. Februar 2018, Dagstuhl Seminar 18081Designing and Implementing Algorithms for Mixed-Integer Nonlinear OptimizationPierre Bonami (IBM Spain – Madrid, ES), Ambros M. Gleixner (Konrad-Zuse-Zentrum – Berlin, DE), Jeff Linderoth (University of Wisconsin – Madison, US), Ruth Misener (Imperial College London, GB) | Top |
18. – 23. Februar 2018, Dagstuhl Seminar 18082Formal Methods for the Synthesis of Biomolecular CircuitsYaakov Benenson (ETH Zürich – Basel, CH), Neil Dalchau (Microsoft Research UK – Cambridge, GB), Heinz Koeppl (TU Darmstadt, DE), Oded Maler (VERIMAG – Grenoble, FR) | Top |
25. Februar – 02. März 2018, Dagstuhl Seminar 18091Data Consistency in Distributed Systems: Algorithms, Programs, and DatabasesAnnette Bieniusa (TU Kaiserslautern, DE), Alexey Gotsman (IMDEA Software – Madrid, ES), Bettina Kemme (McGill University – Montreal, CA), Marc Shapiro (University Pierre & Marie Curie – Paris, FR) | Top |
25. – 28. Februar 2018, Dagstuhl Seminar 18092The Logical Execution Time Paradigm: New Perspectives for Multicore SystemsRolf Ernst (TU Braunschweig, DE), Stefan Kuntz (Continental Automotive GmbH – Regensburg, DE), Sophie Quinton (INRIA – Grenoble, FR), Martin Simons (Daimler AG – Böblingen, DE) | Top |
04. – 09. März 2018, Dagstuhl Seminar 18101SchedulingMagnus M. Halldorsson (Reykjavik University, IS), Nicole Megow (Universität Bremen, DE), Clifford Stein (Columbia University, US) | Top |
04. – 09. März 2018, Dagstuhl Seminar 18102Dynamic Traffic Models in Transportation ScienceRoberto Cominetti (Adolfo Ibáñez University, CL), Tobias Harks (Universität Augsburg, DE), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE) | Top |
11. – 16. März 2018, Dagstuhl Seminar 18111Loop OptimizationSebastian Hack (Universität des Saarlandes, DE), Paul H. J. Kelly (Imperial College London, GB), Christian Lengauer (Universität Passau, DE) | Top |
11. – 16. März 2018, Dagstuhl Seminar 18112Coding Theory for Inference, Learning and OptimizationPo-Ling Loh (University of Wisconsin – Madison, US), Arya Mazumdar (University of Massachusetts – Amherst, US), Dimitris Papailiopoulos (University of Wisconsin – Madison, US), Rüdiger Urbanke (EPFL – Lausanne, CH) | Top |
18. – 23. März 2018, Dagstuhl Seminar 18121Machine Learning and Model Checking Join ForcesNils Jansen (Radboud University Nijmegen, NL), Joost-Pieter Katoen (RWTH Aachen, DE), Pushmeet Kohli (Google DeepMind – London, GB), Jan Kretinsky (TU München, DE) | Top |
18. – 21. März 2018, Dagstuhl Seminar 18122Automatic Quality Assurance and ReleaseBram Adams (Polytechnique Montreal, CA), Benoit Baudry (KTH Royal Institute of Technology – Stockholm, SE), Sigrid Eldh (Ericsson AB – Stockholm, SE), Andy Zaidman (TU Delft, NL) | Top |
08. – 13. April 2018, Dagstuhl Seminar 18151Program EquivalenceShuvendu Lahiri (Microsoft Research – Redmond, US), Andrzej Murawski (University of Oxford, GB), Ofer Strichman (Technion – Haifa, IL), Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE) | Top |
08. – 13. April 2018, Dagstuhl Seminar 18152Blockchains, Smart Contracts and Future ApplicationsFoteini Baldimtsi (George Mason University – Fairfax, US), Stefan Katzenbeisser (TU Darmstadt, DE), Volkmar Lotz (SAP Labs France – Mougins, FR), Edgar Weippl (Secure Business Austria Research, AT) | Top |
15. – 20. April 2018, Dagstuhl Seminar 18161Visualization of Biological Data - CrossroadsJan Aerts (KU Leuven, BE), Nils Gehlenborg (Harvard University, US), Georgeta Elisabeta Marai (University of Illinois – Chicago, US), Kay Katja Nieselt (Universität Tübingen, DE) | Top |
22. – 27. April 2018, Dagstuhl Seminar 18171Normative Multi-Agent SystemsMehdi Dastani (Utrecht University, NL), Jürgen Dix (TU Clausthal, DE), Harko Verhagen (Stockholm University, SE), Serena Villata (Laboratoire I3S – Sophia Antipolis, FR) | Top |
22. – 27. April 2018, Dagstuhl Seminar 18172Algebraic Effect Handlers go MainstreamSivaramakrishnan Krishnamoorthy Chandrasekaran (University of Cambridge, GB), Daan Leijen (Microsoft Research – Redmond, US), Matija Pretnar (University of Ljubljana, SI), Tom Schrijvers (KU Leuven, BE) | Top |
29. April – 04. Mai 2018, Dagstuhl Seminar 18181Towards Accountable SystemsDavid Eyers (University of Otago, NZ), Christopher Millard (Queen Mary University of London, GB), Margo Seltzer (Harvard University – Cambridge, US), Jatinder Singh (University of Cambridge, GB) | Top |
29. April – 02. Mai 2018, Dagstuhl Seminar 18182Software Business, Platforms, and Ecosystems: Fundamentals of Software Production ResearchPekka Abrahamsson (University of Jyväskylä, FI), Jan Bosch (Chalmers University of Technology – Göteborg, SE), Sjaak Brinkkemper (Utrecht University, NL), Alexander Mädche (KIT – Karlsruher Institut für Technologie, DE) | Top |
13. – 18. Mai 2018, Dagstuhl Seminar 18201Secure CompilationAmal Ahmed (Northeastern University – Boston, US), Deepak Garg (MPI-SWS – Saarbrücken, DE), Catalin Hritcu (INRIA – Paris, FR), Frank Piessens (KU Leuven, BE) | Top |
13. – 16. Mai 2018, Dagstuhl Seminar 18202Inter-Vehicular Communication Towards Cooperative DrivingOnur Altintas (TOYOTA InfoTechnology Center USA – Mountain V, US), Suman Banerjee (University of Wisconsin – Madison, US), Falko Dressler (Universität Paderborn, DE), Geert Heijenk (University of Twente, NL), Katrin Sjöberg (Göteborg, SE) | Top |
21. – 25. Mai 2018, Dagstuhl Seminar 18211Formal Methods and Fault-Tolerant Distributed Computing: Forging an AllianceJavier Esparza (TU München, DE), Pierre Fraigniaud (University Paris-Diderot and CNRS, FR), Anca Muscholl (University of Bordeaux, FR), Sergio Rajsbaum (National Autonomous University of Mexico, MX) | Top |
21. – 24. Mai 2018, Dagstuhl Seminar 18212On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New InterfacesKasper Hornbaek (University of Copenhagen, DK), David Kirsh (University of California – San Diego, US), Joseph A. Paradiso (MIT – Cambridge, US), Jürgen Steimle (Universität des Saarlandes, DE) | Top |
03. – 08. Juni 2018, Dagstuhl Seminar 18231The Constraint Satisfaction Problem: Complexity and ApproximabilityMartin Grohe (RWTH Aachen, DE), Venkatesan Guruswami (Carnegie Mellon University – Pittsburgh, US), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Stanislav Zivny (University of Oxford, GB) | Top |
10. – 15. Juni 2018, Dagstuhl Seminar 18241High-Performance Graph AlgorithmsHenning Meyerhenke (HU Berlin, DE), Richard Peng (Georgia Institute of Technology – Atlanta, US), Ali Pinar (Sandia Nat. Labs – Livermore, US), Ilya Safro (Clemson University, US) | Top |
10. – 13. Juni 2018, Dagstuhl Seminar 18242Secure Routing for the InternetPhillipa Gill (University of Massachusetts – Amherst, US), Amir Herzberg (University of Connecticut – Storrs, US), Adrian Perrig (ETH Zürich, CH), Matthias Wählisch (FU Berlin, DE) | Top |
17. – 22. Juni 2018, Dagstuhl Seminar 18251Database Architectures for Modern HardwarePeter A. Boncz (CWI – Amsterdam, NL), Goetz Graefe (Google – Madison, US), Bingsheng He (National University of Singapore, SG), Kai-Uwe Sattler (TU Ilmenau, DE) | Top |
18. – 21. Juni 2018, Dagstuhl Seminar 18252Ubiquitous Gaze Sensing and InteractionLewis Chuang (LMU München, DE), Andrew Duchowski (Clemson University, US), Pernilla Qvarfordt (FX Palo Alto Laboratory, US), Daniel Weiskopf (Universität Stuttgart, DE) | Top |
24. – 29. Juni 2018, Dagstuhl Seminar 18261Discipline Convergence in Networked SystemsYungang Bao (Chinese Academy of Sciences – Beijing, CN), Lars Eggert (NetApp Deutschland GmbH – Kirchheim, DE), Simon Peter (University of Texas – Austin, US), Noa Zilberman (University of Cambridge, GB) | Top |
24. – 29. Juni 2018, Dagstuhl Perspectives Workshop 1826210 Years of Web Science: Closing The LoopSusan Halford (University of Southampton, GB), James A. Hendler (Rensselaer Polytechnic Institute – Troy, US), Eirini Ntoutsi (Leibniz Universität Hannover, DE), Steffen Staab (Universität Koblenz-Landau, DE) | Top |
01. – 06. Juli 2018, Dagstuhl Seminar 18271In Situ Visualization for Computational ScienceJanine C. Bennett (Sandia National Laboratories, US), Hank Childs (University of Oregon – Eugene, US), Christoph Garth (TU Kaiserslautern, DE), Bernd Hentschel (RWTH Aachen, DE) | Top |
08. – 13. Juli 2018, Dagstuhl Seminar 18281Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed IndicesJérémy Barbay (University of Chile – Santiago de Chile, CL), Johannes Fischer (TU Dortmund, DE), Stefan Kratsch (HU Berlin, DE), Srinivasa Rao Satti (Seoul National University, KR) | Top |
15. – 20. Juli 2018, Dagstuhl Seminar 18291Extreme ClassificationSamy Bengio (Google Inc. – Mountain View, US), Krzysztof Dembczynski (Poznan University of Technology, PL), Thorsten Joachims (Cornell University – Ithaca, US), Marius Kloft (TU Kaiserslautern, DE), Manik Varma (Microsoft Research India – Bangalore, IN) | Top |
05. – 08. August 2018, Dagstuhl Seminar 18321Web Application SecurityMartin Johns (TU Braunschweig, DE), Nick Nikiforakis (Stony Brook University, US), Melanie Volkamer (KIT – Karlsruher Institut für Technologie, DE), John Wilander (Apple Computer Inc. – Cupertino, US) | Top |
05. – 10. August 2018, Dagstuhl Seminar 18322Human-Computer IntegrationJonathan Grudin (Microsoft Research – Redmond, US), Kristina Höök (KTH Royal Institute of Technology – Stockholm, SE), Pattie Maes (MIT – Cambridge, US), Florian Mueller (RMIT University – Melbourne, AU) | Top |
12. – 17. August 2018, Dagstuhl Seminar 18331Algorithmic Foundations of Programmable MatterSpring Berman (Arizona State University – Tempe, US), Sándor Fekete (TU Braunschweig, DE), Matthew J. Patitz (University of Arkansas – Fayetteville, US), Christian Scheideler (Universität Paderborn, DE) | Top |
12. – 17. August 2018, Dagstuhl Seminar 18332Blockchain Technology for Collaborative Information SystemsMarlon Dumas (University of Tartu, EE), Richard Hull (IBM TJ Watson Research Center – Yorktown Heights, US), Jan Mendling (Wirtschaftsuniversität Wien, AT), Ingo Weber (Data61, CSIRO – Sydney, AU) | Top |
19. – 24. August 2018, Dagstuhl Seminar 18341Formalization of Mathematics in Type TheoryAndrej Bauer (University of Ljubljana, SI), Martín H. Escardó (University of Birmingham, GB), Peter L. Lumsdaine (University of Stockholm, SE), Assia Mahboubi (INRIA – Nantes, FR) | Top |
26. – 31. August 2018, Dagstuhl Seminar 18351Modeling for SustainabilityGordon Blair (Lancaster University, GB), Betty H. C. Cheng (Michigan State University – East Lansing, US), Lorenz Hilty (Universität Zürich, CH), Richard F. Paige (University of York, GB) | Top |
02. – 07. September 2018, Dagstuhl Seminar 18361Measuring the Complexity of Computational Content: From Combinatorial Problems to AnalysisVasco Brattka (Universität der Bundeswehr – München, DE), Damir D. Dzhafarov (University of Connecticut – Storrs, US), Alberto Marcone (University of Udine, IT), Arno Pauly (Swansea University, GB) | Top |
09. – 14. September 2018, Dagstuhl Seminar 18371Knowledge Graphs: New Directions for Knowledge Representation on the Semantic WebPiero Andrea Bonatti (University of Naples, IT), Stefan Decker (RWTH Aachen, DE), Axel Polleres (Wirtschaftsuniversität Wien, AT), Valentina Presutti (CNR – Rome, IT) | Top |
16. – 21. September 2018, Dagstuhl Seminar 18381Quantum Programming LanguagesMichele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Peter Selinger (Dalhousie University – Halifax, CA) | Top |
23. – 28. September 2018, Dagstuhl Seminar 18391Algebraic Methods in Computational ComplexityMarkus Bläser (Universität des Saarlandes, DE), Valentine Kabanets (Simon Fraser University – Burnaby, CA), Jacobo Torán (Universität Ulm, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
30. September – 05. Oktober 2018, Dagstuhl Seminar 18401Automating Data ScienceTijl De Bie (Ghent University, BE), Luc De Raedt (KU Leuven, BE), Holger H. Hoos (LIACS – Leiden, NL), Padhraic Smyth (University of California – Irvine, US) | Top |
07. – 12. Oktober 2018, Dagstuhl Seminar 18411Progressive Data Analysis and VisualizationJean-Daniel Fekete (INRIA Saclay – Orsay, FR), Danyel Fisher (Honeycomb – San Francisco, US), Arnab Nandi (Ohio State University – Columbus, US), Michael Sedlmair (Jacobs University Bremen, DE) | Top |
07. – 10. Oktober 2018, Dagstuhl Seminar 18412Encouraging Reproducibility in Scientific Research of the InternetVaibhav Bajpai (TU München, DE), Olivier Bonaventure (UC Louvain, BE), Kimberly Claffy (San Diego Supercomputer Center, US), Daniel Karrenberg (RIPE NCC – Amsterdam, NL) | Top |
14. – 19. Oktober 2018, Dagstuhl Seminar 18421Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, ApproximativeHenning Fernau (Universität Trier, DE), Petr A. Golovach (University of Bergen, NO), Dieter Kratsch (University of Lorraine – Metz, FR), Marie-France Sagot (University Claude Bernard – Lyon, FR) | Top |
14. – 19. Oktober 2018, Dagstuhl Seminar 18422Shape Analysis: Euclidean, Discrete and Algebraic Geometric MethodsMichael Breuß (BTU Cottbus, DE), Alfred M. Bruckstein (Technion – Haifa, IL), Christer Oscar Kiselman (Uppsala University, SE), Petros Maragos (National Technical University of Athens, GR) | Top |
21. – 26. Oktober 2018, Dagstuhl Seminar 18431Computational Aspects of FabricationMarc Alexa (TU Berlin, DE), Bernd Bickel (IST Austria – Klosterneuburg, AT), Jessica K. Hodgins (Carnegie Mellon University – Pittsburgh, US), Kristina Shea (ETH Zürich, CH) | Top |
28. Oktober – 02. November 2018, Dagstuhl Seminar 18441Data PhysicalizationJason Alexander (Lancaster University, GB), Petra Isenberg (INRIA Saclay – Orsay, FR), Yvonne Jansen (CNRS-UPMC – Paris, FR), Bernice E. Rogowitz (Visual Perspectives – New York & Columbia University – New York, US), Andrew Vande Moere (KU Leuven, BE) | Top |
28. Oktober – 02. November 2018, Dagstuhl Seminar 18442Visualization and Processing of Anisotropy in Imaging, Geometry, and AstronomyAndrea Fuster (TU Eindhoven, NL), Evren Özarslan (Linköping University, SE), Thomas Schultz (Universität Bonn, DE), Eugene Zhang (Oregon State University – Corvallis, US) | Top |
04. – 09. November 2018, Dagstuhl Seminar 18451Genomics, Pattern Avoidance, and Statistical MechanicsMichael Albert (University of Otago, NZ), David Bevan (University of Strathclyde – Glasgow, GB), Miklós Bóna (University of Florida – Gainesville, US), István Miklós (Alfréd Rényi Institute of Mathematics – Budapest, HU) | Top |
11. – 16. November 2018, Dagstuhl Seminar 18461Blockchain Security at ScaleRainer Böhme (Universität Innsbruck, AT), Joseph Bonneau (New York University, US), Ittay Eyal (Technion – Haifa, IL) | Top |
11. – 16. November 2018, Dagstuhl Seminar 18462Provenance and Logging for Sense MakingJean-Daniel Fekete (INRIA Saclay – Orsay, FR), T. J. Jankun-Kelly (Mississippi State University, US), Melanie Tory (Tableau Software – Palo Alto, US), Kai Xu (Middlesex University – London, GB) | Top |
18. – 23. November 2018, Dagstuhl Seminar 18471Next Generation Domain Specific Conceptual Modeling: Principles and MethodsHeinrich C. Mayr (Alpen-Adria-Universität Klagenfurt, AT), Sudha Ram (University of Arizona – Tucson, US), Wolfgang Reisig (HU Berlin, DE), Markus Stumptner (University of South Australia – Mawson Lakes, AU) | Top |
18. – 21. November 2018, Dagstuhl Perspectives Workshop 18472Implementing FAIR Data InfrastructuresNatalia Manola (University of Athens, GR), Andrea Scharnhorst (Royal Netherlands Academy of Arts & Sciences, NL), Klaus Tochtermann (ZBW-Leibniz-Informationszentrum Wirtschaft – Kiel, DE), Peter Wittenburg (Max Planck Computing and Data Facility – Garching, DE) | Top |
25. – 30. November 2018, Dagstuhl Seminar 18481High Throughput ConnectomicsMoritz Helmstaedter (MPI for Brain Research – Frankfurt am Main, DE), Jeff Lichtman (Harvard University – Cambridge, US), Nir Shavit (MIT – Cambridge, US) | Top |
25. – 30. November 2018, Dagstuhl Seminar 18482Network Visualization in the HumanitiesKaty Börner (Indiana University – Bloomington, US), Dan Edelstein (Stanford University, US), Tamara Mchedlidze (KIT – Karlsruher Institut für Technologie, DE), Gerik Scheuermann (Universität Leipzig, DE), Raymond G. Siemens (University of Victoria, CA) | Top |
02. – 07. Dezember 2018, Dagstuhl Seminar 18491Multidirectional Transformations and SynchronisationsAnthony Cleve (University of Namur, BE), Ekkart Kindler (Technical University of Denmark – Lyngby, DK), Perdita Stevens (University of Edinburgh, GB), Vadim Zaytsev (RainCode – Brussels, BE) | Top |
16. – 21. Dezember 2018, Dagstuhl Seminar 18511Algebraic Coding Theory for Networks, Storage, and SecurityMartin Bossert (Universität Ulm, DE), Eimear Byrne (University College Dublin, IE), Antonia Wachter-Zeh (TU München, DE) | Top |