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 |
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 |
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 |
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 (Univ. of Texas at Austin, US), Joost-Pieter Katoen (RWTH Aachen, DE), Pushmeet Kohli (Microsoft Research – Redmond, US), Jan Kretinsky (TU München, DE) | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |