Seminare und Dagstuhl-Perspektiven-Workshops 2015:
04. – 09. Januar 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 |
04. – 07. Januar 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 |
11. – 16. Januar 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 |
18. – 23. Januar 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 |
18. – 21. Januar 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 |
25. – 30. Januar 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 |
25. – 30. Januar 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 |
01. – 06. Februar 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 |
01. – 06. Februar 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 |
08. – 13. Februar 2015, Dagstuhl-Seminar 15071Formal Foundations for NetworkingNikolaj S. Bjørner (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 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 |
15. – 20. Februar 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 |
15. – 20. Februar 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 |
22. – 27. Februar 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 |
01. – 06. März 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 |
01. – 04. März 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 |
08. – 13. März 2015, Dagstuhl-Seminar 15111Computational GeometryOtfried 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 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 |
15. – 20. März 2015, Dagstuhl-Seminar 15121Mixed Criticality on Multicore/Manycore PlatformsSanjoy 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 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 |
22. – 27. März 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 |
07. – 10. April 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 |
07. – 10. April 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 |
12. – 17. April 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 |
12. – 17. April 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 |
19. – 24. April 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 |
26. – 30. April 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 |
26. – 29. April 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 |
03. – 08. Mai 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 |
03. – 08. Mai 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 |
10. – 13. Mai 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 |
17. – 22. Mai 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 |
25. – 29. Mai 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 |
25. – 28. Mai 2015, Dagstuhl-Seminar 15222Human-Centric Development of Software ToolsA. 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 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 |
07. – 12. Juni 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 |
14. – 19. Juni 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 |
21. – 26. Juni 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 |
21. – 26. Juni 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 |
05. – 10. Juli 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 |
19. – 24. Juli 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 |
19. – 24. Juli 2015, Dagstuhl-Perspektive-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 |
16. – 21. August 2015, Dagstuhl-Perspektive-Workshop 15342Power-Bounded HPC Performance OptimizationDieter Kranzlmüller (LMU München, DE), Barry L. Rountree (LLNL – Livermore, US) | Top |
23. – 28. August 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 |
23. – 26. August 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 |
30. August – 04. September 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 |
30. August – 04. September 2015, Dagstuhl-Perspektive-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 |
06. – 11. September 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 |
13. – 18. September 2015, Dagstuhl-Seminar 15381Information from Deduction: Models and ProofsNikolaj S. Bjørner (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 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 |
20. – 25. September 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 |
20. – 25. September 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 |
27. September – 02. Oktober 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 |
27. September – 02. Oktober 2015, Dagstuhl-Seminar 15402Self-assembly and Self-organization in Computer Science and BiologyVincent Danos (University of Edinburgh, GB), Heinz Koeppl (TU Darmstadt, DE) | Top |
04. – 09. Oktober 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 |
04. – 09. Oktober 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 |
11. – 16. Oktober 2015, Dagstuhl-Seminar 15421Rack-scale ComputingBabak Falsafi (EPFL – Lausanne, CH), Tim Harris (Oracle Labs – Cambridge, GB), Dushyanth Narayanan (Microsoft Research UK – Cambridge, GB), David A. Patterson (University of California – Berkeley, US) | Top |
18. – 23. Oktober 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 |
25. – 30. Oktober 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 |
25. – 30. Oktober 2015, Dagstuhl-Seminar 15442Approaches and Applications of Inductive ProgrammingJosé Hernández-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 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 |
01. – 04. November 2015, Dagstuhl-Perspektive-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 |
08. – 13. November 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 |
10. – 13. November 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 |
15. – 20. November 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 |
15. – 18. November 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 |
22. – 27. November 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 |
22. – 27. November 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 |
29. November – 04. Dezember 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 |
29. November – 04. Dezember 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 |
13. – 18. Dezember 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 |
13. – 18. Dezember 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 |
Seminar-Kalender : Letzte Änderung 16.12.2019, 09:26 Uhr