Seminar Calendar
2006
Directly go to:
Jan 03
– Jan 06, 2006
• Dagstuhl Perspectives Workshop 06011
Autonomic Networking
Georg Carle (TU München, DE) • Randy H. Katz (University of California - Berkeley, US) • Bernhard Plattner (ETH Zürich, CH) • Mikhail Smirnov (Fraunhofer FOKUS - Berlin, DE)
Jan 08
– Jan 13, 2006
• Dagstuhl Seminar 06021
Reliable Implementation of Real Number Algorithms: Theory and Practice
Peter Hertling (Universität der Bundeswehr - München, DE) • Christoph M. Hoffmann (Purdue University - West Lafayette, US) • Wolfram Luther (Universität Duisburg-Essen, DE) • Nathalie Revol (ENS - Lyon, FR)
Jan 15
– Jan 20, 2006
• Dagstuhl Seminar 06031
Organic Computing – Controlled Emergence
Kirstie Bellman (The Aerospace Corp. - Los Angeles, US) • Peter Hofmann (Daimler Research - Stuttgart, DE) • Christian Müller-Schloer (Leibniz Universität Hannover, DE) • Hartmut Schmeck (KIT - Karlsruhe, DE) • Rolf P. Würtz (Ruhr-Universität Bochum, DE)
Jan 29
– Feb 03, 2006
• Dagstuhl Seminar 06051
Kolmogorov Complexity and Applications
Marcus Hutter (IDSIA - Manno, CH) • Wolfgang Merkle (Universität Heidelberg, DE) • Paul M. B. Vitanyi (CWI - Amsterdam, NL)
Feb 05
– Feb 10, 2006
• Dagstuhl Seminar 06061
Theory of Evolutionary Algorithms
Dirk Arnold (Dalhousie University, CA) • Thomas Jansen (TU Dortmund, DE) • Jonathan Rowe (University of Birmingham, GB) • Michael D. Vose (University of Tennessee, US)
Feb 12
– Feb 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 (VU University Amsterdam, NL)
Feb 19
– Feb 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)
Feb 26
– Mar 03, 2006
• Dagstuhl Seminar 06091
Data Structures
Lars Arge (Aarhus University, DK) • Robert Sedgewick (Princeton University, US) • Dorothea Wagner (KIT - Karlsruher Institut für Technologie, DE)
Mar 05
– Mar 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)
Mar 12
– Mar 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)
Mar 19
– Mar 24, 2006
• Dagstuhl Seminar 06121
Atomicity: A Unifying Concept in Computer Science
Cliff B. Jones (University of Newcastle, GB) • David B. Lomet (Microsoft Research - Redmond, US) • Alexander Romanovsky (University of Newcastle, GB) • Gerhard Weikum (MPI für Informatik - Saarbrücken, DE)
Mar 26
– Mar 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 (University of California - Berkeley, US) • Klaus Wehrle (RWTH Aachen, DE)
Mar 28
– Mar 31, 2006
• Dagstuhl Seminar 06132
Internet Economics
Martin Karsten (University of Waterloo, CA) • Lee McKnight (Syracuse University, US) • Peter Reichl (FTW Forschungszentrum Telekommunikation Wien GmbH, AT) • Burkhard Stiller (Universität Zürich, CH)
Apr 02
– Apr 07, 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)
Apr 17
– Apr 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)
Apr 23
– Apr 28, 2006
• Dagstuhl Seminar 06171
Content-Based Retrieval
Tim Crawford (University of London/Goldsmiths, GB) • Remco Veltkamp (Utrecht University, NL)
Apr 26
– Apr 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)
May 01
– May 06, 2006
• Dagstuhl Seminar 06181
Latently-Typed Languages
Ralph Johnson (University of Illinois - Urbana-Champaign, US) • Shriram Krishnamurthi (Brown University - Providence, US) • Thomas Kühne (Victoria University of Wellington, NZ) • Michael Sperber (Tübingen, DE)
May 07
– May 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)
May 14
– May 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 - Atlanta, US) • Vladimir I. Levenshtein (Keldysh Institute - Moscow, RU)
May 28
– Jun 02, 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)
Jun 05
– Jun 09, 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)
Jun 11
– Jun 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)
Jun 19
– Jun 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, US)
Jun 25
– Jun 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)
Jun 26
– Jun 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)
Jul 02
– Jul 07, 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 - London, CA)
Jul 09
– Jul 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)
Jul 16
– Jul 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 Corporation - Redmond, US) • Wil van der Aalst (TU Eindhoven, NL)
Jul 23
– Jul 26, 2006
• Dagstuhl Seminar 06301
Duplication, Redundancy, and Similarity in Software
Rainer Koschke (Universität Bremen, DE) • Arun Lakhotia (University of Louisiana - Lafayette, US) • Ettore Merlo (Ècole Polytechnique - Montréal, CA) • Andrew Walenstein (University of Louisiana - Lafayette, US)
Jul 26
– Jul 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)
Jul 30
– Aug 04, 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)
Aug 20
– Aug 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 - Montreal, CA) • Michael B. Smyth (Imperial College London, GB) • Dieter Spreen (Universität Siegen, DE)
Aug 27
– Sep 01, 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)
Sep 03
– Sep 08, 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)
Sep 10
– Sep 15, 2006
• Dagstuhl Seminar 06371
From Security to Dependability
Christian Cachin (IBM Research GmbH - Zürich, CH) • Felix Freiling (Universität Mannheim, DE) • Jaap-Henk Hoepman (Radboud University Nijmegen, NL)
Sep 17
– Sep 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)
Sep 24
– Sep 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)
Oct 01
– Oct 06, 2006
• Dagstuhl Seminar 06401
Complexity of Constraints
Nadia Creignou (University of Marseille, FR) • Phokion G. Kolaitis (IBM Almaden Center & UC Santa Cruz, US) • Heribert Vollmer (Leibniz Universität Hannover, DE)
Oct 08
– Oct 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)
Oct 15
– Oct 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)
Oct 22
– Oct 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)
Oct 29
– Nov 01, 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, DE) • Andrei Gurtov (HIIT - Helsinki, FI) • Tom R. Henderson (Boeing Research & Technology - Seattle, US)
Nov 08
– Nov 10, 2006
• Dagstuhl Seminar 06451
Circuits, Logic, and Games
Thomas Schwentick (TU Dortmund, DE) • Denis Therien (McGill University - Montreal, CA) • Heribert Vollmer (Leibniz Universität Hannover, DE)
Nov 12
– Nov 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 - Karlsruher Institut für Technologie, DE)
Nov 19
– Nov 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)
Nov 19
– Nov 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)
Nov 26
– Dec 01, 2006
• Dagstuhl Seminar 06481
Geometric Networks and Metric Space Embeddings
Joachim Gudmundsson (NICTA - Sydney, AU) • Rolf Klein (Universität Bonn, DE) • Giri Narasimhan (Florida International University - Miami, US) • Michiel Smid (Carleton University - Ottawa, CA) • Alexander Wolff (KIT - Karlsruher Institut für Technologie, DE)
Dec 03
– Dec 08, 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)
Dec 10
– Dec 15, 2006
• Dagstuhl Seminar 06501
