Seminar Calendar : Druckversion


Seminars and Dagstuhl Perspectives Workshops 2003:



January 5 – 10 , 2003, Dagstuhl Seminar 03021

Verification and Constructive Algebra


T. Coquand (Chalmers UT, Göteborg, S), H. Lombardi (Univ. de Franche Comté, F), M.-F. Roy (IRMAR, Rennes, F)

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


M. Clausen (Univ. Bonn, D), R. Klein (Univ. Bonn, D), I. Witten (Waikato Univ. Hamilton, 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


A. Goerdt (TU Chemnitz, D), P. Pudlak (Acad. of Sciences, Prague, CZ), U. Schöning (Univ. Ulm, D), O. Watanabe (Tokyo Inst. of Technology, J)

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

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


V. Hafner (Univ. Zürich, CH), F. Iida (Univ. Zürich, CH), Y. Kuniyoshi (Tokyo Univ., J), R. Pfeifer (Univ. Zürich, CH), L. Steels (Free Univ. and Sony Lab, Brussels, B)

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


P. Athanas (Virginia Tech, USA), J. Becker (Univ. Karlsruhe, D), G. Brebner (Xilinx Inc. - San José, US), H. ElGindy (University of New South Wales, Sydney, AUS)

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 26 – 29 , 2003, Dagstuhl Seminar 03351

Software Optimization


S. Graham (Berkeley, USA), R. Wilhelm (Univ. Saarbrücken, D)

Top

August 31 – September 5 , 2003, Dagstuhl Seminar 03361

Algorithmic Aspects of Large and Complex Networks


M. Adler (Amherst MA, US), F. Meyer auf der Heide (Univ. Paderborn, D), D. Wagner (Univ. Karlsruhe, D)

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

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

November 2 – 7 , 2003, Dagstuhl Seminar 03451

Applied Deductive Verification


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

Top

November 9 – 14 , 2003, Dagstuhl Seminar 03461

Software Intensive Embedded Systems - with Special Emphasis on Automotive


M. Broy (TU München, D), R. Ernst (TU Braunschweig, D), U. Goltz (TU Braunschweig, D), L. Lavagno (Cadence Labs, Berkeley, US)

Top

November 16 – 19 , 2003, Dagstuhl Seminar 03471

Design of Systems with Predictable Behaviour


L. Thiele (ETH Zürich, CH), R. Wilhelm (Univ. des Saarlandes, 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 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

Seminar Calendar : Last Update 30.08.2016, 21:00 o'clock