Seminare und Dagstuhl-Perspektiven-Workshops 2006:



03. – 06. 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)

Top

08. – 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)

Top

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)

Top

29. Januar – 03. 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)

Top

05. – 10. Februar 2006, Dagstuhl Seminar 06061

Theory of Evolutionary Algorithms


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

Top

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)

Top

19. – 24. Februar 2006, Dagstuhl Seminar 06081

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


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

Top

26. Februar – 03. 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)

Top

05. – 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), Michael Worboys (University of Maine, US)

Top

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)

Top

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 Research – 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

Top

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), Ion Stoica (Univ. California – Berkeley, US), Klaus Wehrle (RWTH Aachen, DE)

Top

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

Internet Economics


Martin Karsten (University of Waterloo, CA), Lee McKnight (Syracuse University, US), Peter Reichl (FZ Telekommunikation Wien, AT), Burkhard Stiller (Universität Zürich, CH)

Top

02. – 07. April 2006, Dagstuhl Seminar 06141

Dynamically Reconfigurable Architectures


Peter M. Athanas (Virginia Polytechnic Institute – Blacksburg, US), Jürgen Becker (KIT – Karlsruher Institut für Technologie, DE), Gordon Brebner (Xilinx – San José, US), Jürgen Teich (Universität Erlangen-Nürnberg, DE)

Top

17. – 22. April 2006, Dagstuhl Seminar 06161

Simulation and Verification of Dynamic Systems


David M. Nicol (University of Illinois – Urbana Champaign, US), Corrado Priami (Università di Trento, IT), Hanne Riis Nielson (Technical University of Denmark – Lyngby, DK), Adelinde M. Uhrmacher (Universität Rostock, DE)

Top

23. – 28. April 2006, Dagstuhl Seminar 06171

Content-Based Retrieval


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

Top

26. – 29. April 2006, Dagstuhl Seminar 06172

Directed Model Checking


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

Top

01. – 06. Mai 2006, Dagstuhl Seminar 06181

Latently-Typed Languages


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

Top

07. – 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)

Top

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)

Top

28. Mai – 02. 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)

Top

05. – 09. Juni 2006, Dagstuhl Seminar 06231

Towards Affordance-Based Robot Control


Patrick Doherty (Linköping University, SE), Georg Dorffner (ÖSGK – Vienna, AT), Joachim Hertzberg (Universität Osnabrück, DE), Erich Rome (Fraunhofer IAIS – St. Augustin, DE)

Top

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)

Top

19. – 23. Juni 2006, Dagstuhl Seminar 06251

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


Hans-Dieter Burkhard (HU Berlin, DE), Martin Riedmiller (Universität Osnabrück, DE), Uwe Schwiegelshohn (TU Dortmund, DE), Manuela Veloso (Carnegie Mellon University, US)

Top

25. – 30. Juni 2006, Dagstuhl Seminar 06261

Foundations and Practice of Programming Multi-Agent Systems


Rafael H. Bordini (Federal University of Rio Grande do Sul, BR), Mehdi Dastani (Utrecht University, NL), John-Jules Ch. Meyer (Utrecht University, NL)

Top

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)

Top

02. – 07. 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 M. Watt (University of Western Ontario, CA)

Top

09. – 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 – Austin, US), Peter O'Hearn (Queen Mary University of London, GB)

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

Top

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)

Top

23. – 26. Juli 2006, Dagstuhl Seminar 06301

Duplication, Redundancy, and Similarity in Software


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

Top

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)

Top

30. Juli – 04. 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)

Top

20. – 25. August 2006, Dagstuhl Seminar 06341

Computational Structures for Modelling Space, Time and Causality


Ralph Kopperman (City University of New York, US), Prakash Panangaden (McGill University – Montreal, CA), Michael B. Smyth (Imperial College London, GB), Dieter Spreen (Universität Siegen, DE)

Top

27. August – 01. September 2006, Dagstuhl Seminar 06351

Methods for Modelling Software Systems (MMOSS)


Ed Brinksma (University of Twente, NL), David Harel (Weizmann Institute – Rehovot, IL), Perdita Stevens (University of Edinburgh, GB), Roel J. Wieringa (University of Twente, NL)

Top

03. – 08. September 2006, Dagstuhl Seminar 06361

Computing Media and Languages for Space-Oriented Computation


André DeHon (University of Pennsylvania, US), Jean-Louis Giavitto (University of Evry, FR), Frédric Gruau (Université Paris Sud, FR)

Top

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)

Top

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

Top

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 – New York, US)

Top

01. – 06. 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)

Top

08. – 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)

Top

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)

Top

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), Evaggelia Pitoura (University of Ioannina, GR)

Top

29. Oktober – 01. 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 Research & Technology – Seattle, US)

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

Top

08. – 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)

Top

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)

Top

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)

Top

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)

Top

26. November – 01. 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)

Top

03. – 08. 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)

Top

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), Ralph E. Steuer (University of Georgia, US)

Top