Seminare 2010:
3. – 8. 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 Univ. – 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 Perspectives 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 bis 5. 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 |
7. – 12. Februar 2010, Dagstuhl Seminar 10061Circuits, Logic, and GamesBenjamin Rossman (MIT – Cambridge, US), Thomas Schwentick (TU Dortmund, DE), Denis Therien (McGill University, CA), Heribert Vollmer (Leibniz Universität Hannover, DE) | Top |
14. – 19. Februar 2010, Dagstuhl Seminar 10071SchedulingSusanne Albers (HU Berlin, DE), Sanjoy K. Baruah (University of North Carolina – 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 (University of Rome "La Sapienza", IT) | Top |
28. Februar bis 5. März 2010, Dagstuhl Seminar 10091Data StructuresLars Arge (Aarhus University, DK), Erik D. Demaine (MIT, US), Raimund Seidel (Universität des Saarlandes, DE) | Top |
7. – 12. März 2010, Dagstuhl Seminar 10101Computational Foundations of Social ChoiceFelix Brandt (TU München, DE), Vincent Conitzer (Duke University, US), Lane Hemaspaandra (University of Rochester, US), Jean-Francois Laslier (Ecole Polytechnique – Palaiseau, FR), William S. Zwicker (Union College – Schenectady, US) | Top |
7. – 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 (Univ. degli Studi di L'Aquila, IT), Wolfram Schulte (Microsoft – Redmond, US), Tao Xie (North Carolina State University, US) | Top |
21. – 26. März 2010, Dagstuhl Seminar 10121Computational Transportation ScienceGlenn Geers (NICTA – Kensington, AU), Monika Sester (Leibniz Universität Hannover, DE), Stephan Winter (The University of Melbourne, AU), Ouri E. Wolfson (University of Chicago, US) | Top |
21. – 24. März 2010, Dagstuhl Perspectives Workshop 10122New Frontiers for Empirical Software EngineeringVictor R. Basili (University of Maryland – College Park, US), Nachiappan Nagappan (Microsoft – Redmond, US), H. Dieter Rombach (Fraunhofer IESE – Kaiserslautern, DE), Andreas Zeller (Universität des Saarlandes, DE) | Top |
28. März bis 1. April 2010, Dagstuhl Seminar 10131Spatial Representation and Reasoning in Language: Ontologies and Logics of SpaceJohn A. Bateman (Universität Bremen, DE), Anthony G. Cohn (University of Leeds, GB), James Pustejovsky (Brandeis Univ. Waltham, US) | Top |
6. – 9. April 2010, Dagstuhl Seminar 10141Distributed Usage ControlSandro Etalle (TU Eindhoven, NL), Alexander Pretschner (KIT – Karlsruhe Institute of Technology, DE), Ravi S. Sandhu (Univ. of Texas at San Antonio, US), Marianne Winslett (University of Illinois – Urbana, US) | Top |
11. – 16. April 2010, Dagstuhl Seminar 10151Enabling Holistic Approaches to Business Process Lifecycle ManagementSerge Abiteboul (ENS – Cachan, FR), Andreas Oberweis (KIT – Karlsruhe Institute of Technology, 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 Torino, IT), Erik Meijer (Microsoft Research – Redmond, US), David J. Pearce (Victoria University – Wellington, NZ), Friedrich Steimann (Fernuniversität in Hagen, DE), Frank Tip (IBM TJ Watson Research Center – Hawthorne, US) | Top |
18. – 23. April 2010, Dagstuhl Seminar 10161Decision Procedures in Software, Hardware and BiowareNikolaj Bjorner (Microsoft – 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 – San José, US), Peter Bro Miltersen (Aarhus University, DK), Vijay V. Vazirani (Georgia Institute of Technology, US), Bernhard von Stengel (London School of Economics, GB) | Top |
2. – 7. 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 |
9. – 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, 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 – Pittsburgh, US), Stefano Leonardi (Università di Roma "La Sapienza", IT), Berthold Vöcking (RWTH Aachen, DE), Roger Wattenhofer (ETH Zürich, CH) | Top |
6. – 11. Juni 2010, Dagstuhl Seminar 10231Structure Discovery in Biology: Motifs, Networks & PhylogeniesAlberto Apostolico (Georgia Institute of Technology, US), Andreas Dress (Shanghai Institutes for Biological Sciences, CN), Laxmi Parida (IBM TJ Watson Research Center – Yorktown Heights, US) | Top |
6. – 11. Juni 2010, Dagstuhl Seminar 10232The Semantics of InformationKeye R. 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, 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 bis 2. Juli 2010, Dagstuhl Seminar 10261Algorithm EngineeringGiuseppe F. Italiano (Università di Roma "Tor Vergata", IT), David S. Johnson (AT&T Labs Research – Florham Park, US), Petra Mutzel (TU Dortmund, DE), Peter Sanders (KIT – Karlsruhe Institute of Technology, DE) | Top |
4. – 9. 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 – Karlsruhe Institute of Technology, 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 Center 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 (Newcastle University, GB), Katinka Wolter (FU Berlin, DE) | Top |
25. – 30. Juli 2010, Dagstuhl Perspectives Workshop 10301Service Value NetworksWilliam E. Hefley (University of Pittsburgh, US), Steffen Lamparter (Siemens – München, DE), Christos Nikolaou (University of Crete – Heraklion, GR), Stefan Tai (KIT – Karlsruhe Institute of Technology, 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 (RHUL – London, GB), Dieter Gollmann (TU Hamburg-Harburg, DE), Jeffrey Hunker (Point Park University – Pittsburgh, US), Christian W. Probst (Technical University of Denmark, DK) | Top |
29. August bis 3. September 2010, Dagstuhl Seminar 10351Modelling, Controlling and Reasoning About StateAmal Ahmed (Indiana Univ. – Bloomington, US), Nick Benton (Microsoft Research UK – Cambridge, GB), Lars Birkedal (IT University of Copenhagen, DK), Martin Hofmann (LMU München, DE) | Top |
5. – 10. September 2010, Dagstuhl Seminar 10361Theory of Evolutionary AlgorithmsAnne Auger (INRIA Saclay – Île-de-France – Orsay, FR), Jonathan L. Shapiro (University of Manchester, GB), L. Darrell Whitley (Colorado State University, US), Carsten Witt (Technical University of Denmark, 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 – Karlsruhe Institute of Technology, 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 – Redmond, US), Harumi Anne Kuno (HP Labs – Palo Alto, US), Volker Markl (TU Berlin, DE), Kai-Uwe Sattler (TU Ilmenau, DE) | Top |
3. – 8. Oktober 2010, Dagstuhl Seminar 10401Learning, Planning and Sharing Robot Knowledge for Human-Robot InteractionRachid Alami (LAAS – Toulouse, FR), Rüdiger Dillmann (KIT – Karlsruhe Institute of Technology, DE), Thomas C. Henderson (NSF – Arlington, US), Alexandra Kirsch (TU München, DE) | Top |
3. – 6. 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 |
6. – 9. 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 – Stockholm, 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 G. Cohn (University of Leeds, GB), Jochen Renz (Australian National University – Canberra, 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 Corp. – Redmond, US), Robert M. Hierons (Brunel University, GB), Alexander Pretschner (KIT – Karlsruhe Institute of Technology, 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 bis 5. November 2010, Dagstuhl Seminar 10441Exact Complexity of NP-hard ProblemsThore Husfeldt (Lund University, SE), Dieter Kratsch (Université Paul Verlaine – Metz, FR), Ramamohan Paturi (University of California – San Diego, US), Gregory B. Sorkin (London School of Economics, GB) | Top |
7. – 12. November 2010, Dagstuhl Seminar 10451Runtime Verification, Diagnosis, Planning and Control for Autonomous SystemsKlaus Havelund (CalTech – Pasadena, US), Martin Leucker (Universität Lübeck, DE), Martin Sachenbacher (TU München, DE), Oleg Sokolsky (University of Pennsylvania, US), Brian C. Williams (MIT, 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 bis 3. Dezember 2010, Dagstuhl Seminar 10481Computational CountingPeter Bürgisser (Universität Paderborn, DE), Leslie Ann Goldberg (University of Liverpool, GB), Mark Jerrum (Queen Mary University of London, GB) | Top |
30. November bis 3. Dezember 2010, Dagstuhl Perspectives Workshop 10482Formal Methods - Just a Euro-Science?Andrzej Tarlecki (University of Warsaw, PL), Moshe Y. Vardi (Rice University, US), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |
5. – 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 |
5. – 8. 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 (Orange Labs – Issy-les-Moulineaux, FR), Ignacio Solis (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 Paris-Diderot, FR), Nicole Schweikardt (Goethe-Universität Frankfurt am Main, DE), Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU), Wolfgang Thomas (RWTH Aachen, DE) | Top |
Kalender : Letzte Änderung 24.05.2013, 22:57 Uhr