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 (University of New Mexico – Albuquerque, 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 – Barcelona, 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 (Universidad Adolfo Ibáñez – Santiago, 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 |
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 (INRIA – Rennes, FR), Sigrid Eldh (Ericsson Research – 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 Warwick – Coventry, 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 & 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 MainstreamDaan Leijen (Microsoft Research – Redmond, US), Matija Pretnar (University of Ljubljana, SI), Tom Schrijvers (KU Leuven, BE), KC Sivaramakrishnan (University of Cambridge, GB) | 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 (NTNU – Trondheim, NO), 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 (Volvo Car Corporation – 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, 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: Combining Embodied Cognition and Sensor/Actuator Engineering for Design of New User 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 (KIT – Karlsruher Institut für Technologie, 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 Internet and beyondPhillipa Gill (University of Massachusetts – Amherst, US), Amir Herzberg (Bar-Ilan University – Ramat Gan, IL), 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 (MPI für biologische Kybernetik – Tübingen, 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), Erini Ntoutsi (Universität Hannover, DE), Steffen Staab (Universität Koblenz-Landau, 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 (Universität Bonn, DE), Srinivasa Rao Satti (Seoul National University, KR) | Top |
15. – 20. Juli 2018, Dagstuhl Seminar 18291Extreme ClassificationSamy Bengio (Google Mountain View, US), Krzysztof Dembczynski (Poznan University of Technology, PL), Thorsten Joachims (Cornell University – Ithaca, US), Marius Kloft (HU Berlin, DE), Manik Varma (Microsoft Research India – Bangalore, IN) | Top |
05. – 08. August 2018, Dagstuhl Seminar 18321Web Application SecurityMartin Johns (SAP SE – Karlsruhe, DE), Nick Nikiforakis (Stony Brook University, US), Melanie Volkamer (Karlstad University, SE), John Wilander (Apple Computer Inc. – Cupertino, US) | 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 |
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 Saclay – Île-de-France, 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 (Free University of Brussels, BE) | 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 |
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 |
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), Yvonne Jansen (UPMC – Paris, FR), Bernice E. Rogowitz (Visual Perspective – New York, US), Andrew Vande Moere (KU Leuven, BE) | 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 (Stanford University, US), Ittay Eyal (Cornell University – Ithaca, US) | 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 |