Seminars and Dagstuhl Perspectives Workshops 2018:
January 7 – 12 , 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 |
January 14 – 19 , 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 |
January 21 – 26 , 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 |
January 28 – February 2 , 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 |
January 28 – February 2 , 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 |
February 4 – 9 , 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 |
February 11 – 16 , 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 |
February 18 – 23 , 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 |
February 18 – 23 , 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 |
February 25 – March 2 , 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 |
February 25 – 28 , 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 |
March 4 – 9 , 2018, Dagstuhl Seminar 18101SchedulingMagnús M. Halldórsson (Reykjavik University, IS), Nicole Megow (Universität Bremen, DE), Clifford Stein (Columbia University, US) | Top |
March 4 – 9 , 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 |
March 11 – 16 , 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 |
March 11 – 16 , 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 |
March 18 – 23 , 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 |
March 18 – 21 , 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 |
April 8 – 13 , 2018, Dagstuhl Seminar 18151Program EquivalenceShuvendu K. 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 |
April 8 – 13 , 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 |
April 15 – 20 , 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 |
April 22 – 27 , 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 |
April 22 – 27 , 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 |
April 29 – May 4 , 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 |
April 29 – May 2 , 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 |
May 13 – 18 , 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 |
May 13 – 16 , 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 |
May 21 – 25 , 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 |
May 21 – 24 , 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 |
June 3 – 8 , 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 Živný (University of Oxford, GB) | Top |
June 10 – 15 , 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 |
June 10 – 13 , 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 |
June 17 – 22 , 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 |
June 18 – 21 , 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 |
June 24 – 29 , 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 |
June 24 – 29 , 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 |
July 1 – 6 , 2018, Dagstuhl Seminar 18271In Situ Visualization for Computational ScienceJanine C. Bennett (Sandia National Labs – Albuquerque, US), Hank Childs (University of Oregon – Eugene, US), Christoph Garth (TU Kaiserslautern, DE), Bernd Hentschel (RWTH Aachen, DE) | Top |
July 8 – 13 , 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 |
July 15 – 20 , 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 |
August 5 – 8 , 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 |
August 5 – 10 , 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 |
August 12 – 17 , 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 |
August 12 – 17 , 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 |
August 19 – 24 , 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 |
August 26 – 31 , 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 |
September 2 – 7 , 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 |
September 9 – 14 , 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 |
September 16 – 21 , 2018, Dagstuhl Seminar 18381Quantum Programming LanguagesMichele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Peter Selinger (Dalhousie University – Halifax, CA) | Top |
September 23 – 28 , 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 |
September 30 – October 5 , 2018, Dagstuhl Seminar 18401Automating Data ScienceTijl De Bie (Ghent University, BE), Luc De Raedt (KU Leuven, BE), Holger H. Hoos (Leiden University, NL), Padhraic Smyth (University of California – Irvine, US) | Top |
October 7 – 12 , 2018, Dagstuhl Seminar 18411Progressive Data Analysis and VisualizationJean-Daniel Fekete (INRIA Saclay, FR), Danyel Fisher (Honeycomb – San Francisco, US), Arnab Nandi (Ohio State University – Columbus, US), Michael Sedlmair (Universität Stuttgart, DE) | Top |
October 7 – 10 , 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 |
October 14 – 19 , 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 |
October 14 – 19 , 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 |
October 21 – 26 , 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 |
October 28 – November 2 , 2018, Dagstuhl Seminar 18441Data PhysicalizationJason Alexander (Lancaster University, GB), Petra Isenberg (INRIA Saclay, FR), Yvonne Jansen (CNRS-Sorbonne University – Paris, FR), Bernice E. Rogowitz (Visual Perspectives – New York & Columbia University – New York, US), Andrew Vande Moere (KU Leuven, BE) | Top |
October 28 – November 2 , 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 |
November 4 – 9 , 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 |
November 11 – 16 , 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 |
November 11 – 16 , 2018, Dagstuhl Seminar 18462Provenance and Logging for Sense MakingJean-Daniel Fekete (INRIA Saclay, FR), T. J. Jankun-Kelly (Mississippi State University, US), Melanie Tory (Tableau Software – Palo Alto, US), Kai Xu (Middlesex University – London, GB) | Top |
November 18 – 23 , 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 |
November 18 – 21 , 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 |
November 25 – 30 , 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 |
November 25 – 30 , 2018, Dagstuhl Seminar 18482Network Visualization in the HumanitiesKaty Börner (Indiana University – Bloomington, US), Oyvind Eide (Universität Köln, DE), Tamara Mchedlidze (KIT – Karlsruher Institut für Technologie, DE), Malte Rehbein (Universität Passau, DE), Gerik Scheuermann (Universität Leipzig, DE) | Top |
December 2 – 7 , 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 |
December 16 – 21 , 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 |