3. – 6. Januar 2006, Dagstuhl Perspectives Workshop 06011

Autonomic Networking

G. Carle (Universität Tübingen, DE), R. H. Katz (Univ. California - Berkeley, US), B. Plattner (ETH Zürich, CH), M. Smirnov (FhG FOKUS - Berlin, DE)

8. – 13. Januar 2006, Dagstuhl Seminar 06021

Reliable Implementation of Real Number Algorithms: Theory and Practice

P. Hertling (Univ. Duisburg-Essen, DE), Ch. M. Hoffmann (Purdue Univ., US), W. Luther (Univ. Duisburg-Essen, DE), N. Revol (ENS - Lyon, FR)

8. – 13. Januar 2006, Event 06022

Model-Based Development of Embedded Systems

H. Giese (Uni Paderborn, DE), B. Rumpe (TU Braunschweig, DE), B. Schätz (TU München, DE)

15. – 20. Januar 2006, Dagstuhl Seminar 06031

Organic Computing - Controlled Emergence

K. Bellman (Aerospace Corp. - Los Angeles, US), P. Hofmann (DaimlerChrysler Research - Stuttgart, DE), Ch. Müller-Schloer (Univ. Hannover, DE), H. Schmeck (Univ. Karlsruhe, DE), R. Würtz (Ruhr-Univ. Bochum, DE)

15. – 20. Januar 2006, Event 06032

OTEC Retreat Meeting

R. Koper (Open University, NL)

22. – 27. Januar 2006, Event 06043

Perspectives on Computer Science Competitions for (High School) Students

W. Pohl (BW-Informatik, Bonn DE)

25. – 28. Januar 2006, Event 06042

IFIP WG 2.11 "Program Generation"

J. Lawall (Univ. of Copenhagen, DK), C. Lengauer (Univ. Passau, DE), W. Taha (Rice University, US)

29. Januar bis 3. Februar 2006, Dagstuhl Seminar 06051

Kolmogorov Complexity and Applications

Marcus Hutter (IDSIA – Lugano, CH), Wolfgang Merkle (Universität Heidelberg, DE), Paul M. B. Vitanyi (CWI – Amsterdam, NL)

29. Januar bis 3. Februar 2006, Event 06052

International Project Meeting

D. Ziegenbein (Robert Bosch GmbH, Stuttgart, DE), P. Lutz (Robert Bosch GmbH, Frankfurt, DE)

5. – 10. Februar 2006, Dagstuhl Seminar 06061

Theory of Evolutionary Algorithms

Dirk V. Arnold (Dalhousie University, CA), Thomas Jansen (Universität Dortmund, DE), Jonathan E. Rowe (University of Birmingham, GB), Michael D. Vose (University of Tennessee, US)

12. – 17. Februar 2006, Dagstuhl Seminar 06071

Architectures and Algorithms for Petascale Computing

Ulrich Rüde (Universität Erlangen-Nürnberg, DE), Horst D. Simon (Lawrence Berkeley National Laboratory, US), Peter Sloot (University of Amsterdam, NL)

14. – 15. Februar 2006, Event 06072

Wissenschafts-Pressekonferenz

F. Meyer zu Tittingdorf (Kompetenzzentrum Informatik, Saarbrücken, DE)

19. – 24. Februar 2006, Dagstuhl Seminar 06081

Software Verification: Infinite-State Model Checking and Static Program Analysis

Parosh Aziz Abdulla (Uppsala University, SE), Ahmed Bouajjani (University Paris-Diderot, FR), Markus Müller-Olm (Universität Münster, DE)

19. – 24. Februar 2006, Event 06082

Forschungsnetzwerk Didaktik der Informatik GI-Workshop

J. Magenheim (Univ. Paderborn, DE)

26. Februar bis 3. März 2006, Dagstuhl Seminar 06091

Data Structures

Lars Arge (Aarhus University, DK), Robert Sedgewick (Princeton University, US), Dorothea Wagner (KIT – Karlsruhe Institute of Technology, DE)

5. – 10. März 2006, Dagstuhl Seminar 06101

Spatial Data: Mining, Processing and Communicating

Jörg-Rüdiger Sack (Carleton University – Ottawa, CA), Monika Sester (Leibniz Universität Hannover, DE), Peter van Oosterom (TU Delft, NL)

5. – 8. März 2006, GI-Dagstuhl Seminar 06102

GI-Dagstuhl-Seminar: "Human-Centered Visualization Environments"

A. Kerren (Univ. Kaiserslautern, DE), A. Ebert (Univ. Kaiserslautern, DE), J. Meyer (Univ. California - Irvine, US)

12. – 17. März 2006, Dagstuhl Seminar 06111

Complexity of Boolean Functions

Matthias Krause (Universität Mannheim, DE), Pavel Pudlák (Czech Academy of Sciences, CZ), Rüdiger Reischuk (Universität Lübeck, DE), Dieter van Melkebeek (University of Wisconsin – Madison, US)

19. – 24. März 2006, Dagstuhl Seminar 06121

Atomicity: A Unifying Concept in Computer Science

Cliff B. Jones (Newcastle University, GB), David B. Lomet (Microsoft Corp. – Redmond, US), Alexander Romanovsky (Newcastle University, GB), Gerhard Weikum (MPI für Informatik – Saarbrücken, DE)

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Corporation, Redmond, US

19. – 24. März 2006, Event 06122

OTEC Retreat Meeting

R. Koper (Open Univ, NL)

26. – 29. März 2006, Dagstuhl Seminar 06131

Peer-to-Peer-Systems and -Applications

Anthony D. Joseph (University of California – Berkeley, US), Ralf Steinmetz (TU Darmstadt, DE), Klaus Wehrle (RWTH Aachen, DE)

28. – 31. März 2006, Dagstuhl Seminar 06132

Internet Economics

Peter Reichl (FZ Telekommunikation Wien, AT), Burkhard Stiller (Universität Zürich, CH)

2. – 7. April 2006, Dagstuhl Seminar 06141

Dynamically Reconfigurable Architectures

P. M. Athanas (Virginia Polytechnic Institute, US), J. Becker (Universität Karlsruhe, DE), G. Brebner (Xilinx - San José, US), J. Teich (Universität Erlangen, DE)

9. – 12. April 2006, Event 06152

GIBU 2006: GI-Beirat der Universitätsprofessoren

B. Becker (Univ. Freiburg, DE)

17. – 22. April 2006, Dagstuhl Seminar 06161

Simulation and Verification of Dynamic Systems

David M. Nicol (University of Illinois – Urbana, US), Hanne Riis Nielson (Technical University of Denmark, DK), Adelinde M. Uhrmacher (Universität Rostock, DE)

19. – 21. April 2006, Event 06162

Klausurtagung LST Zitterbart

M. Zitterbart (Univ. Karlsruhe, DE), Th. Gamer (Univ. Karlsruhe, DE)

23. – 28. April 2006, Dagstuhl Seminar 06171

Content-Based Retrieval

Tim Crawford (University of London/Goldsmiths, GB), Remco Veltkamp (Utrecht University, NL)

26. – 29. April 2006, Dagstuhl Seminar 06172

Directed Model Checking

Stefan Edelkamp (TU Dortmund, DE), Stefan Leue (Universität Konstanz, DE), Willem Visser (NASA / RIACS – Moffett Field, US)

1. – 6. Mai 2006, Dagstuhl Seminar 06181

Latently-Typed Languages

Ralph Johnson (University of Illinois – Urbana, US), Shriram Krishnamurthi (Brown University – Providence, US), Thomas Kühne (Victoria University of Wellington, NZ), Michael Sperber (Tübingen, DE)

7. – 12. Mai 2006, Dagstuhl Seminar 06191

Rigorous Methods for Software Construction and Analysis

Jean-Raymond Abrial (ETH Zürich, CH), Uwe Glässer (Simon Fraser University – Burnaby, CA)

14. – 19. Mai 2006, Dagstuhl Seminar 06201

Combinatorial and Algorithmic Foundations of Pattern and Association Discovery

Rudolf Ahlswede (Universität Bielefeld, DE), Alberto Apostolico (Georgia Institute of Technology, US), Vladimir I. Levenshtein (Keldysh Institute – Moscow, RU)

14. – 19. Mai 2006, Event 06202

Grenzflächen der Informatik

B. Schinzel (Univ. Freiburg, DE)

21. – 23. Mai 2006, Event 06212

Kolloquium zum GI Dissertationspreis 2005

D. Wagner (Universität Karlsruhe, DE)

21. – 24. Mai 2006, Event 06213

Ontological Spring II

B. Smith (IFOMIS, Univ. des Saarlandes, DE)

28. Mai bis 2. Juni 2006, Dagstuhl Seminar 06221

Computational Aesthetics in Graphics, Visualization and Imaging

Bruce Gooch (Northwestern University – Evanston, US), László Neumann (University of Girona, ES), Werner Purgathofer (TU Wien, AT), Mateu Sbert (University of Girona, ES)

5. – 9. Juni 2006, Dagstuhl Seminar 06231

Towards Affordance-Based Robot Control

Georg Dorffner (ÖSGK – Vienna, AT), Joachim Hertzberg (Universität Osnabrück, DE), Erich Rome (Fraunhofer IAIS – St. Augustin, DE)

8. – 10. Juni 2006, Event 06232

"Program Analysis and Compilation, Theory and Practice" Seminar in Honor of Reinhard Wilhelm's 60th Birthday

Thomas Reps (University of Wisconsin - Madison, US), Mooly Sagiv (Tel Aviv University, IL)

11. – 16. Juni 2006, Dagstuhl Seminar 06241

Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop on Theoretical Foundations of Computer Vision

Reinhard Klette (University of Auckland, NZ), Dimitris Metaxas (Rutgers University – Piscataway, US), Bodo Rosenhahn (Leibniz Universität Hannover, DE)

11. – 14. Juni 2006, Event 06242

DIA-Seminar: Objektorientierte Konstruktionstechniken und Software-Architekturen

R. Budde (Fraunhofer Inst. St. Augustin, DE), K.-H. Sylla (Fraunhofer Inst. St. Augustin, DE)

14. – 16. Juni 2006, Event 06243

Int. Graduiertenkolleg der TU Kaiserslautern

H. Hagen (TU Kaiserslautern, DE)

19. – 23. Juni 2006, Dagstuhl Seminar 06251

Multi-Robot Systems: Perception, Behaviors, Learning, and Action

Martin Riedmiller (Universität Osnabrück, DE), Uwe Schwiegelshohn (Universität Dortmund, DE)

25. – 30. Juni 2006, Dagstuhl Seminar 06261

Foundations and Practice of Programming Multi-Agent Systems

Rafael H. Bordini (UFRGS – Porto Alegre, BR), Mehdi Dastani (Utrecht University, NL), John-Jules Ch. Meyer (Utrecht University, NL)

26. – 30. Juni 2006, Dagstuhl Seminar 06262

Empirical Software Engineering

Victor R. Basili (University of Maryland – College Park, US), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE), Kurt Schneider (Leibniz Universität Hannover, DE)

2. – 7. Juli 2006, Dagstuhl Seminar 06271

Challenges in Symbolic Computation Software

Wolfram Decker (Universität des Saarlandes, DE), Mike Dewar (NAG Ltd. – Oxford, GB), Erich Kaltofen (MIT – Cambridge, US), Stephen Watt (University of Western Ontario, CA)

5. – 7. Juli 2006, Event 06272

Klausurtagung "Internet-Ökonomie"

M. Zitterbart (Univ. Karlsruhe, DE), S. Agarwal (Univ. Karlsruhe, DE)

9. – 13. Juli 2006, Dagstuhl Seminar 06281

The Challenge of Software Verification

Manfred Broy (TU München, DE), Patrick Cousot (ENS – Paris, FR), Jayadev Misra (University of Texas at Austin, US), Peter O'Hearn (Queen Mary University of London, GB)

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Research, Cambridge, UK

9. – 14. Juli 2006, Event 06282

ACS/CGAL Developer Meeting

M. Sagraloff (MPI für Informatik, Saarbrücken, DE), A. Meyer (MPI für Informatik, Saarbrücken, DE)

16. – 21. Juli 2006, Dagstuhl Seminar 06291

The Role of Business Processes in Service Oriented Architectures

Frank Leymann (Universität Stuttgart, DE), Wolfgang Reisig (HU Berlin, DE), Satish R. Thatte (Microsoft Corp. – Redmond, US), Wil van der Aalst (TU Eindhoven, NL)

17. – 21. Juli 2006, Event 06292

Sommerschule Graduiertenkolleg "TrustSoft"

W. Hasselbring (Univ. Oldenburg, DE), R. Reussner (Univ. Karlsruhe, DE)

23. – 26. Juli 2006, Dagstuhl Seminar 06301

Duplication, Redundancy, and Similarity in Software

Rainer Koschke (Universität Bremen, DE), Ettore Merlo (Ècole Polytechnique – Montréal, CA), Andrew Walenstein (Univ. of Louisiana – Lafayette, US)

23. – 27. Juli 2006, Event 06303

Digitale Spiele

K. Jantke (FIT Leipzig, DE)

26. – 29. Juli 2006, Dagstuhl Seminar 06302

Aspects For Legacy Applications

Siobhán Clarke (Trinity College – Dublin, IE), Leon Moonen (CWI – Amsterdam, NL), Ganesan Ramalingam (IBM India Research Lab, IN)

30. Juli bis 4. August 2006, Dagstuhl Seminar 06311

Sensor Data and Information Fusion in Computer Vision and Medicine

Joachim Denzler (Universität Jena, DE), Joachim Hornegger (Universität Erlangen-Nürnberg, DE), Josef Kittler (University of Surrey, GB)

30. Juli bis 4. August 2006, Event 06312

9th "Korean" Workshop on Computational Geometry and Geometric Networks

A. Wolff (Univ. Karlsruhe, DE), X. Goaoc (INRIA-Lorraine, Nancy, FR)

20. – 25. August 2006, Dagstuhl Seminar 06341

Computational Structures for Modelling Space, Time and Causality

R. Kopperman (City University of New York, US), P. Panangaden (McGill University - Montreal, CA), M. B. Smyth (Imperial College London, UK), D. Spreen (Univ. Siegen, DE)

27. August bis 1. September 2006, Dagstuhl Seminar 06351

Methods for Modelling Software Systems (MMOSS)

Ed Brinksma (University of Twente, NL), Angelika Mader (University of Twente, NL), Perdita Stevens (University of Edinburgh, GB)

3. – 8. September 2006, Dagstuhl Seminar 06361

Computing Media and Languages for Space-Oriented Computation

A. DeHon (CalTech - Pasadena, US), J.-L. Giavitto (Univ. of Evry, FR), F. Gruau (Univ. Paris Sud, FR)

3. – 8. September 2006, GI-Dagstuhl Seminar 06362

GI-Dagstuhl-Seminar: "Algorithm Engineering"

M. Müller-Hannemann (TU Darmstadt, DE), St. Schirra (Univ. Magdeburg, DE)

3. – 8. September 2006, Event 06363

Klausurtagung IPD Reussner

R. Reussner (Univ. Karlsruhe, DE)

10. – 15. September 2006, Dagstuhl Seminar 06371

From Security to Dependability

Christian Cachin (IBM Research – Zürich, CH), Felix C. Freiling (Universität Mannheim, DE), Jaap-Henk Hoepman (Radboud University Nijmegen, NL)

10. – 12. September 2006, Event 06372

Klausurtagung Lehrstuhl Wilhelm

R. Wilhelm (Univ. des Saarlandes, DE)

13. – 15. September 2006, Event 06373

Ontologien für die Krankenhauslogistik

Sebastian Freytag (Universität Göttingen, DE), Karl-Heinz Krempels (RWTH Aachen, DE)

17. – 20. September 2006, Dagstuhl Seminar 06381

Computer Science in Sport

Arnold Baca (Universität Wien, AT), Larry Katz (University of Calgary, CA), Jürgen Perl (Universität Mainz, DE), Otto Spaniol (RWTH Aachen, DE)

Die Dagstuhl-Stiftung erhielt eine Spende von: Deutsche Forschungsgemeinschaft, Bonn

19. – 22. September 2006, Event 06382

NSPW 2006: New Security Paradigms Workshop

Abe Singer (San Diego Supercomputer Center, US), Carol Taylor (University of Idaho, US)

20. – 22. September 2006, Event 06383

Klausurtagung Lehrstuhl Studer

Rudi Studer (KIT – Karlsruhe Institute of Technology, DE)

24. – 29. September 2006, Dagstuhl Seminar 06391

Algorithms and Complexity for Continuous Problems

Stephan Dahlke (Universität Marburg, DE), Klaus Ritter (TU Darmstadt, DE), Ian H. Sloan (UNSW – Sydney, AU), Joseph F. Traub (Columbia University, US)

24. – 29. September 2006, Event 06392

Aufgabenfelder und Methoden empirischer Forschung in der Informatikdidaktik

Johannes Magenheim (Universität Paderborn, DE), Sigrid Schubert (Universität Siegen, DE)

1. – 6. Oktober 2006, Dagstuhl Seminar 06401

Complexity of Constraints

Nadia Creignou (Université de Marseille, FR), Phokion G. Kolaitis (IBM Almaden Center & UC Santa Cruz, USA), Heribert Vollmer (Leibniz Universität Hannover, DE)

3. – 5. Oktober 2006, Event 06409

Forschungsaufenthalt

8. – 13. Oktober 2006, Dagstuhl Seminar 06411

Specification, Verification and Test of Open Systems

Valentin Goranko (University of the Witwatersrand – Johannesburg, ZA), Radu Grosu (SUNY – Stony Brook, US), Stephan Merz (LORIA – Nancy, FR), Holger Schlingloff (Fraunhofer Institut – Berlin, DE)

8. – 10. Oktober 2006, Event 06413

Klausurtagung Graduierten-Kolleg "Selbstorganisierende Sensor-Aktor-Netzwerke"

Uwe D. Hanebeck (KIT – Karlsruhe Institute of Technology, DE), Andreas Kuntz (KIT – Karlsruhe Institute of Technology, DE)

10. – 13. Oktober 2006, Event 06412

GI Fachgruppe "Mobilität und Mobile Informationssysteme" (MMS)

Birgitta König-Ries (Universität Jena, DE), Key Pousttchi (Universität Augsburg, DE)

15. – 20. Oktober 2006, Dagstuhl Seminar 06421

Robot Navigation

Sándor Fekete (TU Braunschweig, DE), Rudolf Fleischer (Fudan University – Shanghai, CN), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA)

15. – 19. Oktober 2006, Event 06422

Klausurtagung AG Schmeck

Hartmut Schmeck (KIT – Karlsruhe Institute of Technology, DE)

22. – 27. Oktober 2006, Dagstuhl Seminar 06431

Scalable Data Management in Evolving Networks

Stefan Böttcher (Universität Paderborn, DE), Le Gruenwald (NSF – Arlington, US), Pedro Jose Marrón (Universität Stuttgart, DE)

29. Oktober bis 1. November 2006, Dagstuhl Seminar 06441

Naming and Addressing for Next-Generation Internetworks

Bengt Ahlgren (Swedish Institute of Computer Science – Kista, SE), Lars Eggert (NEC Laboratories Europe – Heidelberg, DE), Anja Feldmann (Deutsche Telekom Laboratories – Berlin, D), Andrei Gurtov (HIIT – Helsinki, FI), Tom R. Henderson (Boeing Phantom Works – Seattle, US)

Die Dagstuhl-Stiftung erhielt eine Spende von: Boeing Phantom Works

1. – 3. November 2006, Event 06443

Verisoft Projekttreffen

Thomas In der Rieden (Universität des Saarlandes, DE)

5. – 8. November 2006, Event 06452

Graduate Schools Workshop on Dependability and Software Engineering

Timo Warns (Universität Oldenburg, DE)

8. – 10. November 2006, Dagstuhl Seminar 06451

Circuits, Logic, and Games

Th. Schwentick (Univ. Dortmund, DE), D. Thérien (McGill Univ. - Montreal, CA), H. Vollmer (Univ. Hannover, DE)

12. – 17. November 2006, Dagstuhl Seminar 06461

Negotiation and Market Engineering

Nick Jennings (University of Southampton, GB), Gregory Kersten (Concordia University – Montreal, CA), Axel Ockenfels (Universität Köln, DE), Christof Weinhardt (KIT – Karlsruhe Institute of Technology, DE)

19. – 22. November 2006, Dagstuhl Perspectives Workshop 06471

Quo vadis Informatik - Innovation dank Informatik

Hans-Joachim Bungartz (TU München, DE), Christoph Meinel (Hasso-Plattner-Institut – Potsdam, DE), Reinhard Wilhelm (Universität des Saarlandes, DE)

19. – 22. November 2006, Dagstuhl Seminar 06472

XQuery Implementation Paradigms

Peter A. Boncz (CWI – Amsterdam, NL), Torsten Grust (TU München, DE), Jérome Siméon (IBM TJ Watson Research Center – Hawthorne, US), Maurice van Keulen (University of Twente, NL)

22. – 24. November 2006, Event 06473

Winterschool: "Self-Organisation in Embedded Systems"

Ch. Bobda (Univ. Kaiserslautern, DE)

26. November bis 1. Dezember 2006, Dagstuhl Seminar 06481

Geometric Networks and Metric Space Embeddings

Joachim Gudmundsson (NICTA – Sydney, AU), Rolf Klein (Universität Bonn, DE), Giri Narasimhan (Florida Int. Univ. – Miami, US), Michiel Smid (Carleton University – Ottawa, CA), Alexander Wolff (Universität Karlsruhe, DE)

29. November bis 1. Dezember 2006, Event 06482

DIA-Seminar: Objektorientierte Konstruktionstechniken und Software-Architekturen

Reinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE)

3. – 8. Dezember 2006, Dagstuhl Seminar 06491

Digital Historical Corpora - Architecture, Annotation, and Retrieval

Lou Burnard (University of Oxford, GB), Milena Dobreva (Bulgarian Academy of Sciences, BG), Norbert Fuhr (Universität Duisburg-Essen, DE), Anke Lüdeling (HU Berlin, DE)

3. – 9. Dezember 2006, Event 06492

Research Meeting

Flemming Nielson (Technical University of Denmark, DK), Hanne Riis Nielson (Technical University of Denmark, DK)

6. – 13. Dezember 2006, Event 06493

Projektmeeting SW-Komponententechnologie

Peter Lutz (Robert Bosch GmbH – Frankfurt, DE), Dirk Ziegenbein (Robert Bosch GmbH – Stuttgart, DE)

10. – 15. Dezember 2006, Dagstuhl Seminar 06501

Practical Approaches to Multi-Objective Optimization

Jürgen Branke (KIT – Karlsruhe Institute of Technology, DE), Kalyanmoy Deb (Indian Inst. of Technology – Kanpur, IN), Kaisa Miettinen (Helsinki School of Economics, FI), Roman Slowinski (Poznan University of Technology, PL)

13. – 15. Dezember 2006, Event 06502

Lehrerfortbildung in Informatik

Uwe Peters (LPM, Saarbrücken, DE)

17. – 20. Dezember 2006, Event 06512

Evaluation Initiative for XML Document Retrieval

Norbert Fuhr (Universität Duisburg-Essen, DE)

17. – 19. Dezember 2006, Event 06513

Klausurtagung AG "Finkbeiner"

Bernd Finkbeiner (Universität des Saarlandes, DE)