4. – 7. Januar 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 – Zürich, CH) | Top |
11. – 16. Januar 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 |
11. – 15. Januar 2009, Event 09033CGAL Developer MeetingAndreas Fabri (GeometryFactory, FR) | Top |
18. – 23. Januar 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 |
25. – 30. Januar 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 |
27. – 30. Januar 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 |
1. – 6. Februar 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 |
8. – 11. Februar 2009, Dagstuhl Seminar 09071Delay and Disruption-Tolerant Networking (DTN) IIKevin 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 |
8. – 11. Februar 2009, Dagstuhl Seminar 09072Bandwidth on DemandPanayotis Antoniadis (Université Pierre et Marie Curie, Paris, 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 |
11. – 14. Februar 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 |
11. – 13. Februar 2009, Event 09074Project Meeting "Pathfinder"Stefan Manegold (CWI – Amsterdam, NL) | Top |
15. – 20. Februar 2009, Dagstuhl Seminar 09081Similarity-based learning on structuresMichael Biehl (University of Groningen, NL), Barbara Hammer (TU Clausthal, DE), Sepp Hochreiter (University of Linz, AT), Stefan C. Kremer (University of Guelph, CA), Thomas Villmann (Hochschule Mittweida, DE) | Top |
15. – 20. Februar 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 |
22. – 27. Februar 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 |
1. – 6. März 2009, Dagstuhl Seminar 09101Interactive Information RetrievalNicholas J. Belkin (Rutgers Univ. – 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 |
1. – 4. März 2009, Dagstuhl Perspectives Workshop 09102Naming and Addressing in a Future InternetJari Arkko (Ericsson – Jorvas, FI), Marcelo Bagnulo Braun (Univ. Carlos III de Madrid, ES), Scott Brim (CISCO Systems – Ithaca, US), Lars Eggert (NOKIA Research Center – Helsinki, FI), Christian Vogt (Ericsson – San Jose, US), Lixia Zhang (University California – Los Angeles, US) | Top |
8. – 13. März 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 |
8. – 11. März 2009, Event 09112Lehrstuhltreffen AG ZellerAndreas Zeller (Universität des Saarlandes, DE) | Top |
11. – 13. März 2009, Event 09113Klausurtagung Telematik KarlsruheThomas Gamer (KIT – Karlsruhe Institute of Technology, DE), Martina Zitterbart (KIT – Karlsruhe Institute of Technology, DE) | Top |
15. – 20. März 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 |
15. – 20. März 2009, Event 09122Klausurtagung "IPD Reussner"Ralf H. Reussner (KIT – Karlsruhe Institute of Technology, DE) | Top |
22. – 27. März 2009, Dagstuhl Seminar 09131Service Level Agreements in GridsHans Michael 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 |
29. März bis 3. April 2009, Dagstuhl Seminar 09141Web Application SecurityDan Boneh (Stanford University, US), Ulfar Erlingsson (Reykjavik University, IS), Martin Johns (Universität Passau, DE), Benjamin Livshits (Microsoft – Redmond, US) | Top |
31. März bis 3. April 2009, Dagstuhl Perspectives Workshop 09142Preventing the Brainware CrisisStephan Diehl (Universität Trier, DE), Michael R. Fellows (Charles Darwin University – Darwin, AU), Werner Hartmann (PH Bern, CH), Ulrike Stege (University of Victoria, CA) | Top |
5. – 7. April 2009, Event 09152GIBU 2009: GI-Beirat der UniversitätsprofessorenGregor Snelting (KIT – Karlsruhe Institute of Technology, DE) | Top |
5. – 9. April 2009, Event 09153The Intro Programming CourseGuido Rößling (TU Darmstadt, DE), Michael Sperber (Tübingen, DE) | Top |
13. – 17. April 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 |
14. – 17. April 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 |
19. – 24. April 2009, Dagstuhl Seminar 09171Adaptive, Output Sensitive, Online and Parameterized AlgorithmsJérémy Barbay (University of Chile – Santiago, CL), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA), Rolf Niedermeier (Universität Jena, DE) | Top |
19. – 22. April 2009, Event 09172Klausurtagung "FG Effiziente Algorithmen & System- und Rechnerarchitektur"Christian Müller-Schloer (Leibniz Universität Hannover, DE), Hartmut Schmeck (KIT – Karlsruhe Institute of Technology, DE), Sven Tomforde (Leibniz Universität Hannover, DE) | Top |
22. – 24. April 2009, Event 09173Modellbasierte Entwicklung eingebetteter Systeme (MBEES)Michaela Huhn (TU Braunschweig, DE), Ulrich Nickel (Hella KG, DE), Bernhard Schätz (TU München, DE) | Top |
26. – 30. April 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 |
27. – 28. April 2009, Event 09182Expertengespräch "Informatische Bildung/ECDL"Hartmut Sommer (Dienstleistungsgesellschaft für Informatik, DE) | Top |
28. April bis 1. Mai 2009, Event 09183Klausurtagung "LST Halang"Wolfgang A. Halang (FernUniversität Hagen, DE) | Top |
3. – 8. Mai 2009, Dagstuhl Seminar 09191Fault Tolerance in High-Performance Computing and GridsFranck Cappello (INRIA Saclay – Île-de-France – Orsay, FR), Laxmikant Kale (University of Illinois – Urbana, US), Frank Mueller (North Carolina State University, US), Keshav Pingali (University of Texas – Austin, US), Alexander Reinefeld (K. Zuse Zentrum Berlin, DE) | Top |
5. – 8. Mai 2009, Dagstuhl Seminar 09192From Quality of Service to Quality of ExperienceMarkus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Kalevi Kilkki (TKK, FI), Peter Reichl (FZ Telekommunikation Wien, AT) | Top |
10. – 15. Mai 2009, Dagstuhl Seminar 09201Self-Healing and Self-Adaptive SystemsArtur Andrzejak (K. Zuse Zentrum Berlin, DE), Kurt Geihs (Universität Kassel, DE), Onn Shehory (IBM – Haifa, IL), John Wilkes (Google Inc. – Mountain View, US) | Top |
10. – 15. Mai 2009, Event 09202Virolab MeetingMatthias Assel (Universität Stuttgart, DE), Peter Sloot (University of Amsterdam, NL) | Top |
17. – 20. Mai 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., US) | Top |
17. – 20. Mai 2009, Event 09212Kolloquium zum GI Dissertationspreis 2008Dorothea Wagner (KIT – Karlsruhe Institute of Technology, DE) | Top |
24. – 29. Mai 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 |
1. – 5. Juni 2009, Event 092322nd DYNAMO Workshop: Dynamic Communication NetworksPierre Fraigniaud (CNRS & Université Paris Diderot, FR), Christian Schindelhauer (Universität Freiburg, DE) | Top |
7. – 10. Juni 2009, Event 09242Gemeinsamer Workshop der GraduiertenkollegsDirk Fahland (HU Berlin, DE) | Top |
14. – 19. Juni 2009, Dagstuhl Seminar 09251Scientific VisualizationDavid S. Ebert (Purdue University, US), Eduard Gröller (TU Wien, AT), Hans Hagen (TU Kaiserslautern, DE), Arie Kaufman (SUNY – Stony Brook, US) | Top |
21. – 26. Juni 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 |
23. – 26. Juni 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 |
28. Juni bis 3. Juli 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, US), Rudi Studer (KIT – Karlsruhe Institute of Technology, DE) | Top |
29. Juni bis 1. Juli 2009, Event 09272Klausurtagung "LST Freiling"Felix C. Freiling (Universität Mannheim, DE) | Top |
5. – 10. Juli 2009, Dagstuhl Seminar 09281Search MethodologiesRudolf Ahlswede (Universität Bielefeld, DE), Ferdinando Cicalese (University of Salerno, IT), Ugo Vaccaro (University of Salerno, IT) | Top |
5. – 8. Juli 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 |
12. – 17. Juli 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 |
12. – 17. Juli 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 – Karlsruhe Institute of Technology, DE) | Top |
19. – 24. Juli 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 |
19. – 24. Juli 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 |
26. – 31. Juli 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 (RHUL – London, GB), Peter Y. A. Ryan (University of Luxembourg, LU) | Top |
26. – 29. Juli 2009, Event 09312Klausurtagung "LST Theoretische Informatik & Telekommunikationstechnik/Informationstheorie"Uwe Schöning (Universität Ulm, DE) | Top |
27. – 28. Juli 2009, Event 09313Workshop DFKI KaiserslauternG. Bleser (DFKI Kaiserslautern, DE) | Top |
30. – 31. Juli 2009, Event 09315Perspektiven von Bildungstechnologien an der Universität des SaarlandesChristoph Igel (Universität des Saarlandes, DE) | Top |
16. – 21. August 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 |
23. – 27. August 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 (Univ. of Regensburg, DE) | Top |
30. August bis 4. September 2009, Dagstuhl Seminar 09361Design and Validation of Concurrent SystemsCormac Flanagan (University of California – Santa Cruz, US), Susanne Graf (VERIMAG – Gières, FR), Madhusudan Parthasarathy (University of Illinois – Urbana, US), Shaz Qadeer (Microsoft Research – Redmond, US) | Top |
6. – 11. September 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), Suri Subhash (University of California – Santa Barbara, US) | Top |
7. – 10. September 2009, Event 09372Klausurtagung "AG Hettel"Jörg Hettel (FH Kaiserslautern-Zweibrücken, DE) | Top |
13. – 18. September 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), Jim C. P. Woodcock (University of York, GB) | Top |
13. – 17. September 2009, Event 09382CELSTEC Retreat MeetingPeter Sloep (Open University – Heerlen, NL) | Top |
20. – 25. September 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, US) | Top |
20. – 25. September 2009, Event 09392Klausurtagung "IPD Reussner"Ralf H. Reussner (KIT – Karlsruhe Institute of Technology, DE) | Top |
27. September bis 2. Oktober 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 |
27. September bis 2. Oktober 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 |
29. September bis 2. Oktober 2009, Event 09403Klausurtagung AG Numerische Simulation, Optimierung und HochleistungsrechnenVincent Heuveline (Universität Karlsruhe, DE), Rudi Klatte (KIT – Karlsruhe Institute of Technology, DE) | Top |
4. – 9. Oktober 2009, Dagstuhl Seminar 09411Interaction versus Automation: The two Faces of DeductionThomas Ball (Microsoft – Redmond, US), Jürgen Giesl (RWTH Aachen, DE), Reiner Hähnle (Chalmers UT – Göteborg, SE), Tobias Nipkow (TU München, DE) | Top |
8. – 9. Oktober 2009, Event 09413Interdisciplinary Workshop on Security and TrustThomas Engel (University of Luxemburg, LU), Björn Ottersten (University of Luxembourg, LU) | Top |
11. – 16. Oktober 2009, Dagstuhl Seminar 09421Algebraic Methods in Computational ComplexityManindra Agrawal (Indian Inst. of Technology – Kanpur, IN), Lance Fortnow (Northwestern University – Evanston, US), Thomas Thierauf (Hochschule Aalen, DE), Christopher Umans (CalTech – Pasadena, US) | Top |
15. – 16. Oktober 2009, Event 09422Doktorandenseminar "Wissenschaftliches Schreiben"Stephan Diehl (Universität Trier, DE) | Top |
18. – 23. Oktober 2009, Dagstuhl Seminar 09431From Form to FunctionDarius Burschka (TU München, DE), Heiner Deubel (LMU München, DE), Danica Kragic (KTH – Stockholm, SE), Markus Vincze (TU Wien, AT) | Top |
20. – 23. Oktober 2009, Dagstuhl Seminar 09432Quantitative Software DesignAstrid Kreissig (IBM Deutschland – Böblingen, DE), Iman Poernomo (King's College – London, GB), Ralf H. Reussner (KIT – Karlsruhe Institute of Technology, DE) | Top |
25. – 30. Oktober 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 – San José, US), Andrei Krokhin (University of Durham, GB) | Top |
25. – 30. Oktober 2009, Event 09442The Data Documentation Initiative [DDI] XML Standard: Support Preservation, Management, Access & Dissemination Systems for Social Science DataArofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (Population Center, University of Minnesota, US), Joachim Wackerow (GESIS – Mannheim, DE) | Top |
1. – 6. November 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 |
1. – 6. November 2009, Event 09452The Data Documentation Initiative [DDI] XML Standard: Workshop on Implementation of DDI3 - Advanced TopicsArofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (Population Center, University of Minnesota, US), Mary Vardigan (University of Michigan – ICPSR, US), Joachim Wackerow (GESIS – Mannheim, DE) | Top |
8. – 13. November 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 |
9. – 11. November 2009, Event 09462Lehrstuhltreffen AG GrimmRüdiger Grimm (Universität Koblenz-Landau, DE) | Top |
15. – 20. November 2009, Dagstuhl Seminar 09471Computer-assisted proofs - tools, methods and applicationsB. Malcolm Brown (University of Wales, GB), Erich Kaltofen (North Carolina State University, US), Shin'ichi Oishi (Waseda University – Tokyo, JP), Siegfried M. Rump (TU Hamburg-Harburg, DE) | Top |
18. – 20. November 2009, Event 09472Klausurtagung ICSYPaul Müller (TU Kaiserslautern, DE) | Top |
22. – 27. November 2009, Dagstuhl Seminar 09481SYNCHRON 2009Albert Benveniste (INRIA Bretagne Atlantique – Rennes, FR), Stephen A. Edwards (Columbia University, US), Edward A. Lee (University of California – Berkeley, US), Klaus Schneider (TU Kaiserslautern, DE), Reinhard von Hanxleden (Universität Kiel, DE) | Top |
25. – 27. November 2009, Event 09483Peers at Play - Scalable Virtual 3D-WorldsChristian Becker (Universität Mannheim, DE) | Top |
29. November bis 4. Dezember 2009, Dagstuhl Seminar 09491Graph Search EngineeringStefan Edelkamp (Universität Bremen, DE), Eric Hansen (Mississippi State University, US), Peter Sanders (KIT – Karlsruhe Institute of Technology, DE) | Top |
29. November bis 2. Dezember 2009, GI-Dagstuhl Seminar 09492GI-Dagstuhl-Seminar "Model-Driven Quality Prediction"Steffen Becker (Universität Paderborn, DE), Raffaela Mirandola (Politecnico di Milano, IT), Petr Tuma (Charles University – Prague, CZ) | Top |
2. – 4. Dezember 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 |
6. – 11. Dezember 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 |
6. – 9. Dezember 2009, Dagstuhl Seminar 09502Coalgebraic LogicsErnst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB) | Top |
9. – 11. Dezember 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 |
13. – 17. Dezember 2009, Dagstuhl Seminar 09511Parameterized complexity and approximation algorithmsErik D. Demaine (MIT, US), MohammadTaghi Hajiaghayi (AT&T Labs Research – Florham Park, US), Dániel Marx (Tel Aviv University, IL) | Top |
13. – 16. Dezember 2009, Event 09512Klausurtagung "Intelligente Assistierte Mobilität"Karl-Heinz Krempels (RWTH Aachen, DE) | Top |
16. – 17. Dezember 2009, Event 09513Scientific MeetingThomas Engel (University of Luxemburg, LU) | Top |