Seminars and Dagstuhl Perspectives Workshops 2015:
January 4 – 9 , 2015, Dagstuhl Seminar 15021Concurrent Computing in the Many-core EraPascal 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 15022Quality of Experience: From Assessment to ApplicationKatrien 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 15031Understanding Complexity in Multiobjective OptimizationSalvatore 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 15041Model-driven Algorithms and Architectures for Self-Aware Computing SystemsJeffrey 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 15042Coalgebraic Semantics of Reflexive EconomicsSamson 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 15051Artificial and Computational Intelligence in Games: IntegrationSimon 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 15052Empirical Evaluation for Graph DrawingUlrik 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 15061Non-Zero-Sum-Games and ControlKrishnendu 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 15062Domain-Specific LanguagesSebastian 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 15071Formal Foundations for NetworkingNikolaj 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 15072Distributed Cloud ComputingYvonne 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 15081Holistic Scene UnderstandingJiri 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 15082Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization RanksHartmut 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 15091Smart Buildings and Smart GridsHans-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 15101Bridging Information Visualization with Machine LearningDaniel 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 15102Secure Routing for Future Communication NetworksAmir 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 15111Computational GeometryOtfried 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 15112Network CalculusFlorin 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 15121Mixed Criticality on Multicore/Manycore PlatformsSanjoy 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 15122Formal Models of Graph Transformation in Natural Language ProcessingFrank 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 15131Normative Multi-Agent SystemsAmit 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 15151Assuring Resilience, Security and Privacy for Flexible Networked Systems and OrganisationsDavid 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 15152Machine Learning with Interdependent and Non-identically Distributed DataTrevor 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 15161Advanced Stencil-Code EngineeringMatthias 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 15162Software and Systems Traceability for Safety-Critical ProjectsJane 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 15171Theory and Practice of SAT SolvingArmin 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 15181Challenges and Trends in Probabilistic ProgrammingGilles 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 15182Qualification of Formal Methods ToolsDarren 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 15191Compositional Verification Methods for Next-Generation ConcurrencyLars 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 15192The 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 15201Cross-Lingual Cross-Media Content Linking: Annotations and Joint RepresentationsAlexander 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 15211Theory of Evolutionary AlgorithmsBenjamin 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 15221Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of ChallengesIgor 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 15222Human-Centric Development of Software ToolsAndrew 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 15241Computational Social Choice: Theory and ApplicationsCraig 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 15242Complexity of Symbolic and Numerical ProblemsPeter 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 15251Sparse Modelling and Multi-exponential AnalysisAnnie Cuyt (University of Antwerp, BE), George Labahn (University of Waterloo, CA), Avraham Sidi (Technion – Haifa, IL) | Top |
June 21 – 26 , 2015, Dagstuhl Seminar 15261Logics for Dependence and IndependenceErich 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 15262Life-long Health Behavior-change TechnologiesSusanne 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 15281Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed SystemsHenri 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 15301The Constraint Satisfaction Problem: Complexity and ApproximabilityAndrei 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 15302Digital Scholarship and Open Science in Psychology and the Behavioral SciencesAlexander 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 15342Power-Bounded HPC Performance OptimizationDieter Kranzlmüller (LMU München, DE), Barry L. Rountree (LLNL – Livermore, US) | Top |
August 23 – 28 , 2015, Dagstuhl Seminar 15351Computational Mass SpectrometryRudolf 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 15352Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life SciencesKrishnendu 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 15361Mathematical and Computational Foundations of Learning TheoryMatthias 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 15362Present and Future of Formal ArgumentationDov 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 15371Quantum CryptanalysisMichele 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 15381Information from Deduction: Models and ProofsNikolaj 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 15382Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to TrainingRicardo 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 15391Algorithms and Complexity for Continuous ProblemsAicke 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 15392Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse AnalysisVasco 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 15401Circuits, Logic and GamesMikolaj 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 15402Self-assembly and Self-organization in Computer Science and BiologyVincent Danos (University of Edinburgh, GB), Heinz Koeppl (TU Darmstadt, DE) | Top |
October 4 – 9 , 2015, Dagstuhl Seminar 15411Multimodal Manipulation Under UncertaintyJan 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 15412Dynamic Traffic Models in Transportation ScienceJosé 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 15421Rack-scale ComputingBabak 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 15431Genomic PrivacyJean 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 15441Duality in Computer ScienceMai 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 15442Approaches and Applications of Inductive ProgrammingJose 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 15451Verification of Evolving Graph StructuresParosh 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 15452Artifact Evaluation for PublicationsBruce 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 15461Vision for Autonomous Vehicles and ProbesAndré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 15462The Mobile Revolution – Machine Intelligence for Autonomous VehiclesWolfram 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 15471Symbolic Computation and Satisfiability CheckingErika 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 15472Programming 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 15481Evaluation in the Crowd: Crowdsourcing and Human-Centred ExperimentsDaniel 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 15482Social Concepts in Self-organising SystemsAda 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 15491Approximate and Probabilistic Computing: Design, Coding, VerificationAntonio 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 15492Computational MetabolomicsSebastian 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 15511The Graph Isomorphism ProblemLaszlo 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 15512Debating TechnologiesIryna 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 |