Seminare und Dagstuhl-Perspektiven-Workshops 2013:
06. – 11. Januar 2013, Dagstuhl Seminar 13021Symbolic Methods in TestingThierry Jéron (INRIA Rennes – Bretagne Atlantique, FR), Margus Veanes (Microsoft Corporation – Redmond, US), Burkhart Wolff (University of Paris South XI, FR) | Top |
06. – 11. Januar 2013, Dagstuhl Seminar 13022Engineering Resilient Systems: Models, Methods and ToolsNicolas Guelfi (University of Luxembourg, LU), Maritta Heisel (Universität Duisburg-Essen, DE), Mohamed Kaaniche (LAAS – Toulouse, FR), Alexander Romanovsky (University of Newcastle, GB) | Top |
13. – 18. Januar 2013, Dagstuhl Seminar 13031Computational CountingPeter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark R. Jerrum (Queen Mary University of London, GB), Pascal Koiran (ENS – Lyon, FR) | Top |
20. – 25. Januar 2013, Dagstuhl Seminar 13041Civilian Crisis Response ModelsOzlem Ergun (Georgia Institute of Technology, US), Bernhard Katzy (Leiden University, NL), Ulrike Lechner (Universität der Bundeswehr – München, DE), Luk van Wassenhove (INSEAD – Fontainebleau, FR) | Top |
20. – 25. Januar 2013, Dagstuhl Seminar 13042Epidemic Algorithms and Processes: From Theory to ApplicationsBenjamin Doerr (MPI für Informatik – Saarbrücken, DE), Robert Elsässer (Universität Salzburg, AT), Pierre Fraigniaud (University of Paris VII, FR), Rachid Guerraoui (EPFL – Lausanne, CH) | Top |
27. Januar – 01. Februar 2013, Dagstuhl Seminar 13051Software Certification: Methods and ToolsDarren Cofer (Rockwell Collins – Cedar Rapids, US), John Hatcliff (Kansas State University, US), Michaela Huhn (TU Clausthal, DE), Mark Lawford (McMaster University – Hamilton, CA) | Top |
27. Januar – 01. Februar 2013, Dagstuhl Seminar 13052Multicore Enablement for Embedded and Cyber Physical SystemsAndreas Herkersdorf (TU München, DE), Michael G. Hinchey (University of Limerick, IE), Michael Paulitsch (EADS Deutschland – München, DE) | Top |
03. – 08. Februar 2013, Dagstuhl Seminar 13061Fault Prediction, Localization, and RepairMary Jean Harrold (Georgia Institute of Technology – Atlanta, US), Friedrich Steimann (Fernuniversität in Hagen, DE), Frank Tip (University of Waterloo, CA), Andreas Zeller (Universität des Saarlandes, DE) | Top |
03. – 08. Februar 2013, Dagstuhl Seminar 13062Decentralized Systems for Privacy PreservationSonja Buchegger (KTH Royal Institute of Technology, SE), Jon Crowcroft (University of Cambridge, GB), Balachander Krishnamurthy (AT&T Labs Research – Florham Park, US), Thorsten Strufe (TU Darmstadt, DE) | Top |
10. – 15. Februar 2013, Dagstuhl Seminar 13071Dependence Logic: Theory and ApplicationsSamson Abramsky (University of Oxford, GB), Juha Kontinen (University of Helsinki, FI), Jouko Väänänen (University of Helsinki, FI & University of Amsterdam, NL), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
10. – 15. Februar 2013, Dagstuhl Seminar 13072Mechanisms of Ongoing Development in Cognitive RoboticsJacqueline Fagard (Paris Descartes University, FR), Roderic A. Grupen (University of Massachusetts – Amherst, US), Frank Guerin (University of Aberdeen, GB), Norbert Krüger (University of Southern Denmark – Odense, DK) | Top |
17. – 22. Februar 2013, Dagstuhl Seminar 13081Consistency In Distributed SystemsBettina Kemme (McGill University – Montreal, CA), Ganesan Ramalingam (Microsoft Research India – Bangalore, IN), André Schiper (EPFL – Lausanne, CH), Marc Shapiro (INRIA – Paris, FR) | Top |
17. – 22. Februar 2013, Dagstuhl Seminar 13082Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matricesLeRoy B. Beasley (Utah State University, US), Hartmut Klauck (Nanyang TU – Singapore, SG), Troy Lee (National University of Singapore, SG), Dirk Oliver Theis (University of Tartu, EE) | Top |
24. Februar – 01. März 2013, Dagstuhl Seminar 13091Analysis, Test and Verification in The Presence of VariabilityPaulo Borba (Federal University of Pernambuco – Recife, BR), Myra B. Cohen (University of Nebraska – Lincoln, US), Axel Legay (INRIA Rennes – Bretagne Atlantique, FR), Andrzej Wasowski (IT University of Copenhagen, DK) | Top |
03. – 08. März 2013, Dagstuhl Seminar 13101Computational GeometryOtfried Cheong (KAIST – Daejeon, KR), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR) | Top |
10. – 15. März 2013, Dagstuhl Seminar 13111SchedulingSusanne Albers (HU Berlin, DE), Onno J. Boxma (TU Eindhoven, NL), Kirk Pruhs (University of Pittsburgh, US) | Top |
17. – 22. März 2013, Dagstuhl Seminar 13121Bidimensional Structures: Algorithms, Combinatorics and LogicErik D. Demaine (MIT – Cambridge, US), Fedor V. Fomin (University of Bergen, NO), MohammadTaghi Hajiaghayi (University of Maryland – College Park, US), Dimitrios M. Thilikos (University of Athens, GR) | Top |
24. – 27. März 2013, Dagstuhl Seminar 13131Future InternetJon Crowcroft (University of Cambridge, GB), Markus Fidler (Leibniz Universität Hannover, DE), Klara Nahrstedt (University of Illinois – Urbana-Champaign, US), Ralf Steinmetz (TU Darmstadt, DE) | Top |
01. – 05. April 2013, Dagstuhl Seminar 13141Formal Verification of Distributed AlgorithmsBernadette Charron-Bost (Ecole Polytechnique – Palaiseau, FR), Stephan Merz (LORIA – Nancy, FR), Andrey Rybalchenko (TU München, DE), Josef Widder (TU Wien, AT) | Top |
01. – 04. April 2013, Dagstuhl Seminar 13142Correct and Efficient Accelerator ProgrammingAlbert Cohen (ENS – Paris, FR), Alastair F. Donaldson (Imperial College London, GB), Marieke Huisman (University of Twente, NL), Joost-Pieter Katoen (RWTH Aachen, DE) | Top |
07. – 12. April 2013, Dagstuhl Seminar 13151Drawing Graphs and Maps with CurvesSara Fabrikant (Universität Zürich, CH), Stephen G. Kobourov (University of Arizona – Tucson, US), Martin Nöllenburg (KIT – Karlsruher Institut für Technologie, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR) | Top |
14. – 19. April 2013, Dagstuhl Seminar 13161Interface of Computation, Game Theory, and EconomicsSergiu Hart (The Hebrew Univ. of Jerusalem, IL), Éva Tardos (Cornell University, US), Bernhard von Stengel (London School of Economics, GB) | Top |
14. – 19. April 2013, Dagstuhl Seminar 13162Pointer AnalysisOndrej Lhotak (University of Waterloo, CA), Yannis Smaragdakis (University of Athens, GR), Manu Sridharan (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
21. – 26. April 2013, Dagstuhl Seminar 13171Customizing Service PlatformsLuciano Baresi (Polytechnic University of Milan, IT), Andreas Rummler (SAP Research Center – Dresden, DE), Klaus Schmid (Universität Hildesheim, DE) | Top |
28. April – 03. Mai 2013, Dagstuhl Seminar 13181VaToMAS - Verification and Testing of Multi-Agent SystemsAlessio R. Lomuscio (Imperial College London, GB), Sophie Pinchinat (IRISA / CNRS, FR), Holger Schlingloff (HU Berlin, DE) | Top |
28. April – 03. Mai 2013, Dagstuhl Seminar 13182Meta-Modeling Model-Based Engineering ToolsTony Clark (Middlesex University, GB), Robert B. France (Colorado State University, US), Martin Gogolla (Universität Bremen, DE), Bran V. Selic (Malina Software Corp. – Nepean, CA) | Top |
05. – 08. Mai 2013, Dagstuhl Seminar 13192Tree Transducers and Formal MethodsSebastian Maneth (NICTA, AU & University of New South Wales – Sydney, AU), Helmut Seidl (TU München, DE) | Top |
12. – 17. Mai 2013, Dagstuhl Seminar 13201Information Visualization - Towards Multivariate Network VisualizationAndreas Kerren (Linnaeus University – Växjö, SE), Helen C. Purchase (University of Glasgow, GB), Matthew O. Ward (Worcester Polytechnic Institute, US) | Top |
19. – 24. Mai 2013, Dagstuhl Seminar 13211Automated Reasoning on Conceptual SchemasDiego Calvanese (Free University of Bozen-Bolzano, IT), Sven Hartmann (TU Clausthal, DE), Ernest Teniente (UPC – Barcelona, ES) | Top |
19. – 24. Mai 2013, Dagstuhl Seminar 13212Computational Methods Aiding Early-Stage Drug DesignAndreas Bender (University of Cambridge, GB), Hinrich Göhlmann (Janssen Pharmaceutica – Beerse, BE), Sepp Hochreiter (Universität Linz, AT), Ziv Shkedy (Hasselt University – Diepenbeek, BE) | Top |
02. – 07. Juni 2013, Dagstuhl Seminar 13231Belief Change and Argumentation in Multi-Agent ScenariosJürgen Dix (TU Clausthal, DE), Sven Ove Hansson (KTH Royal Institute of Technology, SE), Gabriele Kern-Isberner (TU Dortmund, DE), Guillermo R. Simari (National University of the South – Bahía Blanca, AR) | Top |
02. – 07. Juni 2013, Dagstuhl Seminar 13232Indexes and Computation over Compressed Structured DataSebastian Maneth (University of Oxford, GB), Gonzalo Navarro (University of Chile – Santiago de Chile, CL) | Top |
09. – 14. Juni 2013, Dagstuhl Seminar 13241Virtual RealitiesGuido Brunnett (TU Chemnitz, DE), Sabine Coquillart (INRIA – Grenoble, FR), Robert van Liere (CWI – Amsterdam, NL), Gregory F. Welch (University of Central Florida – Orlando, US) | Top |
16. – 21. Juni 2013, Dagstuhl Seminar 13251Parallel Data AnalysisArtur Andrzejak (Universität Heidelberg, DE), Joachim Giesen (Universität Jena, DE), Raghu Ramakrishnan (Microsoft Corporation – Redmond, US), Ion Stoica (University of California – Berkeley, US) | Top |
16. – 19. Juni 2013, Dagstuhl Seminar 13252Interoperation in Complex Information EcosystemsCraig A. Knoblock (USC – Marina del Rey, US), Kai-Uwe Sattler (TU Ilmenau, DE), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE) | Top |
30. Juni – 05. Juli 2013, Dagstuhl Seminar 13271Theory of Evolutionary AlgorithmsBenjamin Doerr (MPI für Informatik – Saarbrücken, DE), Nikolaus Hansen (University of Paris South XI, FR), Jonathan L. Shapiro (University of Manchester, GB), Darrell Whitley (Colorado State University, US) | Top |
30. Juni – 03. Juli 2013, Dagstuhl Seminar 13272Computer Science in High Performance Sport - Applications and Implications for Professional CoachingKoen A.P.M. Lemmink (University of Groningen, NL), Stuart Morgan (Australian Institute of Sport – Bruce, AU), Jaime Sampaio (Universidade de Trás-os-Montes – Vila Real, PT), Dietmar Saupe (Universität Konstanz, DE) | Top |
28. Juli – 02. August 2013, Dagstuhl Seminar 13311Duality in Computer ScienceMai Gehrke (University of Paris VII, FR), Jean-Eric Pin (University of Paris VII, FR), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Dieter Spreen (Universität Siegen, DE) | Top |
28. Juli – 02. August 2013, Dagstuhl Seminar 13312"My Life, Shared" - Trust and Privacy in the Age of Ubiquitous Experience SharingAlessandro Acquisti (Carnegie Mellon University, US), Ioannis Krontiris (Goethe-Universität Frankfurt am Main, DE), Marc Langheinrich (University of Lugano, CH), Martina Angela Sasse (University College London, GB) | Top |
04. – 09. August 2013, Dagstuhl Seminar 13321Reinforcement LearningPeter Auer (Montan-Universität Leoben, AT), Marcus Hutter (Australian National University, AU), Laurent Orseau (AgroParisTech – Paris, FR) | Top |
04. – 09. August 2013, Dagstuhl Seminar 13322The Critical Internet InfrastructureGeorg Carle (TU München, DE), Jochen Schiller (FU Berlin, DE), Steve Uhlig (Queen Mary University of London, GB), Walter Willinger (AT&T Labs Research – Florham Park, US) | Top |
11. – 16. August 2013, Dagstuhl Seminar 13331Exponential Algorithms: Algorithms and Complexity Beyond Polynomial TimeThore Husfeldt (IT University of Copenhagen, DK), Ramamohan Paturi (University of California – San Diego, US), Gregory B. Sorkin (London School of Economics, GB), Ryan Williams (Stanford University, US) | Top |
18. – 23. August 2013, Dagstuhl Seminar 13341Verifiably Secure Process-Aware Information SystemsRafael Accorsi (Universität Freiburg, DE), Jason Crampton (Royal Holloway University of London, GB), Michael Huth (Imperial College London, GB), Stefanie Rinderle-Ma (Universität Wien, AT) | Top |
18. – 23. August 2013, Dagstuhl Perspectives Workshop 13342ICT Strategies for Bridging Biology and Precision MedicineJonas S. Almeida (University of Alabama – Birmingham, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN & infinity3, DE), Titus Kühne (Deutsches Herzzentrum, DE), Laxmi Parida (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
25. – 30. August 2013, Dagstuhl Seminar 13351Coding TheoryHans-Andrea Loeliger (ETH – Zürich, CH), Emina Soljanin (Bell Labs – Murray Hill, US), Judy L. Walker (University of Nebraska – Lincoln, US) | Top |
25. – 30. August 2013, Dagstuhl Seminar 13352Interaction with Information for Visual ReasoningDavid S. Ebert (Purdue University – West Lafayette, US), Brian D. Fisher (Simon Fraser University – Surrey, CA), Petra Isenberg (University of Paris South XI, FR), Shixia Liu (Microsoft Research – Beijing, CN) | Top |
01. – 04. September 2013, Dagstuhl Seminar 13361Crowdsourcing: From Theory to Practice and Long-Term PerspectivesClaudio Bartolini (HP Labs – Palo Alto, US), Tobias Hoßfeld (Universität Würzburg, DE), Phuoc Tran-Gia (Universität Würzburg, DE), Maja Vukovic (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
01. – 04. September 2013, Dagstuhl Seminar 13362Cloud-based Software CrowdsourcingMichael N. Huhns (University of South Carolina – Columbia, US), Wei Li (Beihang University – Beijing, CN), Wei-Tek Tsai (Arizona State University – Tempe, US) | Top |
08. – 13. September 2013, Dagstuhl Seminar 13371Quantum CryptanalysisSerge Fehr (CWI – Amsterdam, NL), Michele Mosca (University of Waterloo, CA), Martin Roetteler (Microsoft Corporation – Redmond, US), Rainer Steinwandt (Florida Atlantic University – Boca Raton, US) | Top |
08. – 13. September 2013, Dagstuhl Seminar 13372Integration of Tools for Rigorous Software Construction and AnalysisUwe Glässer (Simon Fraser University – Burnaby, CA), Stefan Hallerstede (Aarhus University, DK), Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE), Elvinia Riccobene (University of Milan, IT) | Top |
15. – 20. September 2013, Dagstuhl Seminar 13381Algorithms and Scheduling Techniques for Exascale SystemsHenri Casanova (University of Hawaii at Manoa – Honolulu, US), Yves Robert (ENS – Lyon, FR), Uwe Schwiegelshohn (TU Dortmund, DE) | Top |
15. – 20. September 2013, Dagstuhl Seminar 13382Collaboration and learning through live codingAlan Blackwell (University of Cambridge, GB), Alex McLean (University of Leeds, GB), James Noble (Victoria University – Wellington, NZ), Julian Rohrhuber (Robert Schumann Hochschule für Musik, DE) | Top |
22. – 27. September 2013, Dagstuhl Seminar 13391Algorithm EngineeringAndrew V. Goldberg (Microsoft Corp. – Mountain View, US), Giuseppe F. Italiano (University of Rome "Tor Vergata", IT), David S. Johnson (New York, US), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | Top |
22. – 25. September 2013, Dagstuhl Seminar 13392Inter-Vehicular Communication - Quo VadisOnur Altintas (TOYOTA InfoTechnology Center – Tokyo, JP), Falko Dressler (Universität Innsbruck, AT), Hannes Hartenstein (KIT – Karlsruher Institut für Technologie, DE), Ozan K. Tonguz (Carnegie Mellon University – Pittsburgh, US) | Top |
29. September – 04. Oktober 2013, Dagstuhl Seminar 13401Automatic Application Tuning for HPC ArchitecturesSiegfried Benkner (Universität Wien, AT), Franz Franchetti (Carnegie Mellon University, US), Hans Michael Gerndt (TU München, DE), Jeffrey K. Hollingsworth (University of Maryland – College Park, US) | Top |
29. September – 04. Oktober 2013, Dagstuhl Seminar 13402Physical-Cyber-Social ComputingRamesh Jain (University of California – Irvine, US), Amit P. Sheth (Wright State University – Dayton, US), Steffen Staab (Universität Koblenz-Landau, DE), Markus Strohmaier (Universität Koblenz-Landau, DE) | Top |
06. – 11. Oktober 2013, Dagstuhl Seminar 13411Deduction and ArithmeticNikolaj S. Bjorner (Microsoft Corporation – Redmond, US), Reiner Hähnle (TU Darmstadt, DE), Tobias Nipkow (TU München, DE), Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE) | Top |
06. – 09. Oktober 2013, Dagstuhl Seminar 13412Genomic PrivacyKay Hamacher (TU Darmstadt, DE), Jean Pierre Hubaux (EPFL – Lausanne, CH), Gene Tsudik (University of California – Irvine, US) | Top |
13. – 18. Oktober 2013, Dagstuhl Seminar 13421Algorithms for Optimization Problems in Planar GraphsGlencora Borradaile (Oregon State University, US), Philip N. Klein (Brown University – Providence, US), Dániel Marx (Hungarian Academy of Sciences – Budapest, HU), Claire Mathieu (Brown University – Providence, US) | Top |
13. – 16. Oktober 2013, Dagstuhl Seminar 13422Nominal Computation TheoryMikolaj Bojanczyk (University of Warsaw, PL), Bartek Klin (University of Warsaw, PL), Alexander Kurz (University of Leicester, GB), Andrew M. Pitts (University of Cambridge, GB) | Top |
20. – 25. Oktober 2013, Dagstuhl Seminar 13431Real-World Visual ComputingOliver Grau (Intel Visual Computing Institute – Saarbrücken, DE), Marcus A. Magnor (TU Braunschweig, DE), Olga Sorkine-Hornung (ETH Zürich, CH), Christian Theobalt (MPI für Informatik – Saarbrücken, DE) | Top |
27. Oktober – 01. November 2013, Dagstuhl Seminar 13441Evaluation Methodologies in Information RetrievalMaristella Agosti (University of Padova, IT), Norbert Fuhr (Universität Duisburg-Essen, DE), Elaine Toms (Sheffield University, GB), Pertti Vakkari (University of Tampere, FI) | Top |
03. – 08. November 2013, Dagstuhl Seminar 13451Computational Audio AnalysisMeinard Müller (Universität Erlangen-Nürnberg, DE), Shrikanth S. Narayanan (University of Southern California, US), Björn Schuller (TU München, DE) | Top |
03. – 08. November 2013, Dagstuhl Seminar 13452Proxemics in Human-Computer InteractionSaul Greenberg (University of Calgary, CA), Kasper Hornbaek (University of Copenhagen, DK), Aaron Quigley (University of St. Andrews, GB), Harald Reiterer (Universität Konstanz, DE) | Top |
10. – 15. November 2013, Dagstuhl Seminar 13461Electronic Markets and AuctionsYishay Mansour (Tel Aviv University, IL), Benny Moldovanu (Universität Bonn, DE), Noam Nisan (The Hebrew University of Jerusalem, IL), Berthold Vöcking (RWTH Aachen, DE) | Top |
10. – 15. November 2013, Dagstuhl Seminar 13462Computational Models of Language Meaning in ContextHans Kamp (Universität Stuttgart, DE), Alessandro Lenci (University of Pisa, IT), James Pustejovsky (Brandeis University – Waltham, US) | Top |
17. – 22. November 2013, Dagstuhl Seminar 13471Synchronous ProgrammingAlbert Benveniste (INRIA Rennes – Bretagne Atlantique, FR), Stephen A. Edwards (Columbia University – New York, US), Alain Girault (INRIA – Grenoble, FR), Klaus Schneider (TU Kaiserslautern, DE) | Top |
17. – 20. November 2013, Dagstuhl Seminar 13472Global Measurement FrameworkPhilip Eardley (British Telecom R&D – Ipswich, GB), Marco Mellia (Polytechnic University of Torino, IT), Jörg Ott (Aalto University, FI), Jürgen Schönwälder (Jacobs Universität – Bremen, DE), Henning Schulzrinne (Columbia University – New York, US) | Top |
24. – 29. November 2013, Dagstuhl Seminar 13481Unleashing Operational Process MiningRafael Accorsi (Universität Freiburg, DE), Ernesto Damiani (Università degli Studi di Milano – Crema, IT), Wil van der Aalst (TU Eindhoven, NL) | Top |
24. – 29. November 2013, Dagstuhl Seminar 13482Forensic ComputingFelix Freiling (Universität Erlangen-Nürnberg, DE), Gerrit Hornung (Universität Passau, DE), Radim Polcák (Masaryk University, CZ) | Top |
01. – 06. Dezember 2013, Dagstuhl Seminar 13491Computational Mass SpectrometryRudolf Aebersold (ETH Zürich, CH), Oliver Kohlbacher (Universität Tübingen, DE), Olga Vitek (Purdue University – West Lafayette, US) | Top |
01. – 06. Dezember 2013, Dagstuhl Seminar 13492Geosensor Networks: Bridging Algorithms and ApplicationsMatt Duckham (The University of Melbourne, AU), Stefan Dulman (TU Delft, NL), Jörg-Rüdiger Sack (Carleton University – Ottawa, CA), Monika Sester (Leibniz Universität Hannover, DE) | Top |
08. – 11. Dezember 2013, Dagstuhl Seminar 13502Approaches and Applications of Inductive ProgrammingSumit Gulwani (Microsoft Corporation – Redmond, US), Emanuel Kitzelmann (Universität Duisburg – Essen, DE), Ute Schmid (Universität Bamberg, DE) | Top |
15. – 19. Dezember 2013, Dagstuhl Seminar 13511Software Engineering for Self-Adaptive Systems: AssurancesRogerio de Lemos (University of Kent, GB), David Garlan (Carnegie Mellon University, US), Carlo Ghezzi (Polytechnic University of Milan, IT), Holger Giese (Hasso-Plattner-Institut – Potsdam, DE) | Top |
15. – 19. Dezember 2013, Dagstuhl Seminar 13512Social Issues in Computational Transportation ScienceGlenn Geers (Data61 / NICTA – Sydney, AU), Monika Sester (Leibniz Universität Hannover, DE), Stephan Winter (The University of Melbourne, AU), Ouri E. Wolfson (University of Illinois – Chicago, US) | Top |