Seminars and Dagstuhl Perspectives Workshops 2018:



January 7 – 12 , 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

January 14 – 19 , 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

January 21 – 26 , 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

January 28 – February 2 , 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

January 28 – February 2 , 2018, Dagstuhl Seminar 18052

Genetic Improvement of Software


Stephanie 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 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

February 11 – 16 , 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

February 18 – 23 , 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

February 18 – 23 , 2018, Dagstuhl Seminar 18082

Formal Methods for the Synthesis of Biomolecular Circuits


Yaakov 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 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

February 25 – 28 , 2018, Dagstuhl Seminar 18092

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems


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

Scheduling


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

Top

March 4 – 9 , 2018, Dagstuhl Seminar 18102

Dynamic Traffic Models in Transportation Science


Roberto Cominetti (Universidad Adolfo Ibáñez – Santiago, CL), Tobias Harks (Universität Augsburg, DE), Carolina Osorio (MIT – Cambridge, US), Britta Peis (RWTH Aachen, DE)

Top

March 11 – 16 , 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

March 11 – 16 , 2018, Dagstuhl Seminar 18112

Coding Theory for Inference, Learning and Optimization


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

Machine Learning and Model Checking Join Forces


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

Automatic Quality Assurance and Release


Bram 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 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

April 8 – 13 , 2018, Dagstuhl Seminar 18152

Blockchains, Smart Contracts and Future Applications


Foteini 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 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 Katja Nieselt (Universität Tübingen, DE)

Top

April 22 – 27 , 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

April 22 – 27 , 2018, Dagstuhl Seminar 18172

Algebraic Effect Handlers go Mainstream


Daan Leijen (Microsoft Research – Redmond, US), Matija Pretnar (University of Ljubljana, SI), Tom Schrijvers (KU Leuven, BE), KC Sivaramakrishnan (University of Cambridge, GB)

Top

April 29 – May 4 , 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

April 29 – May 2 , 2018, Dagstuhl Seminar 18182

Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research


Pekka 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

May 13 – 18 , 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

May 13 – 16 , 2018, Dagstuhl Seminar 18202

Inter-Vehicular Communication Towards Cooperative Driving


Onur 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 Group Truck Technology – Göteborg, SE)

Top

May 21 – 25 , 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 (National Autonomous University of Mexico, MX)

Top

May 21 – 24 , 2018, Dagstuhl Seminar 18212

On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces


Kasper 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 18231

The Constraint Satisfaction Problem: Complexity and Approximability


Martin 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

June 10 – 15 , 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

June 10 – 13 , 2018, Dagstuhl Seminar 18242

Secure Routing for the Internet


Phillipa 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 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

June 18 – 21 , 2018, Dagstuhl Seminar 18252

Ubiquitous Gaze Sensing and Interaction


Lewis 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

June 24 – 29 , 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

June 24 – 29 , 2018, Dagstuhl Perspectives Workshop 18262

10 Years of Web Science: Closing The Loop


Susan Halford (University of Southampton, GB), James A. Hendler (Rensselaer Polytechnic Institute – Troy, US), Eirini Ntoutsi (Universität Hannover, DE), Steffen Staab (Universität Koblenz-Landau, DE)

Top

July 1 – 6 , 2018, Dagstuhl Seminar 18271

In Situ Visualization for Computational Science


Janine 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 18281

Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices


Jé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 18291

Extreme Classification


Samy 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 18321

Web Application Security


Martin Johns (SAP SE – Karlsruhe, DE), Nick Nikiforakis (Stony Brook University, US), Melanie Volkamer (Karlstad University, SE), John Wilander (Apple Computer Inc. – Cupertino, US)

Top

August 12 – 17 , 2018, Dagstuhl Seminar 18331

Algorithmic Foundations of Programmable Matter


Spring 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 19 – 24 , 2018, Dagstuhl Seminar 18341

Formalization of Mathematics in Type Theory


Andrej 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 18351

Modeling for Sustainability


Gordon 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 18361

Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis


Vasco 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 18371

Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web


Piero 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 18381

Quantum Programming Languages


Michele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Peter Selinger (Dalhousie University – Halifax, CA)

Top

September 23 – 28 , 2018, Dagstuhl Seminar 18391

Algebraic Methods in Computational Complexity


Markus 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 18401

Automating Data Science


Tijl 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

October 7 – 12 , 2018, Dagstuhl Seminar 18411

Progressive Data Analysis and Visualization


Jean-Daniel Fekete (INRIA Saclay – Orsay, FR), Danyel Fisher (Microsoft Research – Redmond, US), Arnab Nandi (Ohio State University – Columbus, US), Michael Sedlmair (Universität Wien, AT)

Top

October 14 – 19 , 2018, Dagstuhl Seminar 18421

Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative


Henning 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 21 – 26 , 2018, Dagstuhl Seminar 18431

Computational Aspects of Fabrication


Marc 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 18441

Data Physicalization


Jason Alexander (Lancaster University, GB), Yvonne Jansen (CNRS-UPMC – Paris, FR), Bernice E. Rogowitz (Visual Perspectives – New York & Columbia University – New York, US), Andrew Vande Moere (KU Leuven, BE)

Top

November 4 – 9 , 2018, Dagstuhl Seminar 18451

Genomics, Pattern Avoidance, and Statistical Mechanics


Michael 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 18461

Blockchain Security at Scale


Rainer Böhme (Universität Innsbruck, AT), Joseph Bonneau (Stanford University, US), Ittay Eyal (Technion – Haifa, IL)

Top

November 25 – 30 , 2018, Dagstuhl Seminar 18481

High Throughput Connectomics


Moritz 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 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

December 2 – 7 , 2018, Dagstuhl Seminar 18491

Multidirectional Transformations and Synchronisations


Anthony 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