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