Seminare und Dagstuhl-Perspektiven-Workshops 2010:
03. – 08. Januar 2010, Dagstuhl-Seminar 10011Pervasive Public DisplaysNigel Davies (Lancaster University, GB), Antonio Krüger (DFKI – Saarbrücken, DE), Marc Langheinrich (University of Lugano, CH), Albrecht Schmidt (Universität Stuttgart, DE), Martin Strohbach (NEC Laboratories Europe – Heidelberg, DE) | Top |
10. – 15. Januar 2010, Dagstuhl-Seminar 10021Service-Oriented Architecture and (Multi-)Agent Systems TechnologyMonique Calisti (Whitestein Technologies AG – Zürich, CH), Frank Dignum (Utrecht University, NL), Ryszard Kowalczyk (Swinburne University of Technology – Melbourne, AU), Frank Leymann (Universität Stuttgart, DE), Rainer Unland (Universität Duisburg-Essen, DE) | Top |
17. – 22. Januar 2010, Dagstuhl-Seminar 10031Quantitative Models: Expressiveness and AnalysisChristel Baier (TU Dresden, DE), Manfred Droste (Universität Leipzig, DE), Paul Gastin (ENS – Cachan, FR), Kim Guldstrand Larsen (Aalborg University, DK) | Top |
24. – 29. Januar 2010, Dagstuhl-Perspektive-Workshop 10041Digital Social NetworksFrançois Bry (LMU München, DE), Clemens Cap (Universität Rostock, DE), Ingo Dahm (Deutsche Telekom – Bonn, DE), Julia Maintz (Cologne Business School, DE), Sebastian Schaffert (Salzburg Research Forschungsgesellschaft m.b.H., AT) | Top |
24. – 29. Januar 2010, Dagstuhl-Seminar 10042Semantic Challenges in Sensor NetworksKarl Aberer (EPFL – Lausanne, CH), Avigdor Gal (Technion – Haifa, IL), Manfred Hauswirth (National University of Ireland – Galway, IE), Kai-Uwe Sattler (TU Ilmenau, DE), Amit P. Sheth (Wright State University – Dayton, US) | Top |
31. Januar – 05. Februar 2010, Dagstuhl-Seminar 10051Quantitative and Qualitative Analysis of Network ProtocolsBengt Jonsson (Uppsala University, SE), Jörg Kreiker (SMA Solar Technology, DE), Marta Kwiatkowska (University of Oxford, GB) | Top |
07. – 12. Februar 2010, Dagstuhl-Seminar 10061Circuits, Logic, and GamesBenjamin Rossman (MIT – Cambridge, US), Thomas Schwentick (TU Dortmund, DE), Denis Therien (McGill University – Montreal, CA), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
14. – 19. Februar 2010, Dagstuhl-Seminar 10071SchedulingSusanne Albers (HU Berlin, DE), Sanjoy Baruah (University of North Carolina at Chapel Hill, US), Rolf H. Möhring (TU Berlin, DE), Kirk Pruhs (University of Pittsburgh, US) | Top |
21. – 26. Februar 2010, Dagstuhl-Seminar 10081Cognitive RoboticsGerhard Lakemeyer (RWTH Aachen, DE), Hector Levesque (University of Toronto, CA), Fiora Pirri (Sapienza University of Rome, IT) | Top |
28. Februar – 05. März 2010, Dagstuhl-Seminar 10091Data StructuresLars Arge (Aarhus University, DK), Erik D. Demaine (MIT – Cambridge, US), Raimund Seidel (Universität des Saarlandes, DE) | Top |
07. – 12. März 2010, Dagstuhl-Seminar 10101Computational Foundations of Social ChoiceFelix Brandt (TU München, DE), Vincent Conitzer (Duke University – Durham, US), Lane Hemaspaandra (University of Rochester, US), Jean-Francois Laslier (Ecole Polytechnique – Palaiseau, FR), William S. Zwicker (Union College – Schenectady, US) | Top |
07. – 12. März 2010, Dagstuhl-Seminar 10102Grand Challenges for Discrete Event Logistics SystemsPeter Lendermann (D-SIMLAB – Singapore, SG), Leon F. McGinnis (Georgia Institute of Technology, US), Lars Mönch (FernUniversität in Hagen, DE), Arnd Schirrmann (EADS – Hamburg, DE) | Top |
14. – 19. März 2010, Dagstuhl-Seminar 10111Practical Software Testing: Tool Automation and Human FactorsMark Harman (University College London, GB), Henry Muccini (University of L'Aquila, IT), Wolfram Schulte (Microsoft Corporation – Redmond, US), Tao Xie (North Carolina State University – Raleigh, US) | Top |
21. – 26. März 2010, Dagstuhl-Seminar 10121Computational 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 |
21. – 24. März 2010, Dagstuhl-Perspektive-Workshop 10122New Frontiers for Empirical Software EngineeringVictor R. Basili (University of Maryland – College Park, US), Nachiappan Nagappan (Microsoft Corporation – Redmond, US), H. Dieter Rombach (Fraunhofer IESE – Kaiserslautern, DE), Andreas Zeller (Universität des Saarlandes, DE) | Top |
28. März – 01. April 2010, Dagstuhl-Seminar 10131Spatial Representation and Reasoning in Language: Ontologies and Logics of SpaceJohn A. Bateman (Universität Bremen, DE), Anthony Cohn (University of Leeds, GB), James Pustejovsky (Brandeis University – Waltham, US) | Top |
06. – 09. April 2010, Dagstuhl-Seminar 10141Distributed Usage ControlSandro Etalle (TU Eindhoven, NL), Alexander Pretschner (KIT – Karlsruher Institut für Technologie, DE), Ravi S. Sandhu (The University of Texas – San Antonio, US), Marianne Winslett (University of Illinois – Urbana-Champaign, US) | Top |
11. – 16. April 2010, Dagstuhl-Seminar 10151Enabling Holistic Approaches to Business Process Lifecycle ManagementSerge Abiteboul (ENS – Cachan, FR), Andreas Oberweis (KIT – Karlsruher Institut für Technologie, DE), Jianwen Su (University of California – Santa Barbara, US) | Top |
11. – 16. April 2010, Dagstuhl-Seminar 10152Relationships, Objects, Roles, and Queries in Modern Programming LanguagesGuido Boella (University of Turin, IT), Erik Meijer (Microsoft Corporation – Redmond, US), David J. Pearce (Victoria University – Wellington, NZ), Friedrich Steimann (Fernuniversität in Hagen, DE), Frank Tip (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
18. – 23. April 2010, Dagstuhl-Seminar 10161Decision Procedures in Software, Hardware and BiowareNikolaj S. Bjørner (Microsoft Corporation – Redmond, US), Robert Nieuwenhuis (UPC – Barcelona, ES), Helmut Veith (TU Wien, AT), Andrei Voronkov (University of Manchester, GB) | Top |
25. – 30. April 2010, Dagstuhl-Seminar 10171Equilibrium ComputationEdith Elkind (Nanyang TU – Singapore, SG), Nimrod Megiddo (IBM Almaden Center, US), Peter Bro Miltersen (Aarhus University, DK), Vijay V. Vazirani (Georgia Institute of Technology – Atlanta, US), Bernhard von Stengel (London School of Economics, GB) | Top |
02. – 07. Mai 2010, Dagstuhl-Seminar 10181Program Development for Extreme-Scale ComputingJesus Labarta (Barcelona Supercomputing Center, ES), Barton P. Miller (University of Wisconsin – Madison, US), Bernd Mohr (Jülich Supercomputing Centre, DE), Martin Schulz (LLNL – Livermore, US) | Top |
09. – 12. Mai 2010, Dagstuhl-Seminar 10191Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and BeyondChristoph W. Kessler (Linköping University, SE), Welf Löwe (Linnaeus University – Växjö, SE), David Padua (University of Illinois – Urbana-Champaign, US), Markus Püschel (ETH Zürich, CH) | Top |
16. – 21. Mai 2010, Dagstuhl-Seminar 10201Event ProcessingK. Mani Chandy (CalTech – Pasadena, US), Opher Etzion (IBM – Haifa, IL), Rainer von Ammon (CITT GmbH – Regensburg, DE) | Top |
24. – 28. Mai 2010, Dagstuhl-Seminar 10211Flexible Network DesignAnupam Gupta (Carnegie Mellon University, US), Stefano Leonardi (Sapienza University of Rome, IT), Berthold Vöcking (RWTH Aachen, DE), Roger Wattenhofer (ETH Zürich, CH) | Top |
06. – 11. Juni 2010, Dagstuhl-Seminar 10231Structure Discovery in Biology: Motifs, Networks & PhylogeniesAlberto Apostolico (Georgia Institute of Technology – Atlanta, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
06. – 11. Juni 2010, Dagstuhl-Seminar 10232The Semantics of InformationKeye Martin (NRL – Washington, US), Michael W. Mislove (Tulane University, US) | Top |
13. – 18. Juni 2010, Dagstuhl-Seminar 10241Information VisualizationAndreas Kerren (Linnaeus University – Växjö, SE), Catherine Plaisant (University of Maryland – College Park, US), John T. Stasko (Georgia Institute of Technology – Atlanta, US) | Top |
20. – 25. Juni 2010, Dagstuhl-Seminar 10252Game Semantics and Program VerificationPaul-Andre Mellies (University Paris-Diderot, FR), Andrzej Murawski (University of Oxford, GB), Andrea Schalk (University of Manchester, GB), Igor Walukiewicz (University of Bordeaux, FR) | Top |
27. Juni – 02. Juli 2010, Dagstuhl-Seminar 10261Algorithm EngineeringGiuseppe F. Italiano (University of Rome "Tor Vergata", IT), David S. Johnson (AT&T Labs Research – Florham Park, US), Petra Mutzel (TU Dortmund, DE), Peter Sanders (KIT – Karlsruher Institut für Technologie, DE) | Top |
04. – 09. Juli 2010, Dagstuhl-Seminar 10271Verification over discrete-continuous boundariesBernd Becker (Universität Freiburg, DE), Luca Cardelli (Microsoft Research UK – Cambridge, GB), Holger Hermanns (Universität des Saarlandes, DE), Sofiene Tahar (Concordia Univ. – Montreal, CA) | Top |
11. – 16. Juli 2010, Dagstuhl-Seminar 10281Dynamically Reconfigurable ArchitecturesPeter M. Athanas (Virginia Polytechnic Institute – Blacksburg, US), Jürgen Becker (KIT – Karlsruher Institut für Technologie, DE), Jürgen Teich (Universität Erlangen-Nürnberg, DE), Ingrid Verbauwhede (KU Leuven, BE) | Top |
18. – 23. Juli 2010, Dagstuhl-Seminar 10291Automation in Digital PreservationJean-Pierre Chanod (Xerox Research Centre Europe – Grenoble, FR), Milena Dobreva (The University of Strathclyde – Glasgow, GB), Andreas Rauber (TU Wien, AT), Seamus Ross (University of Toronto, CA) | Top |
18. – 23. Juli 2010, Dagstuhl-Seminar 10292Resilience Assessment and EvaluationAlberto Avritzer (Siemens – Princeton, US), Aad van Moorsel (University of Newcastle, GB), Katinka Wolter (FU Berlin, DE) | Top |
25. – 30. Juli 2010, Dagstuhl-Perspektive-Workshop 10301Service Value NetworksWilliam E. Hefley (University of Pittsburgh, US), Steffen Lamparter (Siemens AG – München, DE), Christos Nikolaou (University of Crete – Heraklion, GR), Stefan Tai (KIT – Karlsruher Institut für Technologie, DE) | Top |
25. – 30. Juli 2010, Dagstuhl-Seminar 10302Learning paradigms in dynamic environmentsBarbara Hammer (Universität Bielefeld, DE), Pascal Hitzler (Wright State University – Dayton, US), Wolfgang Maass (TU Graz, AT), Marc Toussaint (TU Berlin, DE) | Top |
22. – 26. August 2010, Dagstuhl-Seminar 10341Insider Threats: Strategies for Prevention, Mitigation, and ResponseMatt Bishop (University of California – Davis, US), Lizzie Coles-Kemp (Royal Holloway University of London, GB), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Point Park University – Pittsburgh, US), Christian W. Probst (Technical University of Denmark – Lyngby, DK) | Top |
29. August – 03. September 2010, Dagstuhl-Seminar 10351Modelling, Controlling and Reasoning About StateAmal Ahmed (Indiana University – Bloomington, US), Nick Benton (Microsoft Research UK – Cambridge, GB), Lars Birkedal (IT University of Copenhagen, DK), Martin Hofmann (LMU München, DE) | Top |
05. – 10. September 2010, Dagstuhl-Seminar 10361Theory of Evolutionary AlgorithmsAnne Auger (University of Paris South XI, FR), Jonathan L. Shapiro (University of Manchester, GB), Darrell Whitley (Colorado State University, US), Carsten Witt (Technical University of Denmark – Lyngby, DK) | Top |
12. – 17. September 2010, Dagstuhl-Seminar 10371Dynamic MapsClaus Brenner (Leibniz Universität Hannover, DE), Wolfram Burgard (Universität Freiburg, DE), Marc Pollefeys (ETH Zürich, CH), Christoph Stiller (KIT – Karlsruher Institut für Technologie, DE) | Top |
12. – 15. September 2010, Dagstuhl-Seminar 10372User-Centric NetworkingJon Crowcroft (University of Cambridge, GB), James Kempf (Ericsson – San Jose, US), Paulo Jorge Mendes (University Lusófona – Lisboa, PT), Rute Sofia (University Lusófona – Lisboa, PT) | Top |
15. – 18. September 2010, Dagstuhl-Seminar 10373Demarcating User eXperienceJettie Hoonhout (Philips Research Lab. – Eindhoven, NL), Effie Lai-Chong Law (University of Leicester, GB), Virpi Hannele Roto (Aalto University, FI), Arnold Vermeeren (TU Delft, NL) | Top |
19. – 24. September 2010, Dagstuhl-Seminar 10381Robust Query ProcessingGoetz Graefe (HP Labs – Madison, US), Arnd Christian König (Microsoft Corporation – Redmond, US), Harumi Anne Kuno (HP Labs – Palo Alto, US), Volker Markl (TU Berlin, DE), Kai-Uwe Sattler (TU Ilmenau, DE) | Top |
03. – 08. Oktober 2010, Dagstuhl-Seminar 10401Learning, Planning and Sharing Robot Knowledge for Human-Robot InteractionRachid Alami (LAAS – Toulouse, FR), Rüdiger Dillmann (KIT – Karlsruher Institut für Technologie, DE), Thomas C. Henderson (NSF – Arlington, US), Alexandra Kirsch (TU München, DE) | Top |
03. – 06. Oktober 2010, Dagstuhl-Seminar 10402Inter-Vehicular CommunicationFalko Dressler (Universität Innsbruck, AT), Frank Kargl (University of Twente, NL), Jörg Ott (Aalto University, FI), Ozan K. Tonguz (Carnegie Mellon University – Pittsburgh, US), Lars Wischhof (Audi Electronics Venture GmbH – Gaimersheim, DE) | Top |
06. – 09. Oktober 2010, Dagstuhl-Seminar 10403Impact of Human Mobility on Communications: Measurement, Analysis, Modeling, and SimulationKevin C. Almeroth (University of California – Santa Barbara, US), Gunnar Karlsson (KTH Royal Institute of Technology, SE), Cecilia Mascolo (University of Cambridge, GB), Jörg Ott (Aalto University, FI) | Top |
10. – 15. Oktober 2010, Dagstuhl-Seminar 10411Computational VideoDaniel Cremers (TU München, DE), Marcus A. Magnor (TU Braunschweig, DE), Lihi Zelnik-Manor (Technion – Haifa, IL) | Top |
10. – 13. Oktober 2010, Dagstuhl-Seminar 10412QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal ReasoningAnthony Cohn (University of Leeds, GB), Jochen Renz (Australian National University, AU), Geoff Sutcliffe (University of Miami, US), Stefan Wölfl (Universität Freiburg, DE) | Top |
17. – 22. Oktober 2010, Dagstuhl-Seminar 10421Model-Based Testing in PracticeWolfgang Grieskamp (Microsoft Research – Redmond, US), Robert M. Hierons (Brunel University, GB), Alexander Pretschner (KIT – Karlsruher Institut für Technologie, DE) | Top |
24. – 29. Oktober 2010, Dagstuhl-Seminar 10431Software Engineering for Self-Adaptive SystemsRogerio de Lemos (University of Kent, GB), Holger Giese (Hasso-Plattner-Institut – Potsdam, DE), Hausi A. Müller (University of Victoria, CA), Mary Shaw (Carnegie Mellon University – Pittsburgh, US) | Top |
31. Oktober – 05. November 2010, Dagstuhl-Seminar 10441Exact Complexity of NP-hard ProblemsThore Husfeldt (Lund University, SE), Dieter Kratsch (University of Metz, FR), Ramamohan Paturi (University of California – San Diego, US), Gregory B. Sorkin (London School of Economics, GB) | Top |
07. – 12. November 2010, Dagstuhl-Seminar 10451Runtime Verification, Diagnosis, Planning and Control for Autonomous SystemsKlaus Havelund (NASA – Pasadena, US), Martin Leucker (Universität Lübeck, DE), Martin Sachenbacher (TU München, DE), Oleg Sokolsky (University of Pennsylvania – Philadelphia, US), Brian C. Williams (MIT – Cambridge, US) | Top |
14. – 19. November 2010, Dagstuhl-Seminar 10461Schematization in Cartography, Visualization, and Computational GeometryJason Dykes (City University – London, GB), Matthias Müller-Hannemann (Martin-Luther-Universität Halle-Wittenberg, DE), Alexander Wolff (Universität Würzburg, DE) | Top |
21. – 26. November 2010, Dagstuhl-Seminar 10471Scalable Visual AnalyticsDaniel A. Keim (Universität Konstanz, DE), Stefan Wrobel (Fraunhofer IAIS – St. Augustin, DE) | Top |
28. November – 03. Dezember 2010, Dagstuhl-Seminar 10481Computational CountingPeter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark R. Jerrum (Queen Mary University of London, GB) | Top |
30. November – 03. Dezember 2010, Dagstuhl-Perspektive-Workshop 10482Formal Methods - Just a Euro-Science?Andrzej Tarlecki (University of Warsaw, PL), Moshe Y. Vardi (Rice University – Houston, US), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |
05. – 10. Dezember 2010, Dagstuhl-Seminar 10491Representation, Analysis and Visualization of Moving ObjectsJörg-Rüdiger Sack (Carleton University – Ottawa, CA), Bettina Speckmann (TU Eindhoven, NL), Emiel Van Loon (University of Amsterdam, NL), Robert Weibel (Universität Zürich, CH) | Top |
05. – 08. Dezember 2010, Dagstuhl-Seminar 10492Information-Centric NetworkingBengt Ahlgren (Swedish Institute of Computer Science – Kista, SE), Holger Karl (Universität Paderborn, DE), Dirk Kutscher (NEC Laboratories Europe – Heidelberg, DE), Börje Ohlman (Ericsson Research – Stockholm, SE), Sara Oueslati-Boulahia (Orange Labs – Issy-les-Moulineaux, FR), Ignacio Solis (Xerox PARC – Palo Alto, US) | Top |
12. – 17. Dezember 2010, Dagstuhl-Seminar 10501Advances and Applications of Automata on Words and TreesChristian Glasser (Universität Würzburg, DE), Jean-Eric Pin (University of Paris VII, FR), Nicole Schweikardt (Goethe-Universität – Frankfurt a. M., DE), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Wolfgang Thomas (RWTH Aachen, DE) | Top |