3. – 7. Januar 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

9. – 14. Januar 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

10. – 14. Januar 2005, Event 05022

Model-Based Development of Embedded Systems


T. Klein (Carmeq GmbH, DE), B. Rumpe (TU Braunschweig, DE), B. Schätz (TU München, DE)

Top

16. – 21. Januar 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

23. – 28. Januar 2005, Event 05042

OTEC Retreat Meeting


R. Koper (Open Univ, NL)

Top

23. – 26. Januar 2005, Event 05043

Kolloquium DFG SPP 1140 Vernetzte mobile Systeme


M. Zitterbart (Universität Karlsruhe, DE)

Top

30. Januar bis 4. Februar 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

6. – 11. Februar 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

6. – 11. Februar 2005, Event 05062

International Project Meeting "Component Technology"


J. Schneider (Robert Bosch GmbH, Stuttgart, DE), P. Lutz (Robert Bosch GmbH, Frankfurt, DE)

Top

13. – 18. Februar 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

20. – 25. Februar 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

28. Februar bis 1. März 2005, Event 05092

DFG SPP 1083 "Intelligente Softwareagenten und betriebswirtschaftliche Anwendungsszenarien"


K.-H. Krempels (RWTH-Aachen, DE), J. Nimis (Univ. Karlsruhe, DE)

Top

1. – 4. März 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

6. – 11. März 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

8. – 11. März 2005, Event 05102

Software Libraries: Design and Evaluation


S. Schupp & T. Veldhuizen (Chalmers Univ., SE), J. Järvi (Texas A&M, Austin, US), A. Lumsdaine (Indiana Univ., Bloomington, US), D. Musser (Rensselaer Polytechnic, US)

Top

13. – 18. März 2005, Dagstuhl Seminar 05111

Computational Geometry


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

Top

17. – 18. März 2005, Event 05112

Int. Graduiertenkolleg der TU Kaiserslautern


H. Hagen (TU Kaiserslautern, DE)

Top

20. – 23. März 2005, Event 05122

GIBU 05: GI-Beirat der Universitätsprofessoren


B. Becker (Univ. Freiburg)

Top

29. März bis 1. April 2005, Event 05132

8th Int. DELOS Workshop: Future Digital Library Management Systems


H.-J. Schek (UMIT Innsbruck, AT) und Y. Ioannidis (University of Athens, GR), G. Weikum (MPI Informatik, Saarbrücken, DE)

Top

3. – 8. April 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

3. – 6. April 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

9. – 12. April 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

10. – 15. April 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

12. – 15. April 2005, Event 05153

DIA-Seminar: Objektorientierte Entwurfstechniken und Software-Architekturen


R. Budde, K.-H. Sylla (FhG AIS, St. Augustin), H. Züllighoven (Hamburg)

Top

17. – 22. April 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

24. – 29. April 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

25. – 27. April 2005, Event 05172

DIA-Seminar: Usability Engineering: Entwicklung gebrauchstauglicher Software


W. Dzida (FhG AIS - St. Augustin), R. Freitag (FhG AIS - St. Augustin), T. Geis (TÜV Secure IT GmbH - Köln), W. Redtenbacher (Redtenbacher Software - Renningen)

Top

1. – 4. Mai 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

1. – 6. Mai 2005, Event 05182

Federation over the Web


K. Jantke (DFKI Saarbrücken, DE), N. Spyratos (Université Paris Sud, FR), Y. Tanaka (Hokkaido University - Sapporo, JP)

Top

8. – 13. Mai 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

15. – 20. Mai 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

22. – 25. Mai 2005, Event 05212

Gemeinsamer Workshop der Graduiertenkollegs


O. Spaniol (RWTH Aachen, DE)

Top

29. Mai bis 3. Juni 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

29. Mai bis 3. Juni 2005, Event 05222

OTEC Retreat Meeting


R. Koper (Open Univ, NL)

Top

5. – 10. Juni 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

12. – 17. Juni 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

19. – 24. Juni 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

19. – 24. Juni 2005, Event 05252

Bundeswettbewerb Informatik: Deutsches IOI-Abschlusstraining


W. Pohl (GI, Bonn)

Top

26. Juni bis 1. Juli 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

30. Juni bis 2. Juli 2005, Event 05263

Data Management in a Connected World


T. Härder (TU Kaiserslautern, DE), Wolfgang Lehner (TU Dresden, DE)

Top

3. – 8. Juli 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: EU thematic network of excellence Knowledge Web

Top

5. – 7. Juli 2005, Event 05272

LST-Treffen


M. Schöller (Univ. Karlsruhe, DE), M. Zitterbart (Univ. Karlsruhe, DE)

Top

10. – 15. Juli 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

10. – 15. Juli 2005, Event 05282

European Post-Graduate College "Language Technology & Cognitive Systems"


M. W. Crocker (Universität des Saarlandes, DE)

Top

17. – 22. Juli 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

24. – 29. Juli 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

31. Juli bis 5. August 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

31. Juli bis 5. August 2005, Event 05313

International Project Meeting "Component Technology for Embedded Systems"


J. Schneider (Robert Bosch GmbH, Stuttgart, DE), P. Lutz (Robert Bosch GmbH, Frankfurt, DE)

Top

7. – 12. August 2005, Dagstuhl Seminar 05321

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


James 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

28. August bis 3. September 2005, Event 05352

Summer School: Wireless Sensor Networks and Smart Objects


F. Mattern (ETH Zürich, CH), K. Römer (ETH Zürich, CH)

Top

4. – 9. September 2005, Dagstuhl Seminar 05361

Algorithmic Aspects of Large and Complex Networks


Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruhe Institute of Technology, DE)

Top

11. – 16. September 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

11. – 14. September 2005, Event 05372

Klausurtagung SW-Systems-Engineering


K. Pohl, S. Reis (Universität Duisburg-Essen, DE)

Top

18. – 23. September 2005, Dagstuhl Seminar 05381

Form and Content in Sensor Networks


Leonidas J. Guibas (Stanford University, US), Uwe D. Hanebeck (KIT – Karlsruhe Institute of Technology, DE), Thomas C. Henderson (University of Utah, US)

Top

19. – 21. September 2005, Event 05383

Projektmeeting Internetökonomie


M. Schöller (Univ. Karlsruhe, DE), M. Zitterbart (Univ. Karlsruhe, DE)

Top

21. – 24. September 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

25. – 30. September 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 (Universität Karlsruhe, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE)

Top

26. – 28. September 2005, Event 05392

Klausurtagung Lehrstuhl Studer


R. Studer (Univ. Karlsruhe, DE)

Top

3. – 6. Oktober 2005, Event 05403

Klausurtagung Lehrstuhl Hartmut Schmeck


H. Schmeck (Univ. Karlsruhe, DE)

Top

5. – 8. Oktober 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

9. – 14. Oktober 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

9. – 12. Oktober 2005, Event 05412

Perspektiven im Bereich numerischer Einschliessungsverfahren


G. Bohlender (Univ. Karlsruhe, DE), R. Klatte (Univ. Karlsruhe, DE), W. Krämer (Univ. Wuppertal, DE)

Top

16. – 21. Oktober 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)

Top

19. – 21. Oktober 2005, Event 05423

DIA-Seminar: Objektorientierte Systementwicklung


R. Budde, K.-H. Sylla (FhG AIS, St. Augustin), H. Züllighoven (Hamburg)

Top

23. – 28. Oktober 2005, Dagstuhl Seminar 05431

Deduction and Applications


Franz Baader (TU Dresden, DE), Peter Baumgartner (MPI für Informatik – Saarbrücken, DE), Robert Nieuwenhuis (UPC – BarcelonaTech, ES), Andrei Voronkov (University of Manchester, GB)

Top

30. Oktober bis 4. November 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

30. Oktober bis 1. November 2005, GI-Dagstuhl Seminar 05442

GI-Dagstuhl-Seminar: "Verlässlichkeitsmetriken"


Felix C. Freiling (Universität Erlangen-Nürnberg, DE)

Top

2. – 4. November 2005, Event 05443

DIA-Seminar: Usability Engineering: Entwicklung gebrauchstauglicher Software


W. Dzida (FhG AIS - St. Augustin), R. Freitag (FhG AIS - St. Augustin), T. Geis (TÜV Secure IT GmbH - Köln), W. Redtenbacher (Redtenbacher Software - Renningen)

Top

6. – 11. November 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

11. – 12. November 2005, Event 05452

Klausurtagung FB Informatik, Univ. des Saarlandes


A. Zeller (Univ. des Saarlandes, DE)

Top

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

Perspektiv-Workshop zur theoretischen Informatik


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

Top

15. – 18. November 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

20. – 25. November 2005, Dagstuhl Seminar 05471

Computational Proteomics


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

Top

23. – 25. November 2005, GI-Dagstuhl Seminar 05473

GI-Dagstuhl-Seminar: "Algorithmen für Ad-Hoc und Sensornetze"


D. Wagner (Univ. Karlsruhe, DE), R. Wattenhofer (ETH Zürich, CH)

Top

27. – 30. November 2005, Event 05482

Evaluation Initiative for XML Document Retrieval


N. Fuhr (Univ. Dortmund,DE), M. Lalmas (Queen Mary University of London, GB)

Top

30. November bis 2. Dezember 2005, Event 05483

DFG SPP "Sicherheit in der Informations- und Kommunikationstechnik"


G. Müller (Univ. Freiburg, DE), M. Gilliot (Univ. Freiburg, DE)

Top

30. November bis 2. Dezember 2005, Event 05484

DIA-Seminar: Objektorientierte Konstruktionstechniken und Software-Architekturen


R. Budde, K.-H. Sylla (FhG AIS, St. Augustin), H. Züllighoven (Hamburg)

Top

4. – 9. Dezember 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

7. – 9. Dezember 2005, Event 05493

Lehrerfortbildung in Informatik


Uwe Peters (LPM, Saarbrücken, DE)

Top

11. – 16. Dezember 2005, Event 05502

CGAL-Meeting: Design and Implementation


L. Kettner (MPI Saarbrücken, DE)

Top

11. – 16. Dezember 2005, Event 05503

Klausurtagung DFG-Forschungsgruppe Palladio Oldenburg


R. Reussner (Universität Oldenburg, DE)

Top

12. – 16. Dezember 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