Seminars 2006:



January 3 – 6 , 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

January 8 – 13 , 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

January 15 – 20 , 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

January 29 – February 3 , 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

February 5 – 10 , 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

February 12 – 17 , 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

February 19 – 24 , 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)

Top

February 26 – March 3 , 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

March 5 – 10 , 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

March 12 – 17 , 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

March 19 – 24 , 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)

The Dagstuhl Foundation received a donation from: Microsoft Corporation, Redmond, US

Top

March 26 – 29 , 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

March 28 – 31 , 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

April 2 – 7 , 2006, Dagstuhl Seminar 06141

Dynamically Reconfigurable Architectures


Peter M. Athanas (Virginia Polytechnic Institute – Falls Church, 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

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

April 23 – 28 , 2006, Dagstuhl Seminar 06171

Content-Based Retrieval


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

Top

April 26 – 29 , 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

May 1 – 6 , 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

May 7 – 12 , 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

May 14 – 19 , 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

May 28 – June 2 , 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

June 5 – 9 , 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

June 11 – 16 , 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

June 19 – 23 , 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 – Pittsburgh, US)

Top

June 25 – 30 , 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

June 26 – 30 , 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

July 2 – 7 , 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)

Top

July 9 – 13 , 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)

The Dagstuhl Foundation received a donation from: Microsoft Research, Cambridge, UK

Top

July 16 – 21 , 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

July 23 – 26 , 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

July 26 – 29 , 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

July 30 – August 4 , 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

August 20 – 25 , 2006, Dagstuhl Seminar 06341

Computational Structures for Modelling Space, Time and Causality


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

Top

August 27 – September 1 , 2006, Dagstuhl Seminar 06351

Methods for Modelling Software Systems (MMOSS)


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

Top

September 3 – 8 , 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

September 10 – 15 , 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

September 17 – 20 , 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)

The Dagstuhl Foundation received a donation from: Deutsche Forschungsgemeinschaft, Bonn

Top

September 24 – 29 , 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

October 1 – 6 , 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

October 8 – 13 , 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

October 15 – 20 , 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

October 22 – 27 , 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

October 29 – November 1 , 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)

The Dagstuhl Foundation received a donation from: Boeing Phantom Works

Top

November 8 – 10 , 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

November 12 – 17 , 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

November 19 – 22 , 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

November 19 – 22 , 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

November 26 – December 1 , 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

December 3 – 8 , 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

December 10 – 15 , 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