Seminars 2005:
January 3 – 7, 2005, Dagstuhl Seminar 05011Computing and MarketsD. Lehmann (Univ. of Jerusalem, IL), R. Müller (Maastricht Univ., NL), T. Sandholm (CMU - Pittsburgh, US) | Top |
January 9 – 14, 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 |
January 16 – 21, 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 |
January 30 to February 4, 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 |
February 6 – 11, 2005, Dagstuhl Seminar 05061Foundations of Semistructured DataF. Neven (Univ. of Limburg, BE), T. Schwentick (Univ. Marburg, DE), D. Suciu (Univ. of Washington, US) | Top |
February 13 – 18, 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 |
February 20 – 25, 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 |
March 1 – 4, 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 |
March 6 – 11, 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 |
March 13 – 18, 2005, Dagstuhl Seminar 05111Computational GeometryHelmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT), Dan Halperin (Tel Aviv University, IL) | Top |
April 3 – 8, 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 |
April 3 – 6, 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 |
April 9 – 12, 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 |
April 10 – 15, 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 |
April 17 – 22, 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 |
April 24 – 29, 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 |
May 1 – 4, 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 |
May 8 – 13, 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 |
May 15 – 20, 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 |
May 29 to June 3, 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 |
June 5 – 10, 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 |
June 12 – 17, 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 |
June 19 – 24, 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 |
June 26 to July 1, 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 |
July 3 – 8, 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 |
July 10 – 15, 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 |
July 17 – 22, 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 |
July 24 – 29, 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 |
July 31 to August 5, 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 |
August 7 – 12, 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 |
September 4 – 9, 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 |
September 11 – 16, 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 |
September 18 – 23, 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 |
September 21 – 24, 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 |
September 25 – 30, 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 |
October 5 – 8, 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 |
October 9 – 14, 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 |
October 16 – 21, 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 |
October 23 – 28, 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 |
October 30 to November 4, 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 |
November 6 – 11, 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 |
November 14 – 16, 2005, Dagstuhl Perspectives Workshop 05461Perspektiv-Workshop zur theoretischen InformatikW. Thomas (RWTH Aachen, DE), I. Wegener (Universität Dortmund, DE) | Top |
November 15 – 18, 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 |
November 20 – 25, 2005, Dagstuhl Seminar 05471Computational ProteomicsC. Huber (Univ. des Saarlandes, DE), O. Kohlbacher (Univ. Tübingen, DE), K. Reinert (FU Berlin, DE) | Top |
December 4 – 9, 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 |
December 12 – 16, 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 |