Seminars 2005:



January 3rd – January 7th 2005, Dagstuhl Seminar 05011

Computing and Markets


D. Lehmann (Univ. of Jerusalem, IL), R. Müller (Maastricht Univ., NL), T. Sandholm (CMU - Pittsburgh, US)

Top

January 9th – January 14th 2005, Dagstuhl Seminar 05021

Mathematics, Algorithms, Proofs


T. Coquand (Chalmers - Göteborg, SE), H. Lombardi (Université de Franche-Comté, FR), M.-F. Roy (Université de Rennes, FR)

Top

January 16th – January 21st 2005, Dagstuhl Seminar 05031

Algorithms for Optimization with Incomplete Information


S. 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 30th – February 4th 2005, Dagstuhl Seminar 05051

Probabilistic, Logical and Relational Learning - Towards a Synthesis


L. 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 6th – February 11th 2005, Dagstuhl Seminar 05061

Foundations of Semistructured Data


F. Neven (Univ. of Limburg, BE), T. Schwentick (Univ. Marburg, DE), D. Suciu (Univ. of Washington, US)

Top

February 13th – February 18th 2005, Dagstuhl Seminar 05071

Machine Learning for the Semantic Web


F. 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 20th – February 25th 2005, Dagstuhl Seminar 05081

Foundations of Global Computing


J. Luiz Fiadeiro (Univ. of Leicester, GB), U. Montanari (Univ. di Pisa, IT), M. Wirsing (Univ. München, DE)

Top

March 1st – March 4th 2005, Dagstuhl Seminar 05091

Multimedia Research - where do we need to go tomorrow


S. 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 6th – March 11th 2005, Dagstuhl Seminar 05101

Scheduling for Parallel Architectures: Theory, Applications, Challenges


E. 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 13th – March 18th 2005, Dagstuhl Seminar 05111

Computational Geometry


Helmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT), Dan Halperin (Tel Aviv University, IL)

Top

April 3rd – April 8th 2005, Dagstuhl Seminar 05141

Power-aware Computing Systems


Luca Benini (University of Bologna, IT), Ulrich Kremer (Rutgers University – Piscataway, US), Christian W. Probst (Technical University of Denmark – Lyngby, DK)

Top

April 3rd – April 6th 2005, Dagstuhl Seminar 05142

Disruption Tolerant Networking


M. 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 9th – April 12th 2005, Dagstuhl Seminar 05152

Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues


Mario Gerla (UCLA, US), Christoph Lindemann (Universität Leipzig, DE), Antony Rowstron (Microsoft Research UK – Cambridge, GB)

Top

April 10th – April 15th 2005, Dagstuhl Seminar 05151

Annotating, Extracting and Reasoning about Time and Events


Graham Katz (Universität Osnabrück, DE), James Pustejovsky (Brandeis University – Waltham, US), Frank Schilder (Thomson Legal & Regulatory Corp, US)

Top

April 17th – April 22nd 2005, Dagstuhl Seminar 05161

Transformation Techniques in Software Engineering


J. Cordy (Queens Univ., CA), R. Lämmel (Free University and CWI, Amsterdam, NL), A. Winter (Univ. Koblenz-Landau, DE)

Top

April 24th – April 29th 2005, Dagstuhl Seminar 05171

Nonmonotonic Reasoning, Answer Set Programming and Constraints


Gerhard 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 1st – May 4th 2005, Dagstuhl Seminar 05181

Mobile Computing and Ambient Intelligence: The Challenge of Multimedia


Nigel Davies (Lancaster University, GB), Thomas Kirste (Universität Rostock, DE), Heidrun Schumann (Universität Rostock, DE)

Top

May 8th – May 13th 2005, Dagstuhl Seminar 05191

Graph Drawing


M. Jünger (Univ. of Köln, DE), S. Kobourov (Univ. of Arizona, US), P. Mutzel (Univ. of Dortmund, DE)

Top

May 15th – May 20th 2005, Dagstuhl Seminar 05201

Design and Analysis of Randomized and Approximation Algorithms


M. Dyer (Univ. of Leeds, GB), M. Jerrum (Univ. of Edinburgh, GB), M. Karpinski (Univ. Bonn, DE)

Top

May 29th – June 3rd 2005, Dagstuhl Seminar 05221

Geometric Modeling


G. Brunnett (TU Chemnitz, DE), G. Farin (ASU - Tempe, US), R. Goldman (Rice University, US), S. Hahmann (LMC-IMAG - Grenoble, FR)

Top

June 5th – June 10th 2005, Dagstuhl Seminar 05231

Scientific Visualization: Challenges for the Future


Thomas Ertl (Universität Stuttgart, DE), Eduard Gröller (TU Wien, AT), Kenneth Joy (University of California – Davis, US), Gregory M. Nielson (ASU – Mesa, US)

Top

June 12th – June 17th 2005, Dagstuhl Seminar 05241

Synthesis and Planning


Henry A. Kautz (University of Washington – Seattle, US), Wolfgang Thomas (RWTH Aachen, DE), Moshe Y. Vardi (Rice University, US)

Top

June 19th – June 24th 2005, Dagstuhl Seminar 05251

Types for Tools: Applications of Type Theoretic Techniques


F. Henglein (DIKU Copenhagen, DK), M. Odersky (EPFL - Lausanne, CH), F. Tip (IBM TJ Watson Research Center, US), J. Vitek (Purdue University, US)

Top

June 26th – July 1st 2005, Dagstuhl Seminar 05261

Multi-Version Program Analysis


T. 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 3rd – July 8th 2005, Dagstuhl Seminar 05271

Semantic Grid: The Convergence of Technologies


C. Goble (Manchester Univ., GB), C. Kesselman (USC Information Sciences Institute, US), Y. Sure (Univ. Karlsruhe, DE)

The Dagstuhl Foundation received a donation from: EU thematic network of excellence Knowledge Web

Top

July 10th – July 15th 2005, Dagstuhl Seminar 05281

Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems


J. Fowler (ASU - Tempe, US), B. Nelson (NW University - Evanston, US), M. Pinedo (New York University, US), O. Rose (TU Dresden, DE)

Top

July 17th – July 22nd 2005, Dagstuhl Seminar 05291

Sublinear Algorithms


Artur Czumaj (NJIT – Newark, US), S. Muthu Muthukrishnan (Rutgers University – Piscataway, US), Ronitt Rubinfeld (MIT – Cambridge, US), Christian Sohler (Universität Paderborn, DE)

Top

July 24th – July 29th 2005, Dagstuhl Seminar 05301

Exact Algorithms and Fixed-Parameter Tractability


R. Downey (Univ. of Wellington, NZ), M. Grohe (HU Berlin, DE), M. Hallett (McGill Univ., CA), G. Woeginger (Univ. of Twente, NL)

Top

July 31st – August 5th 2005, Dagstuhl Seminar 05311

Verifying Optimizing Compilers


J. Knoop (TU Wien, AT), G. Necula (UC - Berkeley, US), W. Zimmermann (Univ. Halle-Wittenberg, DE), L. Zuck (Univ. of Illinois - Chicago, US)

Top

August 7th – August 12th 2005, Dagstuhl Seminar 05321

Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics


James P. Delgrande (Simon Fraser University – Burnaby, CA), Jérôme Lang (Paul Sabatier University – Toulouse, FR), Hans Rott (Univ. of Regensburg, DE), Jean-Marc Tallon (Université Paris I, FR)

Top

September 4th – September 9th 2005, Dagstuhl Seminar 05361

Algorithmic Aspects of Large and Complex Networks


Stefano Leonardi (University of Rome "La Sapienza", IT), Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE)

Top

September 11th – September 16th 2005, Dagstuhl Seminar 05371

Principles and Practices of Semantic Web Reasoning


F. Bry (Univ. München, DE), F. Fages (INRIA Rocquencourt, FR), M. Marchiori (MIT - Cambridge, US), H.-J. Ohlbach (Univ. München, DE)

Top

September 18th – September 23rd 2005, Dagstuhl Seminar 05381

Form and Content in Sensor Networks


Leonidas J. Guibas (Stanford University, US), Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE), Thomas C. Henderson (University of Utah, US)

Top

September 21st – September 24th 2005, Dagstuhl Seminar 05382

Efficient Text Entry


K. Harbusch (Univ. Koblenz/Landau, DE), K.-J. Raiha (Univ. of Tampere, FI), K. Tanaka-Ishii (Univ. of Tokyo, JP)

Top

September 25th – September 30th 2005, Dagstuhl Seminar 05391

Algebraic and Numerical Algorithms and Computer-assisted Proofs


Bruno Buchberger (Universität Linz, AT), Shin'ichi Oishi (Waseda Univ. / JST – Tokyo, JP), Michael Plum (KIT – Karlsruher Institut für Technologie, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE)

Top

October 5th – October 8th 2005, Dagstuhl Perspectives Workshop 05402

Challenges for Software Engineering Research


Manfred Broy (TU München, DE), Matthias Jarke (RWTH Aachen, DE), Manfred Nagl (RWTH Aachen, DE), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE)

Top

October 9th – October 14th 2005, Dagstuhl Seminar 05411

Anonymous Communication and its Applications


Shlomi Dolev (Ben Gurion University – Beer Sheva, IL), Rafail Ostrovsky (University of California – Los Angeles, US), Andreas Pfitzmann (TU Dresden, DE)

Top

October 16th – October 21st 2005, Dagstuhl Seminar 05421

Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data


Gustavo Alonso (ETH Zürich, CH), Christian S. Jensen (Aalborg University, DK), Bernhard Mitschang (Universität Stuttgart, DE), Oddvar Risnes (Telenor Research and Development – Trondheim, NO)

Top

October 23rd – October 28th 2005, Dagstuhl Seminar 05431

Deduction and Applications


Franz 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 30th – November 4th 2005, Dagstuhl Seminar 05441

Managing and Mining Genome Information: Frontiers in Bioinformatics


J. Blazewicz (Politechnika Poznanska, PL), J. Ch. Freytag (HU Berlin, DE), M. Vingron (MPI für Molekulare Genetik, DE)

Top

November 6th – November 11th 2005, Dagstuhl Seminar 05451

Beyond Program Slicing


D. Binkley (Loyola College - Baltimore, US), M. Harman (King's College London, GB), J. Krinke (FernUniversität in Hagen, D)

Top

November 14th – November 16th 2005, Dagstuhl Perspectives Workshop 05461

Perspektiv-Workshop zur theoretischen Informatik


W. Thomas (RWTH Aachen, DE), I. Wegener (Universität Dortmund, DE)

Top

November 15th – November 18th 2005, Dagstuhl Seminar 05462

Service 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 20th – November 25th 2005, Dagstuhl Seminar 05471

Computational Proteomics


C. Huber (Univ. des Saarlandes, DE), O. Kohlbacher (Univ. Tübingen, DE), K. Reinert (FU Berlin, DE)

Top

December 4th – December 9th 2005, Dagstuhl Seminar 05491

Spatial Cognition: Specialization and Integration


Anthony G. Cohn (University of Leeds, GB), Christian Freksa (Universität Bremen, DE), Bernhard Nebel (Universität Freiburg, DE)

Top

December 12th – December 16th 2005, Dagstuhl Seminar 05501

Automatic Performance Analysis


Hans 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