Seminars 2006:
January 3 – 6, 2006, Dagstuhl Perspectives Workshop 06011Autonomic NetworkingG. 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 06021Reliable Implementation of Real Number Algorithms: Theory and PracticeP. 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 06031Organic Computing - Controlled EmergenceK. 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 to February 3, 2006, Dagstuhl Seminar 06051Kolmogorov Complexity and ApplicationsMarcus Hutter (IDSIA – Lugano, CH), Wolfgang Merkle (Universität Heidelberg, DE), Paul M. B. Vitanyi (CWI – Amsterdam, NL) | Top |
February 5 – 10, 2006, Dagstuhl Seminar 06061Theory of Evolutionary AlgorithmsDirk 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) | Top |
February 12 – 17, 2006, Dagstuhl Seminar 06071Architectures and Algorithms for Petascale ComputingUlrich 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 06081Software Verification: Infinite-State Model Checking and Static Program AnalysisParosh Aziz Abdulla (Uppsala University, SE), Ahmed Bouajjani (University Paris-Diderot, FR), Markus Müller-Olm (Universität Münster, DE) | Top |
February 26 to March 3, 2006, Dagstuhl Seminar 06091Data StructuresLars Arge (Aarhus University, DK), Robert Sedgewick (Princeton University, US), Dorothea Wagner (KIT – Karlsruhe Institute of Technology, DE) | Top |
March 5 – 10, 2006, Dagstuhl Seminar 06101Spatial Data: Mining, Processing and CommunicatingJörg-Rüdiger Sack (Carleton University – Ottawa, CA), Monika Sester (Leibniz Universität Hannover, DE), Peter van Oosterom (TU Delft, NL) | Top |
March 12 – 17, 2006, Dagstuhl Seminar 06111Complexity of Boolean FunctionsMatthias 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 06121Atomicity: A Unifying Concept in Computer ScienceCliff 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) | Top |
March 26 – 29, 2006, Dagstuhl Seminar 06131Peer-to-Peer-Systems and -ApplicationsAnthony D. Joseph (University of California – Berkeley, US), Ralf Steinmetz (TU Darmstadt, DE), Klaus Wehrle (RWTH Aachen, DE) | Top |
March 28 – 31, 2006, Dagstuhl Seminar 06132Internet EconomicsPeter Reichl (FZ Telekommunikation Wien, AT), Burkhard Stiller (Universität Zürich, CH) | Top |
April 2 – 7, 2006, Dagstuhl Seminar 06141Dynamically Reconfigurable ArchitecturesP. M. Athanas (Virginia Polytechnic Institute, US), J. Becker (Universität Karlsruhe, DE), G. Brebner (Xilinx - San José, US), J. Teich (Universität Erlangen, DE) | Top |
April 17 – 22, 2006, Dagstuhl Seminar 06161Simulation and Verification of Dynamic SystemsDavid M. Nicol (University of Illinois – Urbana, US), Hanne Riis Nielson (Technical University of Denmark, DK), Adelinde M. Uhrmacher (Universität Rostock, DE) | Top |
April 23 – 28, 2006, Dagstuhl Seminar 06171Content-Based RetrievalTim Crawford (University of London/Goldsmiths, GB), Remco Veltkamp (Utrecht University, NL) | Top |
April 26 – 29, 2006, Dagstuhl Seminar 06172Directed Model CheckingStefan Edelkamp (TU Dortmund, DE), Stefan Leue (Universität Konstanz, DE), Willem Visser (NASA / RIACS – Moffett Field, US) | Top |
May 1 – 6, 2006, Dagstuhl Seminar 06181Latently-Typed LanguagesRalph 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) | Top |
May 7 – 12, 2006, Dagstuhl Seminar 06191Rigorous Methods for Software Construction and AnalysisJean-Raymond Abrial (ETH Zürich, CH), Uwe Glässer (Simon Fraser University – Burnaby, CA) | Top |
May 14 – 19, 2006, Dagstuhl Seminar 06201Combinatorial and Algorithmic Foundations of Pattern and Association DiscoveryRudolf Ahlswede (Universität Bielefeld, DE), Alberto Apostolico (Georgia Institute of Technology, US), Vladimir I. Levenshtein (Keldysh Institute – Moscow, RU) | Top |
May 28 to June 2, 2006, Dagstuhl Seminar 06221Computational Aesthetics in Graphics, Visualization and ImagingBruce 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 06231Towards Affordance-Based Robot ControlGeorg 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 06241Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop on Theoretical Foundations of Computer VisionReinhard 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 06251Multi-Robot Systems: Perception, Behaviors, Learning, and ActionMartin Riedmiller (Universität Osnabrück, DE), Uwe Schwiegelshohn (Universität Dortmund, DE) | Top |
June 25 – 30, 2006, Dagstuhl Seminar 06261Foundations and Practice of Programming Multi-Agent SystemsRafael H. Bordini (UFRGS – Porto Alegre, BR), Mehdi Dastani (Utrecht University, NL), John-Jules Ch. Meyer (Utrecht University, NL) | Top |
June 26 – 30, 2006, Dagstuhl Seminar 06262Empirical Software EngineeringVictor 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 06271Challenges in Symbolic Computation SoftwareWolfram 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 06281The Challenge of Software VerificationManfred 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) | Top |
July 16 – 21, 2006, Dagstuhl Seminar 06291The Role of Business Processes in Service Oriented ArchitecturesFrank 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 06301Duplication, Redundancy, and Similarity in SoftwareRainer Koschke (Universität Bremen, DE), Ettore Merlo (Ècole Polytechnique – Montréal, CA), Andrew Walenstein (Univ. of Louisiana – Lafayette, US) | Top |
July 26 – 29, 2006, Dagstuhl Seminar 06302Aspects For Legacy ApplicationsSiobhán Clarke (Trinity College – Dublin, IE), Leon Moonen (CWI – Amsterdam, NL), Ganesan Ramalingam (IBM India Research Lab, IN) | Top |
July 30 to August 4, 2006, Dagstuhl Seminar 06311Sensor Data and Information Fusion in Computer Vision and MedicineJoachim 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 06341Computational Structures for Modelling Space, Time and CausalityR. 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) | Top |
August 27 to September 1, 2006, Dagstuhl Seminar 06351Methods for Modelling Software Systems (MMOSS)Ed Brinksma (University of Twente, NL), Angelika Mader (University of Twente, NL), Perdita Stevens (University of Edinburgh, GB) | Top |
September 3 – 8, 2006, Dagstuhl Seminar 06361Computing Media and Languages for Space-Oriented ComputationA. DeHon (CalTech - Pasadena, US), J.-L. Giavitto (Univ. of Evry, FR), F. Gruau (Univ. Paris Sud, FR) | Top |
September 10 – 15, 2006, Dagstuhl Seminar 06371From Security to DependabilityChristian 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 06381Computer Science in SportArnold Baca (Universität Wien, AT), Larry Katz (University of Calgary, CA), Jürgen Perl (Universität Mainz, DE), Otto Spaniol (RWTH Aachen, DE) | Top |
September 24 – 29, 2006, Dagstuhl Seminar 06391Algorithms and Complexity for Continuous ProblemsStephan Dahlke (Universität Marburg, DE), Klaus Ritter (TU Darmstadt, DE), Ian H. Sloan (UNSW – Sydney, AU), Joseph F. Traub (Columbia University, US) | Top |
October 1 – 6, 2006, Dagstuhl Seminar 06401Complexity of ConstraintsNadia 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 06411Specification, Verification and Test of Open SystemsValentin 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 06421Robot NavigationSá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 06431Scalable Data Management in Evolving NetworksStefan Böttcher (Universität Paderborn, DE), Le Gruenwald (NSF – Arlington, US), Pedro Jose Marrón (Universität Stuttgart, DE) | Top |
October 29 to November 1, 2006, Dagstuhl Seminar 06441Naming and Addressing for Next-Generation InternetworksBengt 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) | Top |
November 8 – 10, 2006, Dagstuhl Seminar 06451Circuits, Logic, and GamesTh. Schwentick (Univ. Dortmund, DE), D. Thérien (McGill Univ. - Montreal, CA), H. Vollmer (Univ. Hannover, DE) | Top |
November 12 – 17, 2006, Dagstuhl Seminar 06461Negotiation and Market EngineeringNick 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 06471Quo vadis Informatik - Innovation dank InformatikHans-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 06472XQuery Implementation ParadigmsPeter 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 to December 1, 2006, Dagstuhl Seminar 06481Geometric Networks and Metric Space EmbeddingsJoachim 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 06491Digital Historical Corpora - Architecture, Annotation, and RetrievalLou 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 06501Practical Approaches to Multi-Objective OptimizationJü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) | Top |