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 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 18101SchedulingMagnús M. Halldórsson (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 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 |
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 Živný (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-Perspektive-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 Labs – Albuquerque, 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 'Floyd' 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 (Leiden University, 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 (Universität Stuttgart, 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-Sorbonne University – 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 – Adelaide, AU) | Top |
18. – 21. November 2018, Dagstuhl-Perspektive-Workshop 18472Implementing FAIR Data InfrastructuresNatalia Manola (University of Athens, GR), Andrea Scharnhorst (Royal Netherlands Acad. of Arts & Sci. – Amsterdam, 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), 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 |
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 |