All Events 2003:



January 5 – 10 , 2003, Dagstuhl Seminar 03021

Verification and Constructive Algebra


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

Top

January 13 – 16 , 2003, Event 03032

DAAD-Projekt "International Quality Network" (IQN)


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

Top

January 13 – 17 , 2003, Event 03033

Secure Operating Systems


Werner Stephan (DFKI – Saarbrücken, DE), Stefan Wittmann (BSI – Bonn, DE)

Top

January 14 – 16 , 2003, Event 03034

Implementierungsworkshop SPP 1083 - Agent.Hospital / Agent.Enterprise


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

Top

January 19 – 24 , 2003, Dagstuhl Seminar 03041

Numerical Software with Result Verification


René Alt (UPMC – Paris, FR), Andreas Frommer (Universität Wuppertal, DE), Ralph Baker Kearfott (Univ. of Louisiana – Lafayette, US), Wolfram Luther (Universität Duisburg-Essen, DE)

Top

January 27 – 31 , 2003, Event 03052

Verbundprojektes DaMiT


Gerhard Degel (Universität des Saarlandes, DE)

Top

January 28 – 31 , 2003, Dagstuhl Seminar 03051

Information and Process Integration: A Life Science Perspective


Rolf Apweiler (European Bioinformatics Institute – Cambridge, GB), Thure Etzold (LION Bioscience – Cambridge, GB), Johann-Christoph Freytag (HU Berlin, DE), Carole Goble (University of Manchester, GB), Peter Schwarz (IBM Almaden Center, US)

Top

February 2 – 7 , 2003, Dagstuhl Seminar 03061

Software Architecture: Recovery and Modelling


Rick Kazman (Carnegie Mellon University – Pittsburgh, US), Rainer Koschke (Universität Bremen, DE), Arie van Deursen (CWI – Amsterdam, NL)

Top

February 9 – 14 , 2003, Dagstuhl Seminar 03071

Emerging Technologies: Can Optimization Technology meet their Demands?


Thomas M. Conte (North Carolina State University, US), Christine Eisenbeis (University of Paris South XI, FR), Mary Lou Soffa (University of Virginia, US)

Top

February 16 – 21 , 2003, Dagstuhl Seminar 03081

Objects, Agents and Features


Hans-Dieter Ehrich (TU Braunschweig, DE), John-Jules Ch. Meyer (Utrecht University, NL), Mark D. Ryan (University of Birmingham, GB)

Top

February 19 – 21 , 2003, Event 03082

DIA-Seminar: Webtechnologien und -anwendungen: heute und morgen


Stephan Diehl (KU Eichstätt/Ingolstadt, DE), Christian W. Probst (Technical University of Denmark – Lyngby, DK)

Top

February 23 – 28 , 2003, Dagstuhl Seminar 03091

Program Analysis for Object-Oriented Evolution


Ralph Johnson (University of Illinois – Urbana-Champaign, US), Gregor Snelting (Universität Passau, DE), Frank Tip (IBM TJ Watson Research Center – Hawthorne, US)

The Dagstuhl Foundation received a donation from: IBM Research

Top

March 2 – 7 , 2003, Dagstuhl Seminar 03101

Reasoning about Shape


Markus Müller-Olm (Universität Münster, DE), Hanne Riis Nielson (Technical University of Denmark – Lyngby, DK), David Schmidt (Kansas State University, US)

Top

March 9 – 14 , 2003, Dagstuhl Seminar 03111

Challenges in High Performance Simulations for Science and Engineering


Friedel Hoßfeld (Jülich Supercomputing Centre, DE), Christopher R. Johnson (University of Utah – Salt Lake City, US), Hans Petter Langtangen (University of Oslo, NO), Ulrich Rüde (Universität Erlangen-Nürnberg, DE)

Top

March 10 – 13 , 2003, Dagstuhl Seminar 03112

Multimedia Retrieval


Michael Clausen (Universität Bonn, DE), Rolf Klein (Universität Bonn, DE), Ian H. Witten (University of Waikato, NZ)

The Dagstuhl Foundation received a donation from: Deutsche Forschungsgemeinschaft, Bonn

Top

March 16 – 21 , 2003, Dagstuhl Seminar 03121

Computational Geometry


Dan Halperin (Tel Aviv University, IL), Günter Rote (FU Berlin, DE)

Top

March 23 – 28 , 2003, Dagstuhl Seminar 03131

Domain-Specific Program Generation


Don Batory (University of Texas – Austin, US), Charles Consel (University of Bordeaux, FR), Christian Lengauer (Universität Passau, DE), Martin Odersky (EPFL – Lausanne, CH)

Top

March 30 – April 4 , 2003, Dagstuhl Seminar 03141

The Propositional Satisfiability Problem -- Algorithms and Lower Bounds


Andreas Goerdt (TU Chemnitz, DE), Pavel Pudlák (Czech Academy of Sciences, CZ), Uwe Schöning (Universität Ulm, DE), Osamu Watanabe (Tokyo Institute of Technology, JP)

Top

April 2 – 4 , 2003, Event 03142

CIAO-2003


Dieter Hutter (DFKI – Saarbrücken, DE)

Top

April 6 – 8 , 2003, Event 03153

Klausurtagung Institut für Telematik der Univ. Karlsruhe


Roland Bless (KIT – Karlsruher Institut für Technologie, DE)

Top

April 7 – 10 , 2003, Dagstuhl Seminar 03151

Product Family Development


Günter Böckle (Siemens AG – München, DE), Peter Knauber (FH Mannheim, DE), Linda Northrop (Carnegie Mellon University – Pittsburgh, US), Klaus Pohl (Universität Duisburg – Essen, DE), Frank van der Linden (Philips Medical Systems – Best, NL)

Top

April 9 – 11 , 2003, Event 03152

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 – West Melbourne, AU)

Top

April 14 – 16 , 2003, Event 03162

GIBU 2003: GI-Beirat der Universitätsprofessoren


Bernd Becker (Universität Freiburg, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE)

Top

April 14 – 15 , 2003, Event 03164

Blockseminar LST Steffen


Bernhard Steffen (TU Dortmund, DE)

Top

April 16 – 17 , 2003, Event 03163

DFG-Treffen für Informatikerinnen


Britta Schinzel (Universität Freiburg, DE), Gerit Sonntag (DFG – Bonn, DE)

Top

April 21 – 25 , 2003, Dagstuhl Seminar 03171

Deduction and Infinite-state Model Checking


Deepak Kapur (University of New Mexico – Albuquerque, US), Andreas Podelski (MPI für Informatik – Saarbrücken, DE), Andrei Voronkov (University of Manchester, GB)

Top

April 22 – 23 , 2003, Event 03172

Kick-off Meeting DFG Projekt "Softwareevolution"


Stephan Diehl (KU Eichstätt/Ingolstadt, DE), Andreas Zeller (Universität des Saarlandes, DE)

Top

April 27 – May 2 , 2003, Dagstuhl Seminar 03181

Centennial Seminar on Kolmogorov Complexity and Applications


Bruno Durand (University of Marseille, FR), Leonid A. Levin (Boston University, US), Wolfgang Merkle (Universität Heidelberg, DE), Alexander Shen (IITP – Moscow, RU), Paul M. B. Vitanyi (CWI – Amsterdam, NL)

Top

May 4 – 9 , 2003, Dagstuhl Seminar 03191

Conceptual and Technical Aspects of Electronic Learning


Caroline Haythornthwaite (University of Illinois at Urbana Champaign, US), Wolffried Stucky (KIT – Karlsruher Institut für Technologie, DE), Gottfried Vossen (Universität Münster, DE)

Top

May 5 – 9 , 2003, Event 03192

CGAL Design and Implementation Meeting


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

Top

May 11 – 16 , 2003, Dagstuhl Seminar 03201

Probabilistic Methods in Verification and Planning


Craig Boutilier (University of Toronto, CA), Boudewijn Haverkort (University of Twente, NL), Marta Kwiatkowska (University of Birmingham, GB), Moshe Y. Vardi (Rice University – Houston, US)

Top

May 16 – 17 , 2003, Event 03203

TOOLS 2003 Programmkomitee


Peter Kemper (College of William and Mary – Williamsburg, US), William H. Sanders (University of Illinois – Urbana Champaign, US)

Top

May 18 – 23 , 2003, Dagstuhl Seminar 03211

Adaptivity in Parallel Scientific Computing


Ioana Banicescu (Mississippi State University, US), Keshav Pingali (Cornell University, US), Thomas Rauber (Universität Bayreuth, DE), Gudula Rünger (TU Chemnitz, DE)

Top

May 21 – 23 , 2003, Event 03212

DIA-Seminar: Extreme Programming: Agile Entwicklung von Software


Martin Lippert (Universität Hamburg, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE), Henning Wolf (Universität Hamburg, DE)

Top

May 25 – 30 , 2003, Event 03222

Constructive Mathematics: A meeting honoring Carl de Boor


Amos Ron (University of Wisconsin – Madison, US), Hans-Peter Seidel (MPI für Informatik – Saarbrücken, DE)

Top

June 1 – 6 , 2003, Dagstuhl Seminar 03231

Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets


Georges-Pierre Bonneau (INRIA – Grenoble, FR), Thomas Ertl (Universität Stuttgart, DE), Gregory M. Nielson (Arizona State University – Mesa, US)

Top

June 9 – 13 , 2003, Dagstuhl Seminar 03241

Inconsistency Tolerance


Leopoldo Bertossi (Carleton University – Ottawa, CA), Philippe Besnard (Paul Sabatier University – Toulouse, FR), Anthony Hunter (University College London, GB), Torsten Schaub (Universität Potsdam, DE)

Top

June 16 – 18 , 2003, Event 03252

Gemeinsamer Workshop der Informatik Graduiertenkollegs


Otto Spaniol (RWTH Aachen, DE)

Top

June 22 – 27 , 2003, Dagstuhl Seminar 03261

Plan-Based Control of Robotic Agents


Michael Beetz (TU München, DE), Malik Ghallab (LAAS – Toulouse, FR), Joachim Hertzberg (Universität Osnabrück, DE), Martha E. Pollack (University of Michigan – Ann Arbor, US)

Top

June 23 – 24 , 2003, Event 03262

SFB 378 "Ressourcenadaptive kognitive Prozesse"


Jörg Siekmann (Universität des Saarlandes, DE)

Top

June 25 – 27 , 2003, Event 03263

SFB 378, Projekt EM1 "Verbales und visuelles Arbeitsgedächtnis."


Hubert Zimmer (Universität des Saarlandes, DE)

Top

June 29 – July 4 , 2003, Dagstuhl Seminar 03271

Hierarchical Methods in Computer Graphics


Markus Gross (ETH Zürich, CH), Dinesh Manocha (University of North Carolina at Chapel Hill, US), Heinrich Müller (TU Dortmund, DE), Hans-Peter Seidel (MPI für Informatik – Saarbrücken, DE)

Top

July 6 – 11 , 2003, Dagstuhl Seminar 03281

Embodied Artificial Intelligence


Verena V. Hafner (Sony CSL – Paris, FR), Fumiya Iida (Universität Zürich, CH), Yasuo Kuniyoshi (University of Tokyo, JP), Rolf Pfeifer (Universität Zürich, CH), Luc Steels (Free University of Brussels, BE)

Top

July 10 – 12 , 2003, Event 03282

STAR Lab Meeting - V.U. Brussels


Robert A. Meersman (Free University of Brussels, BE)

Top

July 13 – 18 , 2003, Dagstuhl Seminar 03291

Algorithmic Game Theory and the Internet


Marek Karpinski (Universität Bonn, DE), Christos H. Papadimitriou (University of California – Berkeley, US), Vijay V. Vazirani (Georgia Institute of Technology – Atlanta, US)

Top

July 20 – 25 , 2003, Dagstuhl Seminar 03301

Dynamically Reconfigurable Architectures


Peter M. Athanas (Virginia Polytechnic Institute – Blacksburg, US), Jürgen Becker (KIT – Karlsruher Institut für Technologie, DE), Gordon Brebner (Xilinx – San José, US), Hossam El Gindy (UNSW – Sydney, AU)

The Dagstuhl Foundation received a donation from: PACT XPP Technologies, Munich / Quicksilver Inc., San José / Xilinx Inc., San Jose

Top

July 27 – August 1 , 2003, Dagstuhl Seminar 03311

Fixed Parameter Algorithms


Michael R. Fellows (University of Newcastle, AU), Michael Hallett (McGill University – Montreal, CA), Rolf Niedermeier (Universität Jena, DE), Naomi Nishimura (University of Waterloo, CA)

Top

August 3 – 7 , 2003, Dagstuhl Seminar 03321

Internet Economics


Martin 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

August 3 – 6 , 2003, Event 03322

Klausurtagung AG "Software Systems Engineering", Univ. Duisburg-Essen


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

Top

August 3 – 7 , 2003, Event 03323

Implementierungsworkshop SPP 1083 - Agent.Hospital / Agent.Enterprise


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

Top

August 26 – 29 , 2003, Dagstuhl Seminar 03351

Software Optimization


Susan L. Graham (University of California – Berkeley, US), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

August 31 – September 5 , 2003, Dagstuhl Seminar 03361

Algorithmic Aspects of Large and Complex Networks


Micah Adler (University of Massachusetts – Amherst, US), Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE)

Top

August 31 – September 5 , 2003, Dagstuhl Seminar 03362

Data Quality on the Web


Michael Gertz (University of California – Davis, US), M. Tamer Özsu (University of Waterloo, CA), Gunter Saake (Universität Magdeburg, DE), Kai-Uwe Sattler (TU Ilmenau, DE)

Top

September 7 – 12 , 2003, Dagstuhl Seminar 03371

Scenarios: Models, Transformations and Tools


Francis Bordeleau (Carleton University – Ottawa, CA), Stefan Leue (Universität Konstanz, DE), Tarja Systä (Tampere University of Technology, FI)

Top

September 7 – 10 , 2003, Event 03372

2. DeutscheKuVS Summer School "Sicherheit in Netzen und verteilten Systemen"


Stefan Fischer (Universität Lübeck, DE)

Top

September 14 – 19 , 2003, Dagstuhl Seminar 03381

New Optimization Algorithms in Physics


Alexander K. Hartmann (Universität Göttingen, DE), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Heiko Rieger (Universität des Saarlandes, DE)

Top

September 14 – 19 , 2003, Event 03382

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


Matthew Crocker (Universität des Saarlandes, DE)

Top

September 21 – 26 , 2003, Dagstuhl Seminar 03391

Graph Colorings


Jaroslav Nesetril (Charles University – Prague, CZ), Gerhard J. Woeginger (TU Eindhoven, NL)

Top

September 28 – October 3 , 2003, Dagstuhl Seminar 03401

Computational Cartography and Spatial Modelling


Monika Sester (Leibniz Universität Hannover, DE), Jack Snoeyink (University of North Carolina at Chapel Hill, US), Peter van Oosterom (TU Delft, NL), Michael Worboys (University of Maine, US)

Top

September 29 – October 1 , 2003, Event 03402

DIA-Seminar: Webtechnologien und -anwendungen: heute und morgen


Stephan Diehl (Universität Trier, DE), Christian W. Probst (Technical University of Denmark – Lyngby, DK)

Top

October 5 – 10 , 2003, Dagstuhl Seminar 03411

Language-Based Security


Anindya Banerjee (Kansas State University, US), Heiko Mantel (RWTH Aachen, DE), David A. Naumann (Stevens Institute of Technology, US), Andrei Sabelfeld (Cornell University, US)

Top

October 8 – 10 , 2003, Event 03412

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 12 – 17 , 2003, Dagstuhl Seminar 03421

Theoretical and Computational Aspects of Matrix Algorithms


Nick Higham (Manchester University, GB), Volker Mehrmann (TU Berlin, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE), Daniel B. Szyld (Temple University – Philadelphia, US)

Top

October 13 – 17 , 2003, Event 03422

Herbstschule "Information Retrieval"


Marc Rittberger (Universität Konstanz, DE), Ulrich Thiel (Fraunhofer Institut – Darmstadt, DE), Christa Womser-Hacker (Universität Hildesheim, DE)

Top

October 19 – 24 , 2003, Dagstuhl Seminar 03431

Hardware and Software Consistency Models: Programmability and Performance


Jens Knoop (TU Wien, AT), Jaejin Lee (Seoul National University, KR), Samuel P. Midkiff (Purdue University – West Lafayette, US), David Padua (University of Illinois – Urbana-Champaign, US)

Top

October 23 – 24 , 2003, Event 03432

Symposium on Logic versus Approximation


Klaus-Dieter Althoff (Universität Hildesheim, DE), Ralph Bergmann (Universität Trier, DE), Wolfgang Lenski (TU Kaiserslautern, DE), Rolf H. Möhring (TU Berlin, DE), Franz J. Radermacher (FAW Ulm, DE)

Top

October 26 – 31 , 2003, Dagstuhl Seminar 03441

Cognitive Vision Systems


Henrik Iskov Christensen (Georgia Institute of Technology – Atlanta, US), Hans-Hellmut Nagel (KIT – Karlsruher Institut für Technologie, DE)

Top

October 26 – 27 , 2003, Event 03443

Projektgruppe EUREKA


Bernhard Steffen (TU Dortmund, DE)

Top

November 2 – 7 , 2003, Dagstuhl Seminar 03451

Applied Deductive Verification


David Basin (ETH Zürich, CH), Harald Ganzinger (MPI-SWS – Saarbrücken, DE), John R. Harrison (Intel – Hillsboro, US), Amir Pnueli (New York University, US)

Top

November 2 – 7 , 2003, Event 03453

OTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

November 5 – 7 , 2003, Event 03452

DIA-Seminar: Objektorientierte Entwurfstechniken und Architekturen


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

Top

November 9 – 14 , 2003, Dagstuhl Seminar 03461

Software Intensive Embedded Systems - with Special Emphasis on Automotive


Manfred Broy (TU München, DE), Rolf Ernst (TU Braunschweig, DE), Ursula Goltz (TU Braunschweig, DE), Luciano Lavagno (Polytechnic University of Torino, IT)

Top

November 9 – 12 , 2003, GI-Dagstuhl Seminar 03463

Performance of Mobile Systems


Boudewijn Haverkort (University of Twente, NL)

Top

November 13 – 14 , 2003, Event 03462

Grenzflächen der Informatik


Britta Schinzel (Universität Freiburg, DE)

Top

November 16 – 19 , 2003, Dagstuhl Perspectives Workshop 03471

Design of Systems with Predictable Behaviour


Lothar Thiele (ETH Zürich, CH), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

November 17 – 19 , 2003, Event 03472

BMBF-Projekt "Internetökonomie"


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

Top

November 20 – 21 , 2003, Event 03473

Jahreskolloquium 2003 des DFG-Schwerpunktes "Informatikmethoden zur Analyse und Interpretation grosser genomischer Datenmengen"


Thomas Lengauer (MPI für Informatik – Saarbrücken, DE)

Top

November 23 – 27 , 2003, Dagstuhl Seminar 03481

e-Accessibility - new Devices, new Technologies and new Challenges in the Information Society


Matthias Jarke (RWTH Aachen, DE), Alfred Kobsa (University of California – Irvine, US), Klaus Miesenberger (Universität Linz, AT), Carlos A. Velasco (Fraunhofer IAIS – St. Augustin, DE)

The Dagstuhl Foundation received a donation from: Ministerium für Bildung, Kultur und Wissenschaft, Saarland

Top

November 30 – December 5 , 2003, Dagstuhl Seminar 03491

Understanding Program Dynamics


Jong-Deok Choi (IBM TJ Watson Research Center, US), Barbara G. Ryder (Rutgers University – Piscataway, US), Andreas Zeller (Universität des Saarlandes, DE)

Top

December 3 – 5 , 2003, Event 03492

DIA-Seminar: Extreme Programming: Agile Entwicklung von Software


Martin Lippert (Universität Hamburg, DE), Karl-Heinz Sylla (Fraunhofer IAIS – St. Augustin, DE), Henning Wolf (Universität Hamburg, DE)

Top

December 7 – 12 , 2003, Dagstuhl Seminar 03501

Robot Navigation


Rudolf Fleischer (Fudan University – Shanghai, CN), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA)

Top

December 10 – 12 , 2003, Event 03503

Lehrerfortbildung in Informatik


Wolf Böhm (SIL Speyer, DE), Uwe Peters (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

December 15 – 17 , 2003, Event 03512

Evaluation Initiative for XML Document Retrieval


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

Top