Seminare und Dagstuhl-Perspektiven-Workshops 2018:



07. – 12. Januar 2018, Dagstuhl Seminar 18021

Symmetric Cryptography


Joan 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 18031

Personalized Multiobjective Optimization: An Analytics Perspective


Kathrin 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 18041

Foundations of Data Visualization


Helwig 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 18051

Proof Complexity


Albert 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

04. – 09. Februar 2018, Dagstuhl Seminar 18061

Evidence About Programmers for Programming Language Design


Stefan 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 18071

Planning and Operations Research


J. 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 18081

Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization


Pierre 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 18091

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases


Annette 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 18101

Scheduling


Magnus M. Halldorsson (Reykjavik University, IS), Nicole Megow (Universität Bremen, DE), Clifford Stein (Columbia University, US)

Top

11. – 16. März 2018, Dagstuhl Seminar 18111

Loop Optimization


Sebastian 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 18121

Machine Learning and Model Checking Join Forces


Nils 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 18151

Program Equivalence


Shuvendu 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 18161

Visualization of Biological Data - Crossroads


Jan Aerts (KU Leuven, BE), Nils Gehlenborg (Harvard University, US), Georgeta Elisabeta Marai (University of Illinois – Chicago, US), Kay Nieselt (Universität Tübingen, DE)

Top

22. – 27. April 2018, Dagstuhl Seminar 18171

Normative Multi-Agent Systems


Mehdi 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 18181

Towards Accountable Systems


David 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 18201

Secure Compilation


Amal 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 18211

Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance


Javier Esparza (TU München, DE), Pierre Fraigniaud (University Paris-Diderot, FR), Anca Muscholl (University of Bordeaux, FR), Sergio Rajsbaum (Universidad Nacional Autonoma – Mexico, MX)

Top

10. – 15. Juni 2018, Dagstuhl Seminar 18241

High-Performance Graph Algorithms


Henning 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 18251

Database Architectures for Modern Hardware


Peter 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 18261

Discipline Convergence in Networked Systems


Yungang 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 18482

Network Visualization in the Humanities


Katy 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