All Events 2005:



January 3 – 7 , 2005, Dagstuhl Seminar 05011

Computing and Markets


Daniel Lehmann (The Hebrew University of Jerusalem, IL), Rudolf Müller (Maastricht University, NL), Tuomas Sandholm (Carnegie Mellon University – Pittsburgh, US)

Top

January 9 – 14 , 2005, Dagstuhl Seminar 05021

Mathematics, Algorithms, Proofs


Thierry Coquand (Chalmers – Göteborg, SE), Henri Lombardi (University of Franche-Comté – Besancon, FR), Marie-Françoise Roy (University of Rennes, FR)

Top

January 10 – 14 , 2005, Event 05022

Model-Based Development of Embedded Systems


Torsten Klein (Carmeq GmbH, DE), Bernhard Rumpe (TU Braunschweig, DE), Bernhard Schätz (TU München, DE)

Top

January 16 – 21 , 2005, Dagstuhl Seminar 05031

Algorithms for Optimization with Incomplete Information


Susanne Albers (Universität Freiburg, DE), Rolf H. Möhring (TU Berlin, DE), Georg Ch. Pflug (Universität Wien, AT), Rüdiger Schultz (Universität Duisburg-Essen, DE)

Top

January 23 – 28 , 2005, Event 05042

OTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

January 23 – 26 , 2005, Event 05043

Kolloquium DFG SPP 1140 Vernetzte mobile Systeme


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

Top

January 30 – February 4 , 2005, Dagstuhl Seminar 05051

Probabilistic, Logical and Relational Learning - Towards a Synthesis


Luc De Raedt (Universität Freiburg, DE), Thomas G. Dietterich (Oregon State University, US), Lise Getoor (University of Maryland – College Park, US), Stephen H. Muggleton (Imperial College London, GB)

Top

February 6 – 11 , 2005, Dagstuhl Seminar 05061

Foundations of Semistructured Data


Frank Neven (University of Limburg, BE), Thomas Schwentick (TU Dortmund, DE), Dan Suciu (University of Washington – Seattle, US)

Top

February 6 – 11 , 2005, Event 05062

International Project Meeting "Component Technology"


Peter Lutz (Robert Bosch GmbH – Frankfurt am Main, DE), Jörn Schneider (Robert Bosch GmbH – Stuttgart, DE)

Top

February 13 – 18 , 2005, Dagstuhl Seminar 05071

Machine Learning for the Semantic Web


Fabio Ciravegna (University of Sheffield, GB), AnHai Doan (University of Wisconsin – Madison, US), Craig A. Knoblock (USC – Marina del Rey, US), Nicholas Kushmerick (University College Dublin, IE), Steffen Staab (Universität Koblenz-Landau, DE)

Top

February 20 – 25 , 2005, Dagstuhl Seminar 05081

Foundations of Global Computing


José Luiz Fiadeiro (University of Leicester, GB), Ugo Montanari (University of Pisa, IT), Martin Wirsing (LMU München, DE)

Top

February 28 – March 1 , 2005, Event 05092

DFG SPP 1083 "Intelligente Softwareagenten und betriebswirtschaftliche Anwendungsszenarien"


Karl-Heinz Krempels (RWTH Aachen, DE), Jens Nimis (KIT – Karlsruher Institut für Technologie, DE)

Top

March 1 – 4 , 2005, Dagstuhl Seminar 05091

Multimedia Research - where do we need to go tomorrow


Susanne Boll (Universität Oldenburg, DE), Tat-Seng Chua (National University of Singapore, SG), Nevenka Dimitrova (Philips Labs. – Briarcliff Manor, US), Ramesh Jain (University of California – Irvine, US)

Top

March 6 – 11 , 2005, Dagstuhl Seminar 05101

Scheduling for Parallel Architectures: Theory, Applications, Challenges


Erik Altman (IBM TJ Watson Research Center, US), James Dehnert (Palo Alto, US), Christoph W. Kessler (Linköping University, SE), Jens Knoop (TU Wien, AT)

Top

March 8 – 11 , 2005, Event 05102

Software Libraries: Design and Evaluation


Jaakko Järvi (Texas A&M University – College Station, US), Andrew Lumsdaine (Indiana University – Bloomington, US), David R. Musser (Rensselaer Polytechnic Institute – Troy, US), Sibylle Schupp (Chalmers – Göteborg, SE), Todd Veldhuizen (Chalmers – Göteborg, SE)

Top

March 13 – 18 , 2005, Dagstuhl Seminar 05111

Computational Geometry


Helmut Alt (FU Berlin, DE), Franz Aurenhammer (TU Graz, AT), Dan Halperin (Tel Aviv University, IL)

Top

March 17 – 18 , 2005, Event 05112

Int. Graduiertenkolleg der TU Kaiserslautern


Hans Hagen (TU Kaiserslautern, DE)

Top

March 20 – 23 , 2005, Event 05122

GIBU 05: GI-Beirat der Universitätsprofessoren


Bernd Becker (Universität Freiburg, DE)

Top

March 29 – April 1 , 2005, Event 05132

8th Int. DELOS Workshop: Future Digital Library Management Systems


Yannis E. Ioannidis (University of Athens, GR), Hans-Jörg Schek (UMIT – Hall i. Tirol, AT), Gerhard Weikum (MPI für Informatik – Saarbrücken, DE)

Top

April 3 – 8 , 2005, Dagstuhl Seminar 05141

Power-aware Computing Systems


Luca Benini (University of Bologna, IT), Ulrich Kremer (Rutgers University – Piscataway, US), Christian W. Probst (Technical University of Denmark – Lyngby, DK)

Top

April 3 – 6 , 2005, Dagstuhl Seminar 05142

Disruption Tolerant Networking


Marcus Brunner (NEC Laboratories Europe – Heidelberg, DE), Lars Eggert (NEC Laboratories Europe – Heidelberg, DE), Kevin R. Fall (Intel Berkeley Labs, US), Jörg Ott (Helsinki University of Technology, FI), Lars Wolf (TU Braunschweig, DE)

Top

April 9 – 12 , 2005, Dagstuhl Perspectives Workshop 05152

Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues


Mario Gerla (UCLA, US), Christoph Lindemann (Universität Leipzig, DE), Ant Rowstron (Microsoft Research UK – Cambridge, GB)

Top

April 10 – 15 , 2005, Dagstuhl Seminar 05151

Annotating, Extracting and Reasoning about Time and Events


Graham Katz (Universität Osnabrück, DE), James Pustejovsky (Brandeis University – Waltham, US), Frank Schilder (Thomson Legal & Regulatory Corp, US)

Top

April 12 – 15 , 2005, Event 05153

DIA-Seminar: Objektorientierte Entwurfstechniken und Software-Architekturen


Reinhard Budde (Fraunhofer IAIS – St. Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE), Heinz Züllighoven (Universität Hamburg, DE)

Top

April 17 – 22 , 2005, Dagstuhl Seminar 05161

Transformation Techniques in Software Engineering


James R. Cordy (Queen's University – Kingston, CA), Ralf Lämmel (Microsoft Research – Redmond, US), Andreas Winter (Universität Koblenz-Landau, DE)

Top

April 24 – 29 , 2005, Dagstuhl Seminar 05171

Nonmonotonic Reasoning, Answer Set Programming and Constraints


Gerhard Brewka (Universität Leipzig, DE), Ilkka Niemelä (Helsinki University of Technology, FI), Torsten Schaub (Universität Potsdam, DE), Miroslaw Truszczynski (University of Kentucky – Lexington, US)

Top

April 25 – 27 , 2005, Event 05172

DIA-Seminar: Usability Engineering: Entwicklung gebrauchstauglicher Software


Wolfgang Dzida (Fraunhofer IAIS – St. Augustin, DE), Regine Freitag (Fraunhofer IAIS – St. Augustin, DE), Thomas Geis (TÜV Secure IT – Köln, DE), Wolfgang Redtenbacher (Redtenbacher Software – Renningen, DE)

Top

May 1 – 4 , 2005, Dagstuhl Seminar 05181

Mobile Computing and Ambient Intelligence: The Challenge of Multimedia


Nigel Davies (Lancaster University, GB), Thomas Kirste (Universität Rostock, DE), Heidrun Schumann (Universität Rostock, DE)

Top

May 1 – 6 , 2005, Event 05182

Federation over the Web


Klaus Peter Jantke (Fraunhofer Institut IDMT – IIlmenau, DE), Nicolas Spyratos (Université Paris Sud, FR), Yuzuru Tanaka (Hokkaido University, JP)

Top

May 8 – 13 , 2005, Dagstuhl Seminar 05191

Graph Drawing


Michael Jünger (Universität Köln, DE), Stephen G. Kobourov (University of Arizona – Tucson, US), Petra Mutzel (TU Dortmund, DE)

Top

May 15 – 20 , 2005, Dagstuhl Seminar 05201

Design and Analysis of Randomized and Approximation Algorithms


Martin Dyer (University of Leeds, GB), Mark R. Jerrum (University of Edinburgh, GB), Marek Karpinski (Universität Bonn, DE)

Top

May 22 – 25 , 2005, Event 05212

Gemeinsamer Workshop der Graduiertenkollegs


Otto Spaniol (RWTH Aachen, DE)

Top

May 29 – June 3 , 2005, Dagstuhl Seminar 05221

Geometric Modeling


Guido Brunnett (TU Chemnitz, DE), Gerald Farin (Arizona State University – Tempe, US), Ron Goldman (Rice University – Houston, US), Stefanie Hahmann (Laboratoire Jean Kuntzmann – Grenoble, FR)

Top

May 29 – June 3 , 2005, Event 05222

OTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

June 5 – 10 , 2005, Dagstuhl Seminar 05231

Scientific Visualization: Challenges for the Future


Thomas Ertl (Universität Stuttgart, DE), Eduard Gröller (TU Wien, AT), Kenneth Joy (University of California – Davis, US), Gregory M. Nielson (Arizona State University – Mesa, US)

Top

June 12 – 17 , 2005, Dagstuhl Seminar 05241

Synthesis and Planning


Henry A. Kautz (University of Washington – Seattle, US), Wolfgang Thomas (RWTH Aachen, DE), Moshe Y. Vardi (Rice University – Houston, US)

Top

June 19 – 24 , 2005, Dagstuhl Seminar 05251

Types for Tools: Applications of Type Theoretic Techniques


Fritz Henglein (University of Copenhagen, DK), Martin Odersky (EPFL – Lausanne, CH), Frank Tip (IBM TJ Watson Research Center – Hawthorne, US), Jan Vitek (Purdue University – West Lafayette, US)

Top

June 19 – 24 , 2005, Event 05252

Bundeswettbewerb Informatik: Deutsches IOI-Abschlusstraining


Wolfgang Pohl (BWINF – Bonn, DE)

Top

June 26 – July 1 , 2005, Dagstuhl Seminar 05261

Multi-Version Program Analysis


Thomas Ball (Microsoft Research – Redmond, US), Stephan Diehl (KU Eichstätt/Ingolstadt, DE), David Notkin (University of Washington – Seattle, US), Andreas Zeller (Universität des Saarlandes, DE)

Top

June 30 – July 2 , 2005, Event 05263

Data Management in a Connected World


Theo Härder (TU Kaiserslautern, DE), Wolfgang Lehner (TU Dresden, DE)

Top

July 3 – 8 , 2005, Dagstuhl Seminar 05271

Semantic Grid: The Convergence of Technologies


Carole Goble (University of Manchester, GB), Carl Kesselman (USC – Marina del Rey, US), York Sure-Vetter (KIT – Karlsruher Institut für Technologie, DE)

The Dagstuhl Foundation received a donation from: EU thematic network of excellence Knowledge Web

Top

July 5 – 7 , 2005, Event 05272

LST-Treffen


Marcus Schöller (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

Top

July 10 – 15 , 2005, Dagstuhl Seminar 05281

Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems


John Fowler (Arizona State University – Tempe, US), Barry L. Nelson (Northwestern University – Evanston, US), Michael Pinedo (New York University, US), Oliver Rose (TU Dresden, DE)

Top

July 10 – 15 , 2005, Event 05282

European Post-Graduate College "Language Technology & Cognitive Systems"


Matthew Crocker (Universität des Saarlandes, DE)

Top

July 17 – 22 , 2005, Dagstuhl Seminar 05291

Sublinear Algorithms


Artur Czumaj (NJIT – Newark, US), S. Muthu Muthukrishnan (Rutgers University – Piscataway, US), Ronitt Rubinfeld (MIT – Cambridge, US), Christian Sohler (Universität Paderborn, DE)

Top

July 24 – 29 , 2005, Dagstuhl Seminar 05301

Exact Algorithms and Fixed-Parameter Tractability


Rodney Downey (Victoria University of Wellington, NZ), Martin Grohe (HU Berlin, DE), Michael Hallett (McGill University – Montreal, CA), Gerhard J. Woeginger (TU Eindhoven, NL)

Top

July 31 – August 5 , 2005, Dagstuhl Seminar 05311

Verifying Optimizing Compilers


Jens Knoop (TU Wien, AT), George Necula (University of California – Berkeley, US), Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, DE), Lenore D. Zuck (University of Illinois – Chicago, US)

Top

July 31 – August 5 , 2005, Event 05313

International Project Meeting "Component Technology for Embedded Systems"


Peter Lutz (Robert Bosch GmbH – Frankfurt, DE), Jörn Schneider (Robert Bosch GmbH – Stuttgart, DE)

Top

August 7 – 12 , 2005, Dagstuhl Seminar 05321

Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics


James P. Delgrande (Simon Fraser University – Burnaby, CA), Jérôme Lang (Paul Sabatier University – Toulouse, FR), Hans Rott (Universität Regensburg, DE), Jean-Marc Tallon (Université Paris I, FR)

Top

August 28 – September 3 , 2005, Event 05352

Summer School: Wireless Sensor Networks and Smart Objects


Friedemann Mattern (ETH Zürich, CH), Kay Römer (ETH Zürich, CH)

Top

September 4 – 9 , 2005, Dagstuhl Seminar 05361

Algorithmic Aspects of Large and Complex Networks


Stefano Leonardi (Sapienza University of Rome, IT), Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE)

Top

September 11 – 16 , 2005, Dagstuhl Seminar 05371

Principles and Practices of Semantic Web Reasoning


François Bry (LMU München, DE), François Fages (INRIA – Le Chesnay, FR), Massimo Marchiori (MIT – Cambridge, US), Hans-Jürgen Ohlbach (LMU München, DE)

Top

September 11 – 14 , 2005, Event 05372

Klausurtagung SW-Systems-Engineering


Klaus Pohl (Universität Duisburg – Essen, DE), Sascha Reis (Universität Duisburg – Essen, DE)

Top

September 18 – 23 , 2005, Dagstuhl Seminar 05381

Form and Content in Sensor Networks


Leonidas J. Guibas (Stanford University, US), Uwe D. Hanebeck (KIT – Karlsruher Institut für Technologie, DE), Thomas C. Henderson (University of Utah – Salt Lake City, US)

Top

September 19 – 21 , 2005, Event 05383

Projektmeeting Internetökonomie


Marcus Schöller (KIT – Karlsruher Institut für Technologie, DE), Martina Zitterbart (KIT – Karlsruher Institut für Technologie, DE)

Top

September 21 – 24 , 2005, Dagstuhl Seminar 05382

Efficient Text Entry


Karin Harbusch (Univ. Koblenz-Landau, DE), Kari-Jouko Raiha (University of Tampere, FI), Kumiko Tanaka-Ishii (University of Tokyo, JP)

Top

September 25 – 30 , 2005, Dagstuhl Seminar 05391

Algebraic and Numerical Algorithms and Computer-assisted Proofs


Bruno Buchberger (Universität Linz, AT), Shin'ichi Oishi (Waseda Univ. / JST – Tokyo, JP), Michael Plum (KIT – Karlsruher Institut für Technologie, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE)

Top

September 26 – 28 , 2005, Event 05392

Klausurtagung Lehrstuhl Studer


Rudi Studer (KIT – Karlsruher Institut für Technologie, DE)

Top

October 3 – 6 , 2005, Event 05403

Klausurtagung Lehrstuhl Hartmut Schmeck


Hartmut Schmeck (KIT – Karlsruher Institut für Technologie, DE)

Top

October 5 – 8 , 2005, Dagstuhl Perspectives Workshop 05402

Challenges for Software Engineering Research


Manfred Broy (TU München, DE), Matthias Jarke (RWTH Aachen, DE), Manfred Nagl (RWTH Aachen, DE), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE)

Top

October 9 – 14 , 2005, Dagstuhl Seminar 05411

Anonymous Communication and its Applications


Shlomi Dolev (Ben Gurion University – Beer Sheva, IL), Rafail Ostrovsky (UCLA, US), Andreas Pfitzmann (TU Dresden, DE)

Top

October 9 – 12 , 2005, Event 05412

Perspektiven im Bereich numerischer Einschliessungsverfahren


Gerd Bohlender (KIT – Karlsruher Institut für Technologie, DE), Rudi Klatte (KIT – Karlsruher Institut für Technologie, DE), Walter Krämer (Bergische Universität Wuppertal, DE)

Top

October 16 – 21 , 2005, Dagstuhl Seminar 05421

Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data


Gustavo Alonso (ETH Zürich, CH), Christian S. Jensen (Aalborg University, DK), Bernhard Mitschang (Universität Stuttgart, DE), Oddvar Risnes (Telenor Research and Development – Trondheim, NO)

Top

October 19 – 21 , 2005, Event 05423

DIA-Seminar: Objektorientierte Systementwicklung


Reinhard Budde (Fraunhofer IAIS – Sankt Augustin, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE), Heinz Züllighoven (Universität Hamburg, DE)

Top

October 23 – 28 , 2005, Dagstuhl Seminar 05431

Deduction and Applications


Franz Baader (TU Dresden, DE), Peter Baumgartner (MPI für Informatik – Saarbrücken, DE), Robert Nieuwenhuis (UPC – Barcelona, ES), Andrei Voronkov (University of Manchester, GB)

Top

October 30 – November 4 , 2005, Dagstuhl Seminar 05441

Managing and Mining Genome Information: Frontiers in Bioinformatics


Jacek Blazewicz (Poznan University of Technology, PL), Johann-Christoph Freytag (HU Berlin, DE), Martin Vingron (MPI für Molekulare Genetik – Berlin, DE)

Top

October 30 – November 1 , 2005, GI-Dagstuhl Seminar 05442

Verlässlichkeitsmetriken


Felix Freiling (Universität Erlangen-Nürnberg, DE)

Top

November 6 – 11 , 2005, Dagstuhl Seminar 05451

Beyond Program Slicing


Dave Binkley (Loyola College – Baltimore, US), Mark Harman (King's College London, GB), Jens Krinke (FernUniversität in Hagen, DE)

Top

November 14 – 16 , 2005, Dagstuhl Perspectives Workshop 05461

Perspektiv-Workshop zur theoretischen Informatik


Wolfgang Thomas (RWTH Aachen, DE), Ingo Wegener (TU Dortmund, DE)

Top

November 15 – 18 , 2005, Dagstuhl Seminar 05462

Service Oriented Computing (SOC)


Fabio Casati (HP Labs – Palo Alto, US), Francisco Curbera (IBM TJ Watson Research Center – Yorktown Heights, US), Bernd Krämer (FernUniversität in Hagen, DE), Michael P. Papazoglou (Tilburg University, NL)

Top

November 20 – 25 , 2005, Dagstuhl Seminar 05471

Computational Proteomics


Christian Huber (Universität des Saarlandes, DE), Oliver Kohlbacher (Universität Tübingen, DE), Knut Reinert (FU Berlin, DE)

Top

November 23 – 25 , 2005, GI-Dagstuhl Seminar 05473

Algorithmen für Ad-Hoc und Sensornetze


Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE), Roger Wattenhofer (ETH Zürich, CH)

Top

November 27 – 30 , 2005, Event 05482

Evaluation Initiative for XML Document Retrieval


Norbert Fuhr (Universität Duisburg-Essen, DE), Mounia Lalmas (Queen Mary University of London, GB)

Top

November 30 – December 2 , 2005, Event 05483

DFG SPP "Sicherheit in der Informations- und Kommunikationstechnik"


Maike Gilliot (Universität Freiburg, DE), Günter Müller (Universität Freiburg, DE)

Top

December 4 – 9 , 2005, Dagstuhl Seminar 05491

Spatial Cognition: Specialization and Integration


Anthony Cohn (University of Leeds, GB), Christian Freksa (Universität Bremen, DE), Bernhard Nebel (Universität Freiburg, DE)

Top

December 7 – 9 , 2005, Event 05493

Lehrerfortbildung in Informatik


Uwe Peters (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes – Saarbrücken, DE), Martin Zimnol (Pädagogisches Landesinstitut Rheinland-Pfalz, DE)

Top

December 11 – 16 , 2005, Event 05502

CGAL-Meeting: Design and Implementation


Lutz Kettner (MPI für Informatik – Saarbrücken, DE)

Top

December 11 – 16 , 2005, Event 05503

Klausurtagung DFG-Forschungsgruppe Palladio Oldenburg


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

Top

December 12 – 16 , 2005, Dagstuhl Seminar 05501

Automatic Performance Analysis


Hans Michael Gerndt (TU München, DE), Allen D. Malony (University of Oregon – Eugene, US), Barton P. Miller (University of Wisconsin – Madison, US), Wolfgang E. Nagel (TU Dresden, DE)

Top