Seminar Calendar
2003
Directly go to:
Jan 05
– Jan 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)
Jan 19
– Jan 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)
Jan 28
– Jan 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)
Feb 02
– Feb 07, 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)
Feb 09
– Feb 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)
Feb 16
– Feb 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)
Feb 23
– Feb 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)
Mar 02
– Mar 07, 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)
Mar 09
– Mar 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)
Mar 10
– Mar 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)
Mar 16
– Mar 21, 2003
• Dagstuhl Seminar 03121
Computational Geometry
Dan Halperin (Tel Aviv University, IL) • Günter Rote (FU Berlin, DE)
Mar 23
– Mar 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)
Mar 30
– Apr 04, 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)
Apr 07
– Apr 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)
Apr 21
– Apr 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)
Apr 27
– May 02, 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)
May 04
– May 09, 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)
May 11
– May 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)
May 18
– May 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)
Jun 01
– Jun 06, 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)
Jun 09
– Jun 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)
Jun 22
– Jun 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)
Jun 29
– Jul 04, 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)
Jul 06
– Jul 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)
Jul 13
– Jul 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)
Jul 20
– Jul 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)
Jul 27
– Aug 01, 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)
Aug 03
– Aug 07, 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)
Aug 26
– Aug 29, 2003
• Dagstuhl Seminar 03351
Software Optimization
Susan L. Graham (University of California - Berkeley, US) • Reinhard Wilhelm (Universität des Saarlandes, DE)
Aug 31
– Sep 05, 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)
Aug 31
– Sep 05, 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)
Sep 07
– Sep 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)
Sep 14
– Sep 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)
Sep 21
– Sep 26, 2003
• Dagstuhl Seminar 03391
Graph Colorings
Jaroslav Nešetril (Charles University - Prague, CZ) • Gerhard J. Woeginger (TU Eindhoven, NL)
Sep 28
– Oct 03, 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)
Oct 05
– Oct 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)
Oct 12
– Oct 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)
Oct 19
– Oct 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)
Oct 26
– Oct 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)
Nov 02
– Nov 07, 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)
Nov 09
– Nov 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)
Nov 16
– Nov 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)
Nov 23
– Nov 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)
Nov 30
– Dec 05, 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)
Dec 07
– Dec 12, 2003
• Dagstuhl Seminar 03501
