January 4 – 7 , 2009, Dagstuhl Seminar 09021Software Service EngineeringFrank Leymann (Universität Stuttgart, DE), Tony Shan (University of Phoenix, US), Willem-Jan van den Heuvel (Tilburg University, NL), Olaf Zimmermann (IBM Research GmbH – Zürich, CH) | Top |
January 11 – 16 , 2009, Dagstuhl Seminar 09031Symmetric CryptographyHelena Handschuh (San Francisco, US), Stefan Lucks (Bauhaus-Universität Weimar, DE), Bart Preneel (KU Leuven, BE), Phillip Rogaway (University of California – Davis, US) | Top |
January 18 – 23 , 2009, Dagstuhl Seminar 09041Hybrid and Robust Approaches to Multiobjective OptimizationKalyanmoy Deb (Indian Inst. of Technology – Kanpur, IN), Salvatore Greco (Università di Catania, IT), Kaisa Miettinen (University of Jyväskylä, FI), Eckart Zitzler (ETH Zürich, CH) | Top |
January 25 – 30 , 2009, Dagstuhl Seminar 09051Knowledge representation for intelligent music processingEleanor Selfridge-Field (Stanford University, US), Frans Wiering (Utrecht University, NL), Geraint A. Wiggins (University of London/Goldsmiths, GB) | Top |
January 27 – 30 , 2009, Dagstuhl Seminar 09052Management of the Future InternetOlivier Festor (INRIA – Nancy Grand Est, FR), Aiko Pras (University of Twente, NL), Burkhard Stiller (Universität Zürich, CH) | Top |
February 1 – 6 , 2009, Dagstuhl Seminar 09061Combinatorial Scientific ComputingUwe Naumann (RWTH Aachen, DE), Olaf Schenk (Universität Basel, CH), Horst D. Simon (Lawrence Berkeley National Laboratory, US), Sivan Toledo (Tel Aviv University, IL) | Top |
February 8 – 11 , 2009, Dagstuhl Seminar 09071Delay and Disruption-Tolerant Networking (DTN) IIKevin R. Fall (Intel Berkeley Labs, US), Cecilia Mascolo (University of Cambridge, GB), Jörg Ott (Helsinki University of Technology, FI), Lars Wolf (TU Braunschweig, DE) | Top |
February 8 – 11 , 2009, Dagstuhl Seminar 09072Bandwidth on DemandPanayotis Antoniadis (Université Paris VI, FR), David Hausheer (Universität Zürich, CH), Kohei Shiomoto (NTT Labs – Tokyo, JP), Burkhard Stiller (Universität Zürich, CH), Jean Walrand (University of California – Berkeley, US) | Top |
February 11 – 14 , 2009, Dagstuhl Seminar 09073Model-Based Design of Trustworthy Health Information SystemsRuth Breu (Universität Innsbruck, AT), John C. Mitchell (Stanford University, US), Janos Sztipanovits (Vanderbilt University, US), Alfred Winter (Universität Leipzig, DE) | Top |
February 15 – 20 , 2009, Dagstuhl Seminar 09081Similarity-based learning on structuresMichael Biehl (University of Groningen, NL), Barbara Hammer (TU Clausthal, DE), Sepp Hochreiter (Universität Linz, AT), Stefan C. Kremer (University of Guelph, CA), Thomas Villmann (Hochschule Mittweida, DE) | Top |
February 15 – 20 , 2009, Dagstuhl Perspectives Workshop 09082The Future of Grid ComputingDieter Kranzlmüller (LMU München, DE), Andreas Reuter (HITS gGmbH – Heidelberg, DE), Uwe Schwiegelshohn (TU Dortmund, DE) | Top |
February 22 – 27 , 2009, Dagstuhl Seminar 09091Formal Methods in Molecular BiologyRainer Breitling (University of Groningen, NL), David Gilbert (University of Glasgow, GB), Monika Heiner (BTU Cottbus, DE), Corrado Priami (Microsoft Research – University Trento, IT) | Top |
March 1 – 6 , 2009, Dagstuhl Seminar 09101Interactive Information RetrievalNicholas J. Belkin (Rutgers University – New Brunswick, US), Norbert Fuhr (Universität Duisburg-Essen, DE), Joemon Jose (University of Glasgow, GB), C .J. Keith van Rijsbergen (University of Glasgow, GB) | Top |
March 1 – 4 , 2009, Dagstuhl Perspectives Workshop 09102Naming and Addressing in a Future InternetJari Arkko (Ericsson – Jorvas, FI), Marcelo Bagnulo Braun (Univ. Carlos III – Madrid, ES), Scott Brim (CISCO Systems – Ithaca, US), Lars Eggert (NetApp Deutschland GmbH – Kirchheim, DE), Christian Vogt (Ericsson – San Jose, US), Lixia Zhang (UCLA, US) | Top |
March 8 – 13 , 2009, Dagstuhl Seminar 09111Computational GeometryPankaj Kumar Agarwal (Duke University – Durham, US), Helmut Alt (FU Berlin, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR) | Top |
March 15 – 20 , 2009, Dagstuhl Seminar 09121Normative Multi-Agent SystemsGuido Boella (University of Torino, IT), Pablo Noriega (Hospital Clinic de Barcelona – Barcelona, ES), Gabriella Pigozzi (University of Luxembourg, LU), Harko Verhagen (Stockholm University, SE) | Top |
March 22 – 27 , 2009, Dagstuhl Seminar 09131Service Level Agreements in GridsMichael Gerndt (TU München, DE), Omer F. Rana (Cardiff University, GB), Gregor von Laszewski (Rochester Institute of Technology, US), Wolfgang Ziegler (Fraunhofer SCAI – St. Augustin, DE) | Top |
March 29 – April 3 , 2009, Dagstuhl Seminar 09141Web Application SecurityDan Boneh (Stanford University, US), Ulfar Erlingsson (Reykjavik University, IS), Martin Johns (Universität Passau, DE), Benjamin Livshits (Microsoft Corporation – Redmond, US) | Top |
March 31 – April 3 , 2009, Dagstuhl Perspectives Workshop 09142Preventing the Brainware CrisisStephan Diehl (Universität Trier, DE), Michael R. Fellows (Charles Darwin University – Darwin, AU), Werner Hartmann (infoSense, CH), Ulrike Stege (University of Victoria, CA) | Top |
April 13 – 17 , 2009, Dagstuhl Seminar 09161Generalization of spatial informationSébastien Mustière (Institut Géographique National – Saint-Mandé, FR), Monika Sester (Leibniz Universität Hannover, DE), Frank van Harmelen (VU University Amsterdam, NL), Peter van Oosterom (TU Delft, NL) | Top |
April 14 – 17 , 2009, Dagstuhl Perspectives Workshop 09162Architecture and Design of the Future InternetGeorg Carle (TU München, DE), David Hutchison (Lancaster University, GB), Bernhard Plattner (ETH Zürich, CH), James P. G. Sterbenz (University of Kansas – Lawrence, US) | Top |
April 19 – 24 , 2009, Dagstuhl Seminar 09171Adaptive, Output Sensitive, Online and Parameterized AlgorithmsJérémy Barbay (University of Chile – Santiago de Chile, CL), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA), Rolf Niedermeier (Universität Jena, DE) | Top |
April 26 – 30 , 2009, Dagstuhl Seminar 09181Sampling-based Optimization in the Presence of UncertaintyJürgen Branke (University of Warwick, GB), Barry L. Nelson (Northwestern University – Evanston, US), Warren Buckler Powell (Princeton University, US), Thomas J. Santner (Ohio State University, US) | Top |
May 3 – 8 , 2009, Dagstuhl Seminar 09191Fault Tolerance in High-Performance Computing and GridsFranck Cappello (University of Paris South XI, FR), Laxmikant Kale (University of Illinois – Urbana-Champaign, US), Frank Mueller (North Carolina State University – Raleigh, US), Keshav Pingali (University of Texas – Austin, US), Alexander Reinefeld (Konrad-Zuse-Zentrum – Berlin, DE) | Top |
May 5 – 8 , 2009, Dagstuhl Seminar 09192From Quality of Service to Quality of ExperienceMarkus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Kalevi Kilkki (Helsinki University of Technology, FI), Peter Reichl (FZ Telekommunikation Wien, AT) | Top |
May 10 – 15 , 2009, Dagstuhl Seminar 09201Self-Healing and Self-Adaptive SystemsArtur Andrzejak (Konrad-Zuse-Zentrum – Berlin, DE), Kurt Geihs (Universität Kassel, DE), Onn Shehory (IBM – Haifa, IL), John Wilkes (Google Inc. – Mountain View, US) | Top |
May 17 – 20 , 2009, Dagstuhl Seminar 09211Visualization and Monitoring of Network TrafficDaniel A. Keim (Universität Konstanz, DE), Aiko Pras (University of Twente, NL), Jürgen Schönwälder (Jacobs Universität – Bremen, DE), Pak Chung Wong (Pacific Northwest National Lab. – Richland, US) | Top |
May 24 – 29 , 2009, Dagstuhl Seminar 09221Algorithms and Number TheoryJohannes A. Buchmann (TU Darmstadt, DE), John Cremona (University of Warwick, GB), Michael E. Pohst (TU Berlin, DE) | Top |
June 1 – 5 , 2009, Event 092322nd DYNAMO Workshop: Dynamic Communication NetworksPierre Fraigniaud (CNRS & Université Paris Diderot, FR), Christian Schindelhauer (Universität Freiburg, DE) | Top |
June 14 – 19 , 2009, Dagstuhl Seminar 09251Scientific VisualizationDavid S. Ebert (Purdue University – West Lafayette, US), Eduard Gröller (TU Wien, AT), Hans Hagen (TU Kaiserslautern, DE), Arie Kaufman (SUNY – Stony Brook, US) | Top |
June 21 – 26 , 2009, Dagstuhl Seminar 09261Models and Algorithms for Optimization in LogisticsCynthia Barnhart (MIT – Cambridge, US), Uwe Clausen (TU Dortmund, DE), Ulrich Lauther (Siemens AG – München, DE), Rolf H. Möhring (TU Berlin, DE) | Top |
June 23 – 26 , 2009, Event 09262DIA-Seminar: Konstruktionstechniken und Architektur für hochwertige SoftwareReinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE) | Top |
June 28 – July 3 , 2009, Dagstuhl Perspectives Workshop 09271Semantic Web Reflections and Future DirectionsJohn Domingue (The Open University – Milton Keynes, GB), Dieter Fensel (Universität Innsbruck, AT), James A. Hendler (Rensselaer Polytechnic Institute – Troy, US), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE) | Top |
July 5 – 10 , 2009, Dagstuhl Seminar 09281Search MethodologiesRudolf Ahlswede (Universität Bielefeld, DE), Ferdinando Cicalese (University of Salerno, IT), Ugo Vaccaro (University of Salerno, IT) | Top |
July 5 – 8 , 2009, Dagstuhl Seminar 09282Foundations for Forgery-Resilient Cryptographic HardwareJorge Guajardo Merchan (Philips Research Europe – Eindhoven, NL), Bart Preneel (KU Leuven, BE), Ahmad-Reza Sadeghi (Ruhr-Universität Bochum, DE), Pim Tuyls (Intrinsic-ID – Mol, BE) | Top |
July 12 – 17 , 2009, Dagstuhl Seminar 09291Computational Creativity: An Interdisciplinary ApproachMargaret Boden (University of Sussex – Brighton, GB), Mark d'Inverno (University of London/Goldsmiths, GB), Jon McCormack (Monash University – Clayton, AU) | Top |
July 12 – 17 , 2009, Dagstuhl Seminar 09292The Java Modeling Language (JML)Joseph Roland Kiniry (University College Dublin, IE), Gary T. Leavens (University of Central Florida – Orlando, US), Robby (Kansas State University, US), Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE) | Top |
July 19 – 24 , 2009, Dagstuhl Seminar 09301Typing, Analysis and Verification of Heap-Manipulating ProgramsPeter O'Hearn (Queen Mary University of London, GB), Arnd Poetzsch-Heffter (TU Kaiserslautern, DE), Mooly Sagiv (Tel Aviv University, IL) | Top |
July 19 – 24 , 2009, Dagstuhl Seminar 09302New Developments in the Visualization and Processing of Tensor FieldsBernhard Burgeth (Universität des Saarlandes, DE), David H. Laidlaw (Brown University – Providence, US) | Top |
July 26 – 31 , 2009, Dagstuhl Seminar 09311Classical and Quantum Information Assurance Foundations and PracticeSamuel L. Braunstein (University of York, GB), Hoi-Kwong Lo (University of Toronto, CA), Kenneth G. Paterson (Royal Holloway University of London, GB), Peter Y. A. Ryan (University of Luxembourg, LU) | Top |
August 16 – 21 , 2009, Dagstuhl Seminar 09341Cognition, Control and Learning for Robot Manipulation in Human EnvironmentsMichael Beetz (TU München, DE), Oliver Brock (TU Berlin, DE), Gordon Cheng (ATR – Kyoto, JP), Jan Peters (MPI für biologische Kybernetik – Tübingen, DE) | Top |
August 23 – 27 , 2009, Dagstuhl Seminar 09351Information processing, rational belief change and social interactionGiacomo Bonanno (University of California – Davis, US), James P. Delgrande (Simon Fraser University – Burnaby, CA), Hans Rott (Universität Regensburg, DE) | Top |
August 30 – September 4 , 2009, Dagstuhl Seminar 09361Design and Validation of Concurrent SystemsCormac Flanagan (University of California – Santa Cruz, US), Susanne Graf (VERIMAG – Grenoble, FR), Madhusudan Parthasarathy (University of Illinois – Urbana-Champaign, US), Shaz Qadeer (Microsoft Research – Redmond, US) | Top |
September 6 – 11 , 2009, Dagstuhl Seminar 09371Algorithmic Methods for Distributed Cooperative SystemsSándor Fekete (TU Braunschweig, DE), Stefan Fischer (Universität Lübeck, DE), Martin Riedmiller (Universität Freiburg, DE), Subhash Suri (University of California – Santa Barbara, US) | Top |
September 13 – 18 , 2009, Dagstuhl Seminar 09381Refinement Based Methods for the Construction of Dependable SystemsJean-Raymond Abrial (Marseille, FR), Michael Butler (University of Southampton, GB), Rajeev Joshi (CalTech – Pasadena, US), Elena Troubitsyna (Abo Akademi University – Turku, FI), James C. P. Woodcock (University of York, GB) | Top |
September 20 – 25 , 2009, Dagstuhl Seminar 09391Algorithms and Complexity for Continuous ProblemsThomas Müller-Gronbach (Universität Passau, DE), Leszek Plaskota (University of Warsaw, PL), Joseph F. Traub (Columbia University – New York, US) | Top |
September 27 – October 2 , 2009, Dagstuhl Seminar 09401Machine learning approaches to statistical dependences and causalityDominik Janzing (MPI für biologische Kybernetik – Tübingen, DE), Steffen Lauritzen (University of Oxford, GB), Bernhard Schölkopf (MPI für Intelligente Systeme – Tübingen, DE) | Top |
September 27 – October 2 , 2009, Dagstuhl Perspectives Workshop 09402Democracy in a Network SocietyDavid Chaum (Sherman Oaks, BE), William H. Dutton (University of Oxford, GB), Miroslaw Kutylowski (Wroclaw University of Technology, PL), Tracy Westen (Center for Governmental Studies – Los Angeles, US) | Top |
October 4 – 9 , 2009, Dagstuhl Seminar 09411Interaction versus Automation: The two Faces of DeductionThomas Ball (Microsoft Corporation – Redmond, US), Jürgen Giesl (RWTH Aachen, DE), Reiner Hähnle (Chalmers UT – Göteborg, SE), Tobias Nipkow (TU München, DE) | Top |
October 11 – 16 , 2009, Dagstuhl Seminar 09421Algebraic Methods in Computational ComplexityManindra Agrawal (Indian Institute of Technology – Kanpur, IN), Lance Fortnow (Northwestern University – Evanston, US), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
October 18 – 23 , 2009, Dagstuhl Seminar 09431From Form to FunctionDarius Burschka (TU München, DE), Heiner Deubel (LMU München, DE), Danica Kragic (KTH Royal Institute of Technology – Stockholm, SE), Markus Vincze (TU Wien, AT) | Top |
October 20 – 23 , 2009, Dagstuhl Seminar 09432Quantitative Software DesignAstrid Kreissig (IBM Deutschland – Böblingen, DE), Iman Poernomo (King's College London, GB), Ralf H. Reussner (KIT – Karlsruher Institut für Technologie, DE) | Top |
October 25 – 30 , 2009, Dagstuhl Seminar 09441The Constraint Satisfaction Problem: Complexity and ApproximabilityAndrei A. Bulatov (Simon Fraser University – Burnaby, CA), Martin Grohe (HU Berlin, DE), Phokion G. Kolaitis (IBM Almaden Center, US), Andrei Krokhin (Durham University, GB) | Top |
November 1 – 6 , 2009, Dagstuhl Seminar 09451Geometric Networks, Metric Space Embeddings and Spatial Data MiningGautam Das (University of Texas at Arlington, US), Joachim Gudmundsson (NICTA – Sydney, AU), Rolf Klein (Universität Bonn, DE), Christian Knauer (FU Berlin, DE), Michiel Smid (Carleton University – Ottawa, CA) | Top |
November 8 – 13 , 2009, Dagstuhl Seminar 09461Algorithms and Applications for Next Generation SAT SolversBernd Becker (Universität Freiburg, DE), Valeria Bertacco (Univ. of Michigan – Ann Arbor, US), Rolf Drechsler (Universität Bremen, DE), Masahiro Fujita (University of Tokyo, JP) | Top |
November 15 – 20 , 2009, Dagstuhl Seminar 09471Computer-assisted proofs - tools, methods and applicationsB. Malcolm Brown (Cardiff University, GB), Erich Kaltofen (North Carolina State University – Raleigh, US), Shin'ichi Oishi (Waseda University – Tokyo, JP), Siegfried M. Rump (TU Hamburg-Harburg, DE) | Top |
November 22 – 27 , 2009, Dagstuhl Seminar 09481SYNCHRON 2009Albert Benveniste (INRIA Rennes – Bretagne Atlantique, FR), Stephen A. Edwards (Columbia University – New York, US), Edward A. Lee (University of California – Berkeley, US), Klaus Schneider (TU Kaiserslautern, DE), Reinhard von Hanxleden (Universität Kiel, DE) | Top |
November 29 – December 4 , 2009, Dagstuhl Seminar 09491Graph Search EngineeringLubos Brim (Masaryk University – Brno, CZ), Stefan Edelkamp (Universität Bremen, DE), Eric Hansen (Mississippi State University, US), Peter Sanders (KIT – Karlsruher Institut für Technologie, DE) | Top |
November 29 – December 2 , 2009, GI-Dagstuhl Seminar 09492Model-Driven Quality PredictionSteffen Becker (Universität Paderborn, DE), Raffaela Mirandola (Polytechnic University of Milan, IT), Petr Tuma (Charles University – Prague, CZ) | Top |
December 2 – 4 , 2009, Dagstuhl Perspectives Workshop 09493Evolving Critical SystemsJosé Luiz Fiadeiro (University of Leicester, GB), Michael G. Hinchey (University of Limerick, IE), Bashar Nuseibeh (The Open University – Milton Keynes, GB) | Top |
December 6 – 11 , 2009, Dagstuhl Seminar 09501Software SynthesisRastislav Bodik (University of California – Berkeley, US), Orna Kupferman (The Hebrew University of Jerusalem, IL), Douglas R. Smith (Kestrel Institute, US), Eran Yahav (IBM TJ Watson Research Center – Hawthorne, US) | Top |
December 6 – 9 , 2009, Dagstuhl Seminar 09502Coalgebraic LogicsErnst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB) | Top |
December 9 – 11 , 2009, Event 09503Lehrerfortbildung in InformatikHeinz Dabrock (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE) | Top |
December 13 – 17 , 2009, Dagstuhl Seminar 09511Parameterized complexity and approximation algorithmsErik D. Demaine (MIT – Cambridge, US), MohammadTaghi Hajiaghayi (AT&T Labs Research – Florham Park, US), Dániel Marx (Tel Aviv University, IL) | Top |