Seminare und Veranstaltungen 2009:



04. – 07. Januar 2009, Dagstuhl Seminar 09021

Software Service Engineering


Frank 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

11. – 16. Januar 2009, Dagstuhl Seminar 09031

Symmetric Cryptography


Helena 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 09033

CGAL Developer Meeting


Andreas Fabri (GeometryFactory, FR)

Top

18. – 23. Januar 2009, Dagstuhl Seminar 09041

Hybrid and Robust Approaches to Multiobjective Optimization


Kalyanmoy 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: Esteco

Top

25. – 30. Januar 2009, Dagstuhl Seminar 09051

Knowledge representation for intelligent music processing


Eleanor 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 09052

Management of the Future Internet


Olivier Festor (INRIA – Nancy Grand Est, FR), Aiko Pras (University of Twente, NL), Burkhard Stiller (Universität Zürich, CH)

Top

01. – 06. Februar 2009, Dagstuhl Seminar 09061

Combinatorial Scientific Computing


Uwe 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

08. – 11. Februar 2009, Dagstuhl Seminar 09071

Delay and Disruption-Tolerant Networking (DTN) II


Kevin 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

08. – 11. Februar 2009, Dagstuhl Seminar 09072

Bandwidth on Demand


Panayotis Antoniadis (UPMC – 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 09073

Model-Based Design of Trustworthy Health Information Systems


Ruth 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 09074

Project Meeting "Pathfinder"


Stefan Manegold (CWI – Amsterdam, NL)

Top

15. – 20. Februar 2009, Dagstuhl Seminar 09081

Similarity-based learning on structures


Michael 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 09082

The Future of Grid Computing


Dieter Kranzlmüller (LMU München, DE), Andreas Reuter (HITS gGmbH – Heidelberg, DE), Uwe Schwiegelshohn (TU Dortmund, DE)

Top

22. – 27. Februar 2009, Dagstuhl Seminar 09091

Formal Methods in Molecular Biology


Rainer Breitling (University of Groningen, NL), David Gilbert (University of Glasgow, GB), Monika Heiner (BTU Cottbus, DE), Corrado Priami (Microsoft Research – University Trento, IT)

Top

01. – 06. März 2009, Dagstuhl Seminar 09101

Interactive Information Retrieval


Nicholas 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

01. – 04. März 2009, Dagstuhl Perspectives Workshop 09102

Naming and Addressing in a Future Internet


Jari 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

08. – 13. März 2009, Dagstuhl Seminar 09111

Computational Geometry


Pankaj Kumar Agarwal (Duke University, US), Helmut Alt (FU Berlin, DE), Monique Teillaud (INRIA Sophia Antipolis – Méditerranée, FR)

Top

08. – 11. März 2009, Event 09112

Lehrstuhltreffen AG Zeller


Andreas Zeller (Universität des Saarlandes, DE)

Top

11. – 13. März 2009, Event 09113

Klausurtagung Telematik Karlsruhe


Thomas Gamer (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

Top

15. – 20. März 2009, Dagstuhl Seminar 09121

Normative Multi-Agent Systems


Guido 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 09122

Klausurtagung "IPD Reussner"


Ralf H. Reussner (KIT – Karlsruher Institut für Technologie, DE)

Top

22. – 27. März 2009, Dagstuhl Seminar 09131

Service Level Agreements in Grids


Hans 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 – 03. April 2009, Dagstuhl Seminar 09141

Web Application Security


Dan Boneh (Stanford University, US), Ulfar Erlingsson (Reykjavik University, IS), Martin Johns (Universität Passau, DE), Benjamin Livshits (Microsoft Research – Redmond, US)

Top

31. März – 03. April 2009, Dagstuhl Perspectives Workshop 09142

Preventing the Brainware Crisis


Stephan Diehl (Universität Trier, DE), Michael R. Fellows (Charles Darwin University – Darwin, AU), Werner Hartmann (PH Bern, CH), Ulrike Stege (University of Victoria, CA)

Die Dagstuhl-Stiftung erhielt eine Spende von: Pädagogische Hochschule PHBern

Top

05. – 07. April 2009, Event 09152

GIBU 2009: GI-Beirat der Universitätsprofessoren


Gregor Snelting (KIT – Karlsruher Institut für Technologie, DE)

Top

05. – 09. April 2009, Event 09153

The Intro Programming Course


Guido Rößling (TU Darmstadt, DE), Michael Sperber (Tübingen, DE)

Top

13. – 17. April 2009, Dagstuhl Seminar 09161

Generalization of spatial information


Sé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 09162

Architecture and Design of the Future Internet


Georg 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 09171

Adaptive, Output Sensitive, Online and Parameterized Algorithms


Jérémy Barbay (University of Chile, 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 09172

Klausurtagung "FG Effiziente Algorithmen & System- und Rechnerarchitektur"


Christian Müller-Schloer (Leibniz Universität Hannover, DE), Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE), Sven Tomforde (Leibniz Universität Hannover, DE)

Top

22. – 24. April 2009, Event 09173

Modellbasierte 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 09181

Sampling-based Optimization in the Presence of Uncertainty


Jü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 09182

Expertengespräch "Informatische Bildung/ECDL"


Hartmut Sommer (Dienstleistungsgesellschaft für Informatik, DE)

Top

28. April – 01. Mai 2009, Event 09183

Klausurtagung "LST Halang"


Wolfgang A. Halang (FernUniversität Hagen, DE)

Top

03. – 08. Mai 2009, Dagstuhl Seminar 09191

Fault Tolerance in High-Performance Computing and Grids


Franck 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 (Konrad-Zuse-Zentrum – Berlin, DE)

Top

05. – 08. Mai 2009, Dagstuhl Seminar 09192

From Quality of Service to Quality of Experience


Markus Fiedler (Blekinge Institute of Technology – Karlskrona, SE), Kalevi Kilkki (TKK, FI), Peter Reichl (FZ Telekommunikation Wien, AT)

Top

10. – 15. Mai 2009, Dagstuhl Seminar 09201

Self-Healing and Self-Adaptive Systems


Artur 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

10. – 15. Mai 2009, Event 09202

Virolab Meeting


Matthias Assel (Universität Stuttgart, DE), Peter Sloot (University of Amsterdam, NL)

Top

17. – 20. Mai 2009, Dagstuhl Seminar 09211

Visualization and Monitoring of Network Traffic


Daniel 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 09212

Kolloquium zum GI Dissertationspreis 2008


Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE)

Top

24. – 29. Mai 2009, Dagstuhl Seminar 09221

Algorithms and Number Theory


Johannes A. Buchmann (TU Darmstadt, DE), John Cremona (University of Warwick, GB), Michael E. Pohst (TU Berlin, DE)

Top

01. – 05. Juni 2009, Event 09232

2nd DYNAMO Workshop: Dynamic Communication Networks


Pierre Fraigniaud (CNRS & Université Paris Diderot, FR), Christian Schindelhauer (Universität Freiburg, DE)

Top

07. – 10. Juni 2009, Event 09242

Gemeinsamer Workshop der Graduiertenkollegs


Dirk Fahland (HU Berlin, DE)

Top

14. – 19. Juni 2009, Dagstuhl Seminar 09251

Scientific Visualization


David 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 09261

Models and Algorithms for Optimization in Logistics


Cynthia 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 09262

DIA-Seminar: Konstruktionstechniken und Architektur für hochwertige Software


Reinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE)

Top

28. Juni – 03. Juli 2009, Dagstuhl Perspectives Workshop 09271

Semantic Web Reflections and Future Directions


John Domingue (The Open University – Milton Keynes, GB), Dieter Fensel (Universität Innsbruck, AT), James A. Hendler (Rensselaer Polytechnic Institute, US), Rudi Studer (KIT – Karlsruher Institut für Technologie, DE)

Top

29. Juni – 01. Juli 2009, Event 09272

Klausurtagung "LST Freiling"


Felix C. Freiling (Universität Mannheim, DE)

Top

05. – 10. Juli 2009, Dagstuhl Seminar 09281

Search Methodologies


Rudolf Ahlswede (Universität Bielefeld, DE), Ferdinando Cicalese (University of Salerno, IT), Ugo Vaccaro (University of Salerno, IT)

Top

05. – 08. Juli 2009, Dagstuhl Seminar 09282

Foundations for Forgery-Resilient Cryptographic Hardware


Jorge 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 09291

Computational Creativity: An Interdisciplinary Approach


Margaret 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 09292

The 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

19. – 24. Juli 2009, Dagstuhl Seminar 09301

Typing, Analysis and Verification of Heap-Manipulating Programs


Peter O'Hearn (Queen Mary University of London, GB), Arnd Poetzsch-Heffter (TU Kaiserslautern, DE), Mooly Sagiv (Tel Aviv University, IL)

Die Dagstuhl-Stiftung erhielt eine Spende von: Microsoft Research, Cambridge, UK

Top

19. – 24. Juli 2009, Dagstuhl Seminar 09302

New Developments in the Visualization and Processing of Tensor Fields


Bernhard Burgeth (Universität des Saarlandes, DE), David H. Laidlaw (Brown University, US)

Top

26. – 31. Juli 2009, Dagstuhl Seminar 09311

Classical and Quantum Information Assurance Foundations and Practice


Samuel 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

26. – 29. Juli 2009, Event 09312

Klausurtagung "LST Theoretische Informatik & Telekommunikationstechnik/Informationstheorie"


Uwe Schöning (Universität Ulm, DE)

Top

27. – 28. Juli 2009, Event 09313

Workshop DFKI Kaiserslautern


G. Bleser (DFKI Kaiserslautern, DE)

Top

30. – 31. Juli 2009, Event 09315

Perspektiven von Bildungstechnologien an der Universität des Saarlandes


Christoph Igel (Universität des Saarlandes, DE)

Top

16. – 21. August 2009, Dagstuhl Seminar 09341

Cognition, Control and Learning for Robot Manipulation in Human Environments


Michael 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 09351

Information processing, rational belief change and social interaction


Giacomo Bonanno (University of California – Davis, US), James P. Delgrande (Simon Fraser University – Burnaby, CA), Hans Rott (Univ. of Regensburg, DE)

Top

30. August – 04. September 2009, Dagstuhl Seminar 09361

Design and Validation of Concurrent Systems


Cormac 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

06. – 11. September 2009, Dagstuhl Seminar 09371

Algorithmic Methods for Distributed Cooperative Systems


Sá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

07. – 10. September 2009, Event 09372

Klausurtagung "AG Hettel"


Jörg Hettel (FH Kaiserslautern-Zweibrücken, DE)

Top

13. – 18. September 2009, Dagstuhl Seminar 09381

Refinement Based Methods for the Construction of Dependable Systems


Jean-Raymond Abrial (Marseille, FR), Michael Butler (University of Southampton, GB), Rajeev Joshi (CalTech, US), Elena Troubitsyna (Abo Akademi University – Turku, FI), Jim C. P. Woodcock (University of York, GB)

Top

13. – 17. September 2009, Event 09382

CELSTEC Retreat Meeting


Peter Sloep (Open University – Heerlen, NL)

Top

20. – 25. September 2009, Dagstuhl Seminar 09391

Algorithms and Complexity for Continuous Problems


Thomas Müller-Gronbach (Universität Passau, DE), Leszek Plaskota (University of Warsaw, PL), Joseph F. Traub (Columbia University – New York, US)

Top

20. – 25. September 2009, Event 09392

Klausurtagung "IPD Reussner"


Ralf H. Reussner (KIT – Karlsruher Institut für Technologie, DE)

Top

27. September – 02. Oktober 2009, Dagstuhl Seminar 09401

Machine learning approaches to statistical dependences and causality


Dominik 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 – 02. Oktober 2009, Dagstuhl Perspectives Workshop 09402

Democracy in a Network Society


David 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 – 02. Oktober 2009, Event 09403

Klausurtagung AG Numerische Simulation, Optimierung und Hochleistungsrechnen


Vincent Heuveline (Universität Karlsruhe, DE), Rudi Klatte (KIT – Karlsruher Institut für Technologie, DE)

Top

04. – 09. Oktober 2009, Dagstuhl Seminar 09411

Interaction versus Automation: The two Faces of Deduction


Thomas Ball (Microsoft Research – Redmond, US), Jürgen Giesl (RWTH Aachen, DE), Reiner Hähnle (Chalmers UT – Göteborg, SE), Tobias Nipkow (TU München, DE)

Top

08. – 09. Oktober 2009, Event 09413

Interdisciplinary Workshop on Security and Trust


Thomas Engel (University of Luxemburg, LU), Björn Ottersten (University of Luxembourg, LU)

Top

11. – 16. Oktober 2009, Dagstuhl Seminar 09421

Algebraic Methods in Computational Complexity


Manindra Agrawal (Indian Institute 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 09422

Doktorandenseminar "Wissenschaftliches Schreiben"


Stephan Diehl (Universität Trier, DE)

Top

18. – 23. Oktober 2009, Dagstuhl Seminar 09431

From Form to Function


Darius Burschka (TU München, DE), Heiner Deubel (LMU München, DE), Danica Kragic (KTH Royal Institute of Technology, SE), Markus Vincze (TU Wien, AT)

Top

20. – 23. Oktober 2009, Dagstuhl Seminar 09432

Quantitative Software Design


Astrid Kreissig (IBM Deutschland – Böblingen, DE), Iman Poernomo (King's College London, GB), Ralf H. Reussner (KIT – Karlsruher Institut für Technologie, DE)

Top

25. – 30. Oktober 2009, Dagstuhl Seminar 09441

The Constraint Satisfaction Problem: Complexity and Approximability


Andrei 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

25. – 30. Oktober 2009, Event 09442

The Data Documentation Initiative [DDI] XML Standard: Support Preservation, Management, Access & Dissemination Systems for Social Science Data


Arofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (Univ. of Minnesota – Minneapolis, US), Joachim Wackerow (GESIS – Mannheim, DE)

Top

01. – 06. November 2009, Dagstuhl Seminar 09451

Geometric Networks, Metric Space Embeddings and Spatial Data Mining


Gautam 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

01. – 06. November 2009, Event 09452

The Data Documentation Initiative [DDI] XML Standard: Workshop on Implementation of DDI3 - Advanced Topics


Arofan Gregory (Open Data Foundation – Tucson, US), Wendy Thomas (Univ. of Minnesota – Minneapolis, US), Mary Vardigan (University of Michigan – Ann Arbor, US), Joachim Wackerow (GESIS – Mannheim, DE)

Top

08. – 13. November 2009, Dagstuhl Seminar 09461

Algorithms and Applications for Next Generation SAT Solvers


Bernd 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

09. – 11. November 2009, Event 09462

Lehrstuhltreffen AG Grimm


Rüdiger Grimm (Universität Koblenz-Landau, DE)

Top

15. – 20. November 2009, Dagstuhl Seminar 09471

Computer-assisted proofs - tools, methods and applications


B. Malcolm Brown (Cardiff University, 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 09472

Klausurtagung ICSY


Paul Müller (TU Kaiserslautern, DE)

Top

22. – 27. November 2009, Dagstuhl Seminar 09481

SYNCHRON 2009


Albert Benveniste (INRIA Bretagne Atlantique – Rennes, 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: Artist - Network of Excellence on Embedded Systems Design

Top

25. – 27. November 2009, Event 09483

Peers at Play - Scalable Virtual 3D-Worlds


Christian Becker (Universität Mannheim, DE)

Top

29. November – 04. Dezember 2009, Dagstuhl Seminar 09491

Graph Search Engineering


Stefan Edelkamp (Universität Bremen, DE), Eric Hansen (Mississippi State University, US), Peter Sanders (KIT – Karlsruher Institut für Technologie, DE)

Top

29. November – 02. Dezember 2009, GI-Dagstuhl Seminar 09492

GI-Dagstuhl-Seminar "Model-Driven Quality Prediction"


Steffen Becker (Universität Paderborn, DE), Raffaela Mirandola (Politecnico di Milano University, IT), Petr Tuma (Charles University – Prague, CZ)

Top

02. – 04. Dezember 2009, Dagstuhl Perspectives Workshop 09493

Evolving Critical Systems


José Luiz Fiadeiro (University of Leicester, GB), Michael G. Hinchey (University of Limerick, IE), Bashar Nuseibeh (The Open University – Milton Keynes, GB)

Top

06. – 11. Dezember 2009, Dagstuhl Seminar 09501

Software Synthesis


Rastislav 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

06. – 09. Dezember 2009, Dagstuhl Seminar 09502

Coalgebraic Logics


Ernst-Erich Doberkat (TU Dortmund, DE), Alexander Kurz (University of Leicester, GB)

Top

09. – 11. Dezember 2009, Event 09503

Lehrerfortbildung in Informatik


Heinz 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 09511

Parameterized complexity and approximation algorithms


Erik D. Demaine (MIT – Cambridge, US), MohammadTaghi Hajiaghayi (AT&T Labs Research – Florham Park, US), Dániel Marx (Tel Aviv University, IL)

Top

13. – 16. Dezember 2009, Event 09512

Klausurtagung "Intelligente Assistierte Mobilität"


Karl-Heinz Krempels (RWTH Aachen, DE)

Top

16. – 17. Dezember 2009, Event 09513

Scientific Meeting


Thomas Engel (University of Luxemburg, LU)

Top