Seminars and Dagstuhl Perspectives Workshops 2006:
January 3 – 6 , 2006, Dagstuhl Perspectives Workshop 06011Autonomic NetworkingGeorg 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) | Top |
January 8 – 13 , 2006, Dagstuhl Seminar 06021Reliable Implementation of Real Number Algorithms: Theory and PracticePeter 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) | Top |
January 15 – 20 , 2006, Dagstuhl Seminar 06031Organic Computing - Controlled EmergenceKirstie 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) | Top |
January 29 – February 3 , 2006, Dagstuhl Seminar 06051Kolmogorov Complexity and ApplicationsMarcus Hutter (IDSIA – Manno, 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 (TU Dortmund, DE), Jonathan 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 (VU University 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 – March 3 , 2006, Dagstuhl Seminar 06091Data StructuresLars Arge (Aarhus University, DK), Robert Sedgewick (Princeton University, US), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, 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), Michael Worboys (University of Maine, US) | 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 (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) | 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), Ion Stoica (University of California – Berkeley, US), Klaus Wehrle (RWTH Aachen, DE) | Top |
March 28 – 31 , 2006, Dagstuhl Seminar 06132Internet EconomicsMartin 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) | Top |
April 2 – 7 , 2006, Dagstuhl Seminar 06141Dynamically Reconfigurable ArchitecturesPeter 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 |
April 17 – 22 , 2006, Dagstuhl Seminar 06161Simulation and Verification of Dynamic SystemsDavid 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 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), Alberto Lluch Lafuente (Lyngby, DK), Willem Visser (NASA / RIACS – Moffett Field, US) | Top |
May 1 – 6 , 2006, Dagstuhl Seminar 06181Latently-Typed LanguagesRalph 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) | 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 – Atlanta, US), Vladimir I. Levenshtein (Keldysh Institute – Moscow, RU) | Top |
May 28 – 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 ControlPatrick 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 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 ActionHans-Dieter Burkhard (HU Berlin, DE), Martin Riedmiller (Universität Osnabrück, DE), Uwe Schwiegelshohn (TU Dortmund, DE), Manuela Veloso (Carnegie Mellon University, US) | Top |
June 25 – 30 , 2006, Dagstuhl Seminar 06261Foundations and Practice of Programming Multi-Agent SystemsRafael 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 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 M. Watt (University of Western Ontario – London, 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 – 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 Corporation – 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), Arun Lakhotia (University of Louisiana – Lafayette, US), Ettore Merlo (Ècole Polytechnique – Montréal, CA), Andrew Walenstein (University 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 – 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 CausalityRalph 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 |
August 27 – September 1 , 2006, Dagstuhl Seminar 06351Methods 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 |
September 3 – 8 , 2006, Dagstuhl Seminar 06361Computing Media and Languages for Space-Oriented ComputationAndré 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 06371From Security to DependabilityChristian Cachin (IBM Research GmbH – Zürich, CH), Felix 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 – New York, US) | Top |
October 1 – 6 , 2006, Dagstuhl Seminar 06401Complexity of ConstraintsNadia Creignou (University of Marseille, FR), Phokion G. Kolaitis (IBM Almaden Center & UC Santa Cruz, US), 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), Evaggelia Pitoura (University of Ioannina, GR) | Top |
October 29 – 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, DE), Andrei Gurtov (HIIT – Helsinki, FI), Tom R. Henderson (Boeing Research & Technology – 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 – Karlsruher Institut für Technologie, 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 – December 1 , 2006, Dagstuhl Seminar 06481Geometric Networks and Metric Space EmbeddingsJoachim 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) | 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 – Karlsruher Institut für Technologie, 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 |