Seminare und Dagstuhl-Perspektiven-Workshops 2015:



04. – 09. Januar 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

04. – 07. Januar 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

11. – 16. Januar 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

18. – 23. Januar 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

18. – 21. Januar 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

25. – 30. Januar 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

25. – 30. Januar 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

01. – 06. Februar 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

01. – 06. Februar 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

08. – 13. Februar 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

08. – 11. Februar 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

15. – 20. Februar 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

15. – 20. Februar 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

22. – 27. Februar 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

01. – 06. März 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

01. – 04. März 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

08. – 13. März 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

08. – 11. März 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

15. – 20. März 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

15. – 20. März 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

22. – 27. März 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

07. – 10. April 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

07. – 10. April 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

12. – 17. April 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

12. – 17. April 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

19. – 24. April 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

26. – 30. April 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

26. – 29. April 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

03. – 08. Mai 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

03. – 08. Mai 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

10. – 13. Mai 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

17. – 22. Mai 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

25. – 29. Mai 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

25. – 28. Mai 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

07. – 12. Juni 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

07. – 12. Juni 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

14. – 19. Juni 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

21. – 26. Juni 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

21. – 26. Juni 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

05. – 10. Juli 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

19. – 24. Juli 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

19. – 24. Juli 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

16. – 21. August 2015, Dagstuhl Perspectives Workshop 15342

Power-Bounded HPC Performance Optimization


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

Top

23. – 28. August 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

23. – 26. August 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

30. August – 04. September 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

30. August – 04. September 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

06. – 11. September 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

13. – 18. September 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

13. – 16. September 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

20. – 25. September 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

20. – 25. September 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

27. September – 02. Oktober 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

27. September – 02. Oktober 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

04. – 09. Oktober 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

04. – 09. Oktober 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

11. – 16. Oktober 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

18. – 23. Oktober 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

25. – 30. Oktober 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

25. – 30. Oktober 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

01. – 06. November 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

01. – 04. November 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

08. – 13. November 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

10. – 13. November 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

15. – 20. November 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

15. – 18. November 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

22. – 27. November 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

22. – 27. November 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

29. November – 04. Dezember 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

29. November – 04. Dezember 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

13. – 18. Dezember 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

13. – 18. Dezember 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