Seminars and Dagstuhl Perspectives Workshops 2015:



January 4 – 9 , 2015, Dagstuhl Seminar 15021

Concurrent Computing in the Many-core Era


Pascal Felber (Université de Neuchâtel, CH), J. Eliot B. Moss (University of Massachusetts – Amherst, US), Michael Philippsen (Universität Erlangen-Nürnberg, DE), Michael L. Scott (University of Rochester, US)

Top

January 4 – 7 , 2015, Dagstuhl Seminar 15022

Quality of Experience: From Assessment to Application


Katrien De Moor (NTNU – Trondheim, NO), Markus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Peter Reichl (Universität Wien, AT), Martín Varela (VTT Technical Research Centre of Finland – Oulu, FI)

Top

January 11 – 16 , 2015, Dagstuhl Seminar 15031

Understanding Complexity in Multiobjective Optimization


Salvatore Greco (University of Catania, IT & University of Portsmouth, GB), Kathrin Klamroth (Universität Wuppertal, DE), Joshua D. Knowles (University of Manchester, GB), Günter Rudolph (TU Dortmund, DE)

Top

January 18 – 23 , 2015, Dagstuhl Seminar 15041

Model-driven Algorithms and Architectures for Self-Aware Computing Systems


Jeffrey O. Kephart (IBM TJ Watson Research Center – Yorktown Heights, US), Samuel Kounev (Universität Würzburg, DE), Marta Kwiatkowska (University of Oxford, GB), Xiaoyun Zhu (VMware – Palo Alto, US)

Top

January 18 – 21 , 2015, Dagstuhl Seminar 15042

Coalgebraic Semantics of Reflexive Economics


Samson Abramsky (University of Oxford, GB), Alexander Kurz (University of Leicester, GB), Pierre Lescanne (ENS – Lyon, FR), Viktor Winschel (Universität Mannheim, DE)

Top

January 25 – 30 , 2015, Dagstuhl Seminar 15051

Artificial and Computational Intelligence in Games: Integration


Simon M. Lucas (University of Essex, GB), Michael Mateas (University of California – Santa Cruz, US), Pieter Spronck (Tilburg University, NL), Julian Togelius (New York University, US)

Top

January 25 – 30 , 2015, Dagstuhl Seminar 15052

Empirical Evaluation for Graph Drawing


Ulrik Brandes (Universität Konstanz, DE), Irene Finocchi (Sapienza University of Rome, IT), Martin Nöllenburg (KIT – Karlsruher Institut für Technologie, DE), Aaron Quigley (University of St. Andrews, GB)

Top

February 1 – 6 , 2015, Dagstuhl Seminar 15061

Non-Zero-Sum-Games and Control


Krishnendu Chatterjee (IST Austria – Klosterneuburg, AT), Stéphane Lafortune (University of Michigan – Ann Arbor, US), Nicolas Markey (ENS – Cachan, FR), Wolfgang Thomas (RWTH Aachen, DE)

Top

February 1 – 6 , 2015, Dagstuhl Seminar 15062

Domain-Specific Languages


Sebastian Erdweg (TU Darmstadt, DE), Martin Erwig (Oregon State University, US), Richard F. Paige (University of York, GB), Eelco Visser (TU Delft, NL)

Top

February 8 – 13 , 2015, Dagstuhl Seminar 15071

Formal Foundations for Networking


Nikolaj S. Bjorner (Microsoft Corporation – Redmond, US), Nate Foster (Cornell University, US), Philip Brighten Godfrey (University of Illinois – Urbana-Champaign, US), Pamela Zave (AT&T Labs Research – Bedminster, US)

Top

February 8 – 11 , 2015, Dagstuhl Seminar 15072

Distributed Cloud Computing


Yvonne Coady (University of Victoria, CA), James Kempf (Ericsson – San Jose, US), Rick McGeer (HP Enterprise Services – Palo Alto, US), Stefan Schmid (TU Berlin, DE)

Top

February 15 – 20 , 2015, Dagstuhl Seminar 15081

Holistic Scene Understanding


Jiri Matas (Czech Technical University, CZ), Vittorio Murino (Italian Institute of Technology – Genova, IT), Bodo Rosenhahn (Leibniz Universität Hannover, DE)

Top

February 15 – 20 , 2015, Dagstuhl Seminar 15082

Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks


Hartmut Klauck (Nanyang TU – Singapore, SG), Troy Lee (National University of Singapore, SG), Dirk Oliver Theis (University of Tartu, EE), Rekha R. Thomas (University of Washington – Seattle, US)

Top

February 22 – 27 , 2015, Dagstuhl Seminar 15091

Smart Buildings and Smart Grids


Hans-Arno Jacobsen (TU München, DE), Randy H. Katz (University of California – Berkeley, US), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE)

Top

March 1 – 6 , 2015, Dagstuhl Seminar 15101

Bridging Information Visualization with Machine Learning


Daniel A. Keim (Universität Konstanz, DE), Tamara Munzner (University of British Columbia – Vancouver, CA), Fabrice Rossi (University of Paris I, FR), Michel Verleysen (University of Louvain, BE)

Top

March 1 – 4 , 2015, Dagstuhl Seminar 15102

Secure Routing for Future Communication Networks


Amir Herzberg (Bar-Ilan University – Ramat Gan, IL), Matthias Hollick (TU Darmstadt, DE), Allison Mankin (Verisign Labs – Reston, US), Adrian Perrig (ETH Zürich, CH)

Top

March 8 – 13 , 2015, Dagstuhl Seminar 15111

Computational Geometry


Otfried Cheong (KAIST – Daejeon, KR), Jeff Erickson (University of Illinois – Urbana-Champaign, US), Monique Teillaud (INRIA Lorraine – Nancy, FR)

Top

March 8 – 11 , 2015, Dagstuhl Seminar 15112

Network Calculus


Florin Ciucu (University of Warwick – Coventry, GB), Markus Fidler (Leibniz Universität Hannover, DE), Jörg Liebeherr (University of Toronto, CA), Jens Schmitt (TU Kaiserslautern, DE)

Top

March 15 – 20 , 2015, Dagstuhl Seminar 15121

Mixed Criticality on Multicore/Manycore Platforms


Sanjoy K. Baruah (University of North Carolina at Chapel Hill, US), Liliana Cucu-Grosjean (INRIA – Le Chesnay, FR), Robert Davis (University of York, GB), Claire Maiza (VERIMAG – Grenoble, FR)

Top

March 15 – 20 , 2015, Dagstuhl Seminar 15122

Formal Models of Graph Transformation in Natural Language Processing


Frank Drewes (University of Umeå, SE), Kevin Knight (USC – Marina del Rey, US), Marco Kuhlmann (Linköping University, SE)

Top

March 22 – 27 , 2015, Dagstuhl Seminar 15131

Normative Multi-Agent Systems


Amit K. Chopra (Lancaster University, GB), Leon van der Torre (University of Luxembourg, LU), Harko Verhagen (Stockholm University, SE), Serena Villata (INRIA Sophia Antipolis – Méditerranée, FR)

Top

April 7 – 10 , 2015, Dagstuhl Seminar 15151

Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations


David Hutchison (Lancaster University, GB), Klara Nahrstedt (University of Illinois – Urbana-Champaign, US), Marcus Schöller (Hochschule Reutlingen, DE), Indra Spiecker gen. Döhmann (Goethe-Universität Frankfurt, DE)

Top

April 7 – 10 , 2015, Dagstuhl Seminar 15152

Machine Learning with Interdependent and Non-identically Distributed Data


Trevor Darrell (University of California – Berkeley, US), Marius Kloft (HU Berlin, DE), Massimiliano Pontil (University College London, GB), Gunnar Rätsch (Memorial Sloan-Kettering Cancer Center – New York, US)

Top

April 12 – 17 , 2015, Dagstuhl Seminar 15161

Advanced Stencil-Code Engineering


Matthias Bolten (Bergische Universität Wuppertal, DE), Robert D. Falgout (LLNL – Livermore, US), Christian Lengauer (Universität Passau, DE), Olaf Schenk (University of Lugano, CH)

Top

April 12 – 17 , 2015, Dagstuhl Seminar 15162

Software and Systems Traceability for Safety-Critical Projects


Jane Cleland-Huang (DePaul University – Chicago, US), Patrick Mäder (TU Ilmenau, DE), Sanjai Rayadurgam (University of Minnesota – Minneapolis, US), Wilhelm Schäfer (Universität Paderborn, DE)

Top

April 19 – 24 , 2015, Dagstuhl Seminar 15171

Theory and Practice of SAT Solving


Armin Biere (Universität Linz, AT), Vijay Ganesh (University of Waterloo, CA), Martin Grohe (RWTH Aachen, DE), Jakob Nordström (KTH Royal Institute of Technology, SE), Ryan Williams (Stanford University, US)

Top

April 26 – 30 , 2015, Dagstuhl Seminar 15181

Challenges and Trends in Probabilistic Programming


Gilles Barthe (IMDEA Software – Madrid, ES), Andrew D. Gordon (Microsoft Research UK – Cambridge, GB), Joost-Pieter Katoen (RWTH Aachen, DE), Annabelle McIver (Macquarie University – Sydney, AU)

Top

April 26 – 29 , 2015, Dagstuhl Seminar 15182

Qualification of Formal Methods Tools


Darren Cofer (Rockwell Collins – Bloomington, US), Gerwin Klein (Data61 / NICTA – Sydney, AU), Konrad Slind (Rockwell Collins – Bloomington, US), Virginie Wiels (ONERA – Toulouse, FR)

Top

May 3 – 8 , 2015, Dagstuhl Seminar 15191

Compositional Verification Methods for Next-Generation Concurrency


Lars Birkedal (Aarhus University, DK), Derek Dreyer (MPI-SWS – Saarbrücken, DE), Philippa Gardner (Imperial College London, GB), Zhong Shao (Yale University, US)

Top

May 3 – 8 , 2015, Dagstuhl Seminar 15192

The Message in the Shadow: Noise or Knowledge?


Roberto Casati (ENS – Paris, FR), Patrick Cavanagh (Paris Descartes University, FR), Paulo E. Santos (University Center of FEI – Sao Paolo, BR)

Top

May 10 – 13 , 2015, Dagstuhl Seminar 15201

Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations


Alexander G. Hauptmann (Carnegie Mellon University, US), James Hodson (Bloomberg – New York, US), Juanzi Li (Tsinghua University – Beijing, CN), Nicu Sebe (University of Trento, IT)

Top

May 17 – 22 , 2015, Dagstuhl Seminar 15211

Theory of Evolutionary Algorithms


Benjamin Doerr (Ecole Polytechnique – Palaiseau, FR), Nikolaus Hansen (University of Paris South XI, FR), Christian Igel (University of Copenhagen, DK), Lothar Thiele (ETH Zürich, CH)

Top

May 25 – 29 , 2015, Dagstuhl Seminar 15221

Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges


Igor Douven (Paris-Sorbonne University, FR), Gabriele Kern-Isberner (TU Dortmund, DE), Markus Knauff (Universität Gießen, DE), Henri Prade (Paul Sabatier University – Toulouse, FR)

Top

May 25 – 28 , 2015, Dagstuhl Seminar 15222

Human-Centric Development of Software Tools


Andrew J. Ko (University of Washington – Seattle, US), Shriram Krishnamurthi (Brown University – Providence, US), Gail C. Murphy (University of British Columbia – Vancouver, CA), Janet Siegmund (Universität Passau, DE)

Top

June 7 – 12 , 2015, Dagstuhl Seminar 15241

Computational Social Choice: Theory and Applications


Craig Boutilier (University of Toronto, CA), Britta Dorn (Universität Tübingen, DE), Nicolas Maudet (UPMC – Paris, FR), Vincent Merlin (Caen University, FR)

Top

June 7 – 12 , 2015, Dagstuhl Seminar 15242

Complexity of Symbolic and Numerical Problems


Peter Bürgisser (TU Berlin, DE), Felipe Cucker (City University – Hong Kong, HK), Marek Karpinski (Universität Bonn, DE), Nicolai Vorobjov (University of Bath, GB)

Top

June 14 – 19 , 2015, Dagstuhl Seminar 15251

Sparse Modelling and Multi-exponential Analysis


Annie Cuyt (University of Antwerp, BE), George Labahn (University of Waterloo, CA), Avraham Sidi (Technion – Haifa, IL)

Top

June 21 – 26 , 2015, Dagstuhl Seminar 15261

Logics for Dependence and Independence


Erich Grädel (RWTH Aachen, DE), Juha Kontinen (University of Helsinki, FI), Jouko Väänänen (University of Helsinki, FI), Heribert Vollmer (Leibniz Universität Hannover, DE)

Top

June 21 – 26 , 2015, Dagstuhl Seminar 15262

Life-long Health Behavior-change Technologies


Susanne Boll (Universität Oldenburg, DE), Eric Hekler (Arizona State University – Phoenix, US), Predrag Klasnja (University of Michigan – Ann Arbor, US)

Top

July 5 – 10 , 2015, Dagstuhl Seminar 15281

Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems


Henri Casanova (University of Hawaii at Manoa – Honolulu, US), Ewa Deelman (USC – Marina del Rey, US), Yves Robert (ENS – Lyon, FR), Uwe Schwiegelshohn (TU Dortmund, DE)

Top

July 19 – 24 , 2015, Dagstuhl Seminar 15301

The Constraint Satisfaction Problem: Complexity and Approximability


Andrei A. Bulatov (Simon Fraser University – Burnaby, CA), Venkatesan Guruswami (Carnegie Mellon University, US), Andrei Krokhin (Durham University, GB), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU)

Top

July 19 – 24 , 2015, Dagstuhl Perspectives Workshop 15302

Digital Scholarship and Open Science in Psychology and the Behavioral Sciences


Alexander Garcia Castro (Technical University of Madrid, ES), Janna Hastings (European Bioinformatics Institute – Cambridge, GB), Robert Stevens (University of Manchester, GB), Erich Weichselgartner (ZPID – Trier, DE)

Top

August 16 – 21 , 2015, Dagstuhl Perspectives Workshop 15342

Power-Bounded HPC Performance Optimization


Dieter Kranzlmüller (LMU München, DE), Barry L. Rountree (LLNL – Livermore, US)

Top

August 23 – 28 , 2015, Dagstuhl Seminar 15351

Computational Mass Spectrometry


Rudolf Aebersold (ETH Zürich, CH), Oliver Kohlbacher (Universität Tübingen, DE), Olga Vitek (Northeastern University – Boston, US)

Top

August 23 – 26 , 2015, Dagstuhl Seminar 15352

Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences


Krishnendu Chakrabarty (Duke University – Durham, US), Tsung-Yi Ho (National Chiao-Tung University – Hsinchu, TW), Robert Wille (Universität Bremen, DE)

Top

August 30 – September 4 , 2015, Dagstuhl Seminar 15361

Mathematical and Computational Foundations of Learning Theory


Matthias Hein (Universität des Saarlandes, DE), Gabor Lugosi (UPF – Barcelona, ES), Lorenzo Rosasco (MIT – Cambridge, US)

Top

August 30 – September 4 , 2015, Dagstuhl Perspectives Workshop 15362

Present and Future of Formal Argumentation


Dov M. Gabbay (King's College London, GB), Massimiliano Giacomin (University of Brescia, IT), Beishui Liao (Zhejiang University, CN), Leon van der Torre (University of Luxembourg, LU)

Top

September 6 – 11 , 2015, Dagstuhl Seminar 15371

Quantum Cryptanalysis


Michele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Nicolas Sendrier (INRIA – Le Chesnay, FR), Rainer Steinwandt (Florida Atlantic University – Boca Raton, US)

Top

September 13 – 18 , 2015, Dagstuhl Seminar 15381

Information from Deduction: Models and Proofs


Nikolaj S. Bjorner (Microsoft Corporation – Redmond, US), Jasmin Christian Blanchette (INRIA Lorraine – Nancy, FR), Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE), Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)

Top

September 13 – 16 , 2015, Dagstuhl Seminar 15382

Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training


Ricardo Duarte (University of Lisbon, PT), Björn Eskofier (Universität Erlangen-Nürnberg, DE), Patrick Lucey (Disney Research – Pittsburgh, US), Martin Rumpf (Universität Bonn, DE), Josef Wiemeyer (TU Darmstadt, DE)

Top

September 20 – 25 , 2015, Dagstuhl Seminar 15391

Algorithms and Complexity for Continuous Problems


Aicke Hinrichs (Universität Linz, AT), Joseph F. Traub (New York, US), Henryk Wozniakowski (Columbia University – New York, US), Larisa Yaroslavtseva (Universität Passau, DE)

Top

September 20 – 25 , 2015, Dagstuhl Seminar 15392

Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis


Vasco Brattka (Universität der Bundeswehr – München, DE), Akitoshi Kawamura (University of Tokyo, JP), Alberto Marcone (University of Udine, IT), Arno Pauly (University of Cambridge, GB)

Top

September 27 – October 2 , 2015, Dagstuhl Seminar 15401

Circuits, Logic and Games


Mikolaj Bojanczyk (University of Warsaw, PL), Meena Mahajan (The Institute of Mathematical Sciences, IN), Thomas Schwentick (TU Dortmund, DE), Heribert Vollmer (Leibniz Universität Hannover, DE)

Top

September 27 – October 2 , 2015, Dagstuhl Seminar 15402

Self-assembly and Self-organization in Computer Science and Biology


Vincent Danos (University of Edinburgh, GB), Heinz Koeppl (TU Darmstadt, DE)

Top

October 4 – 9 , 2015, Dagstuhl Seminar 15411

Multimodal Manipulation Under Uncertainty


Jan Peters (TU Darmstadt, DE), Justus Piater (Universität Innsbruck, AT), Robert Platt (Northeastern University – Boston, US), Siddhartha Srinivasa (Carnegie Mellon University, US)

Top

October 4 – 9 , 2015, Dagstuhl Seminar 15412

Dynamic Traffic Models in Transportation Science


José R. Correa (University of Chile – Santiago de Chile, CL), Tobias Harks (Maastricht University, NL), Kai Nagel (TU Berlin, DE), Britta Peis (RWTH Aachen, DE), Martin Skutella (TU Berlin, DE)

Top

October 11 – 16 , 2015, Dagstuhl Seminar 15421

Rack-scale Computing


Babak Falsafi (EPFL – Lausanne, CH), Tim Harris (Oracle Labs – Cambridge, GB), Dushyanth Narayanan (Microsoft Research UK – Cambridge, GB), David Patterson (University of California – Berkeley, US)

Top

October 18 – 23 , 2015, Dagstuhl Seminar 15431

Genomic Privacy


Jean Pierre Hubaux (EPFL – Lausanne, CH), Stefan Katzenbeisser (TU Darmstadt, DE), Bradley Malin (Vanderbilt University – Nashville, US), Gene Tsudik (University of California – Irvine, US)

Top

October 25 – 30 , 2015, Dagstuhl Seminar 15441

Duality in Computer Science


Mai Gehrke (University of Paris VII, FR), Achim Jung (University of Birmingham, GB), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Dieter Spreen (Universität Siegen, DE)

Top

October 25 – 30 , 2015, Dagstuhl Seminar 15442

Approaches and Applications of Inductive Programming


Jose Hernandez-Orallo (Technical University of Valencia, ES), Stephen H. Muggleton (Imperial College London, GB), Ute Schmid (Universität Bamberg, DE), Benjamin Zorn (Microsoft Research – Redmond, US)

Top

November 1 – 6 , 2015, Dagstuhl Seminar 15451

Verification of Evolving Graph Structures


Parosh Aziz Abdulla (Uppsala University, SE), Fabio Gadducci (University of Pisa, IT), Barbara König (Universität Duisburg-Essen, DE), Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE)

Top

November 1 – 4 , 2015, Dagstuhl Perspectives Workshop 15452

Artifact Evaluation for Publications


Bruce R. Childers (University of Pittsburgh, US), Grigori Fursin (cTuning – Cachan, FR), Shriram Krishnamurthi (Brown University – Providence, US), Andreas Zeller (Universität des Saarlandes, DE)

Top

November 8 – 13 , 2015, Dagstuhl Seminar 15461

Vision for Autonomous Vehicles and Probes


Andrés Bruhn (Universität Stuttgart, DE), Atsushi Imiya (Chiba University, JP), Ales Leonardis (University of Birmingham, GB), Tomas Pajdla (Czech Technical University, CZ)

Top

November 10 – 13 , 2015, Dagstuhl Seminar 15462

The Mobile Revolution – Machine Intelligence for Autonomous Vehicles


Wolfram Burgard (Universität Freiburg, DE), Uwe Franke (Daimler AG – Sindelfingen, DE), Mohan Trivedi (University of California, San Diego – La Jolla, US)

Top

November 15 – 20 , 2015, Dagstuhl Seminar 15471

Symbolic Computation and Satisfiability Checking


Erika Abraham (RWTH Aachen, DE), Pascal Fontaine (LORIA – Nancy, FR), Thomas Sturm (MPI für Informatik – Saarbrücken, DE), Dongming Wang (Beihang University – Beijing, CN)

Top

November 15 – 18 , 2015, Dagstuhl Seminar 15472

Programming with "Big Code"


William W. Cohen (Carnegie Mellon University, US), Charles Sutton (University of Edinburgh, GB), Martin Vechev (ETH Zürich, CH)

Top

November 22 – 27 , 2015, Dagstuhl Seminar 15481

Evaluation in the Crowd: Crowdsourcing and Human-Centred Experiments


Daniel Archambault (Swansea University, GB), Tobias Hoßfeld (Universität Duisburg-Essen, DE), Helen C. Purchase (University of Glasgow, GB)

Top

November 22 – 27 , 2015, Dagstuhl Seminar 15482

Social Concepts in Self-organising Systems


Ada Diaconescu (Telecom Paris Tech, FR), Stephen Marsh (UOIT – Oshawa, CA), Jeremy Pitt (Imperial College London, GB), Wolfgang Reif (Universität Augsburg, DE)

Top

November 29 – December 4 , 2015, Dagstuhl Seminar 15491

Approximate and Probabilistic Computing: Design, Coding, Verification


Antonio Filieri (Imperial College London, GB), Marta Kwiatkowska (University of Oxford, GB), Todd Mytkowicz (Microsoft Corporation – Redmond, US), Martin C. Rinard (MIT – Cambridge, US)

Top

November 29 – December 4 , 2015, Dagstuhl Seminar 15492

Computational Metabolomics


Sebastian Böcker (Universität Jena, DE), Oliver Fiehn (University of California – Davis, US), Juho Rousu (Aalto University, FI), Emma Schymanski (Eawag – Dübendorf, CH)

Top

December 13 – 18 , 2015, Dagstuhl Seminar 15511

The Graph Isomorphism Problem


Laszlo Babai (University of Chicago, US), Anuj Dawar (University of Cambridge, GB), Pascal Schweitzer (RWTH Aachen, DE), Jacobo Torán (Universität Ulm, DE)

Top

December 13 – 18 , 2015, Dagstuhl Seminar 15512

Debating Technologies


Iryna Gurevych (TU Darmstadt, DE), Eduard H. Hovy (Carnegie Mellon University – Pittsburgh, US), Noam Slonim (IBM – Haifa, IL), Benno Stein (Bauhaus-Universität Weimar, DE)

Top