Seminare 2005:
3. – 7. Januar 2005, Dagstuhl Seminar 05011Computing and MarketsD. Lehmann (Univ. of Jerusalem, IL), R. Müller (Maastricht Univ., NL), T. Sandholm (CMU - Pittsburgh, US) | Top |
9. – 14. Januar 2005, Dagstuhl Seminar 05021Mathematics, Algorithms, ProofsT. Coquand (Chalmers - Göteborg, SE), H. Lombardi (Université de Franche-Comté, FR), M.-F. Roy (Université de Rennes, FR) | Top |
16. – 21. Januar 2005, Dagstuhl Seminar 05031Algorithms for Optimization with Incomplete InformationS. Albers (Universität Freiburg, DE), R. H. Möhring (TU Berlin, DE), G. Ch. Pflug (Universität Wien, AT), R. Schultz (Universität Duisburg-Essen, DE) | Top |
30. Januar bis 4. Februar 2005, Dagstuhl Seminar 05051Probabilistic, Logical and Relational Learning - Towards a SynthesisL. De Raedt (Univ. Freiburg, DE), T. Dietterich (Oregon State Univ., US), L. Getoor (Univ. of Maryland, US), S. H. Muggleton (Imperial College London, GB) | Top |
6. – 11. Februar 2005, Dagstuhl Seminar 05061Foundations of Semistructured DataF. Neven (Univ. of Limburg, BE), T. Schwentick (Univ. Marburg, DE), D. Suciu (Univ. of Washington, US) | Top |
13. – 18. Februar 2005, Dagstuhl Seminar 05071Machine Learning for the Semantic WebF. Ciravegna (Univ. of Sheffield, GB), A. Doan (Univ. of Illinois - Urbana, US), C. Knoblock (USC/ISI - Marina del Rey, US), N. Kushmerick (Univ. College Dublin, IR), S. Staab (Univ. Koblenz, DE) | Top |
20. – 25. Februar 2005, Dagstuhl Seminar 05081Foundations of Global ComputingJ. Luiz Fiadeiro (Univ. of Leicester, GB), U. Montanari (Univ. di Pisa, IT), M. Wirsing (Univ. München, DE) | Top |
1. – 4. März 2005, Dagstuhl Seminar 05091Multimedia Research - where do we need to go tomorrowS. Boll (Universität Oldenburg, DE), T.-S. Chua (National University of Singapore, SG), N. Dimitrova (Philips Labs. - Briarcliff Manor, US), R. Jain (Georgia Institute of Technology, US) | Top |
6. – 11. März 2005, Dagstuhl Seminar 05101Scheduling for Parallel Architectures: Theory, Applications, ChallengesE. Altman (IBM TJ Watson Research Center, US), J. Dehnert (Transmeta - Santa Clara, US), C. W. Kessler (Linköping Univ., SE), J. Knoop (TU Wien, AT) | Top |
13. – 18. März 2005, Dagstuhl Seminar 05111Computational GeometryHelmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT), Dan Halperin (Tel Aviv University, IL) | Top |
3. – 8. April 2005, Dagstuhl Seminar 05141Power-aware Computing SystemsLuca Benini (University of Bologna, IT), Ulrich Kremer (Rutgers University – Piscataway, US), Christian W. Probst (Technical University of Denmark, DK) | Top |
3. – 6. April 2005, Dagstuhl Seminar 05142Disruption Tolerant NetworkingM. Brunner (NEC Europe - Heidelberg, DE),L. Eggert (NEC Europe - Heidelberg, DE), K. Fall (Intel Berkeley Labs, US), J. Ott (Helsinki Univ. of Technology, FIN), L. Wolf (TU Braunschweig, DE) | Top |
9. – 12. April 2005, Dagstuhl Seminar 05152Peer-to-Peer Mobile Ad Hoc Networks - New Research IssuesMario Gerla (Univ. California – Los Angeles, US), Christoph Lindemann (Universität Leipzig, DE), Antony Rowstron (Microsoft Research UK – Cambridge, GB) | Top |
10. – 15. April 2005, Dagstuhl Seminar 05151Annotating, Extracting and Reasoning about Time and EventsGraham Katz (Universität Osnabrück, DE), James Pustejovsky (Brandeis Univ. Waltham, US), Frank Schilder (Thomson Legal & Regulatory, USA) | Top |
17. – 22. April 2005, Dagstuhl Seminar 05161Transformation Techniques in Software EngineeringJ. Cordy (Queens Univ., CA), R. Lämmel (Free University and CWI, Amsterdam, NL), A. Winter (Univ. Koblenz-Landau, DE) | Top |
24. – 29. April 2005, Dagstuhl Seminar 05171Nonmonotonic Reasoning, Answer Set Programming and ConstraintsGerhard Brewka (Universität Leipzig, DE), Ilkka Niemelä (Helsinki University of Technology, FI), Torsten Schaub (Universität Potsdam, DE), Miroslaw Truszczynski (University of Kentucky, US) | Top |
1. – 4. Mai 2005, Dagstuhl Seminar 05181Mobile Computing and Ambient Intelligence: The Challenge of MultimediaNigel Davies (Lancaster University, GB), Thomas Kirste (Universität Rostock, DE), Heidrun Schumann (Universität Rostock, DE) | Top |
8. – 13. Mai 2005, Dagstuhl Seminar 05191Graph DrawingM. Jünger (Univ. of Köln, DE), S. Kobourov (Univ. of Arizona, US), P. Mutzel (Univ. of Dortmund, DE) | Top |
15. – 20. Mai 2005, Dagstuhl Seminar 05201Design and Analysis of Randomized and Approximation AlgorithmsM. Dyer (Univ. of Leeds, GB), M. Jerrum (Univ. of Edinburgh, GB), M. Karpinski (Univ. Bonn, DE) | Top |
29. Mai bis 3. Juni 2005, Dagstuhl Seminar 05221Geometric ModelingG. Brunnett (TU Chemnitz, DE), G. Farin (ASU - Tempe, US), R. Goldman (Rice University, US), S. Hahmann (LMC-IMAG - Grenoble, FR) | Top |
5. – 10. Juni 2005, Dagstuhl Seminar 05231Scientific Visualization: Challenges for the FutureThomas Ertl (Universität Stuttgart, DE), Eduard Gröller (TU Wien, AT), Ken Joy (University of California – Davis, US), Gregory M. Nielson (ASU – Mesa, US) | Top |
12. – 17. Juni 2005, Dagstuhl Seminar 05241Synthesis and PlanningHenry A. Kautz (University of Washington – Seattle, US), Wolfgang Thomas (RWTH Aachen, DE), Moshe Y. Vardi (Rice University, US) | Top |
19. – 24. Juni 2005, Dagstuhl Seminar 05251Types for Tools: Applications of Type Theoretic TechniquesF. Henglein (DIKU Copenhagen, DK), M. Odersky (EPFL - Lausanne, CH), F. Tip (IBM TJ Watson Research Center, US), J. Vitek (Purdue University, US) | Top |
26. Juni bis 1. Juli 2005, Dagstuhl Seminar 05261Multi-Version Program AnalysisT. Ball (Microsoft Research - Redmond, US), S. Diehl (KU Eichstätt, DE), D. Notkin (Univ. of Washington, US), A. Zeller (Univ. Saarbrücken, DE) | Top |
3. – 8. Juli 2005, Dagstuhl Seminar 05271Semantic Grid: The Convergence of TechnologiesC. Goble (Manchester Univ., GB), C. Kesselman (USC Information Sciences Institute, US), Y. Sure (Univ. Karlsruhe, DE) | Top |
10. – 15. Juli 2005, Dagstuhl Seminar 05281Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing SystemsJ. Fowler (ASU - Tempe, US), B. Nelson (NW University - Evanston, US), M. Pinedo (New York University, US), O. Rose (TU Dresden, DE) | Top |
17. – 22. Juli 2005, Dagstuhl Seminar 05291Sublinear AlgorithmsArtur Czumaj (NJIT – Newark, US), S. Muthu Muthukrishnan (Rutgers University – Piscataway, US), Ronitt Rubinfeld (MIT, US), Christian Sohler (Universität Paderborn, DE) | Top |
24. – 29. Juli 2005, Dagstuhl Seminar 05301Exact Algorithms and Fixed-Parameter TractabilityR. Downey (Univ. of Wellington, NZ), M. Grohe (HU Berlin, DE), M. Hallett (McGill Univ., CA), G. Woeginger (Univ. of Twente, NL) | Top |
31. Juli bis 5. August 2005, Dagstuhl Seminar 05311Verifying Optimizing CompilersJ. Knoop (TU Wien, AT), G. Necula (UC - Berkeley, US), W. Zimmermann (Univ. Halle-Wittenberg, DE), L. Zuck (Univ. of Illinois - Chicago, US) | Top |
7. – 12. August 2005, Dagstuhl Seminar 05321Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and EconomicsJames P. Delgrande (Simon Fraser University – Burnaby, CA), Jerome Lang (Paul Sabatier University – Toulouse, FR), Hans Rott (Univ. of Regensburg, DE), Jean-Marc Tallon (Université Paris I, FR) | Top |
4. – 9. September 2005, Dagstuhl Seminar 05361Algorithmic Aspects of Large and Complex NetworksFriedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruhe Institute of Technology, DE) | Top |
11. – 16. September 2005, Dagstuhl Seminar 05371Principles and Practices of Semantic Web ReasoningF. Bry (Univ. München, DE), F. Fages (INRIA Rocquencourt, FR), M. Marchiori (MIT - Cambridge, US), H.-J. Ohlbach (Univ. München, DE) | Top |
18. – 23. September 2005, Dagstuhl Seminar 05381Form and Content in Sensor NetworksLeonidas J. Guibas (Stanford University, US), Uwe D. Hanebeck (KIT – Karlsruhe Institute of Technology, DE), Thomas C. Henderson (University of Utah, US) | Top |
21. – 24. September 2005, Dagstuhl Seminar 05382Efficient Text EntryK. Harbusch (Univ. Koblenz/Landau, DE), K.-J. Raiha (Univ. of Tampere, FI), K. Tanaka-Ishii (Univ. of Tokyo, JP) | Top |
25. – 30. September 2005, Dagstuhl Seminar 05391Algebraic and Numerical Algorithms and Computer-assisted ProofsBruno Buchberger (Universität Linz, AT), Shin'ichi Oishi (Waseda Univ. / JST – Tokyo, JP), Michael Plum (Universität Karlsruhe, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE) | Top |
5. – 8. Oktober 2005, Dagstuhl Perspectives Workshop 05402Challenges for Software Engineering ResearchManfred Broy (TU München, DE), Matthias Jarke (RWTH Aachen, DE), Manfred Nagl (RWTH Aachen, DE), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE) | Top |
9. – 14. Oktober 2005, Dagstuhl Seminar 05411Anonymous Communication and its ApplicationsShlomi Dolev (Ben Gurion University – Beer Sheva, IL), Rafail Ostrovsky (University of California – Los Angeles, US), Andreas Pfitzmann (TU Dresden, DE) | Top |
16. – 21. Oktober 2005, Dagstuhl Seminar 05421Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor DataGustavo Alonso (ETH Zürich, CH), Christian S. Jensen (Aalborg University, DK), Bernhard Mitschang (Universität Stuttgart, DE) | Top |
23. – 28. Oktober 2005, Dagstuhl Seminar 05431Deduction and ApplicationsFranz Baader (TU Dresden, DE), Peter Baumgartner (MPI für Informatik – Saarbrücken, DE), Robert Nieuwenhuis (UPC – Barcelona, ES), Andrei Voronkov (University of Manchester, GB) | Top |
30. Oktober bis 4. November 2005, Dagstuhl Seminar 05441Managing and Mining Genome Information: Frontiers in BioinformaticsJ. Blazewicz (Politechnika Poznanska, PL), J. Ch. Freytag (HU Berlin, DE), M. Vingron (MPI für Molekulare Genetik, DE) | Top |
6. – 11. November 2005, Dagstuhl Seminar 05451Beyond Program SlicingD. Binkley (Loyola College - Baltimore, US), M. Harman (King's College London, GB), J. Krinke (FernUniversität in Hagen, D) | Top |
14. – 16. November 2005, Dagstuhl Perspectives Workshop 05461Perspektiv-Workshop zur theoretischen InformatikW. Thomas (RWTH Aachen, DE), I. Wegener (Universität Dortmund, DE) | Top |
15. – 18. November 2005, Dagstuhl Seminar 05462Service Oriented Computing (SOC)F. Casati (HP - Palo Alto, US), B. Krämer (FernUniversität in Hagen, DE), M. P. Papazoglou (Tilburg University, NL), F. Cubera (IBM TJ Watson Research, US) | Top |
20. – 25. November 2005, Dagstuhl Seminar 05471Computational ProteomicsC. Huber (Univ. des Saarlandes, DE), O. Kohlbacher (Univ. Tübingen, DE), K. Reinert (FU Berlin, DE) | Top |
4. – 9. Dezember 2005, Dagstuhl Seminar 05491Spatial Cognition: Specialization and IntegrationAnthony G. Cohn (University of Leeds, GB), Christian Freksa (Universität Bremen, DE), Bernhard Nebel (Universität Freiburg, DE) | Top |
12. – 16. Dezember 2005, Dagstuhl Seminar 05501Automatic Performance AnalysisHans Michael Gerndt (TU München, DE), Allen D. Malony (University of Oregon, US), Barton P. Miller (University of Wisconsin – Madison, US), Wolfgang E. Nagel (TU Dresden, DE) | Top |