Alle Veranstaltungen 2003:



05. – 10. Januar 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

13. – 16. Januar 2003, Event 03032

DAAD-Projekt "International Quality Network" (IQN)


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

Top

13. – 17. Januar 2003, Event 03033

Secure Operating Systems


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

Top

14. – 16. Januar 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

19. – 24. Januar 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

27. – 31. Januar 2003, Event 03052

Verbundprojektes DaMiT


Gerhard Degel (Universität des Saarlandes, DE)

Top

28. – 31. Januar 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

02. – 07. Februar 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

09. – 14. Februar 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

16. – 21. Februar 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

19. – 21. Februar 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

23. – 28. Februar 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: IBM Research

Top

02. – 07. März 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

09. – 14. März 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

10. – 13. März 2003, Dagstuhl Seminar 03112

Multimedia Retrieval


M. Clausen (Univ. Bonn, D), R. Klein (Univ. Bonn, D), I. Witten (Waikato Univ. Hamilton, NZ)

Die Dagstuhl-Stiftung erhielt eine Spende von: Deutsche Forschungsgemeinschaft, Bonn

Top

16. – 21. März 2003, Dagstuhl Seminar 03121

Computational Geometry


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

Top

23. – 28. März 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

30. März – 04. April 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

02. – 04. April 2003, Event 03142

CIAO-2003


Dieter Hutter (DFKI – Saarbrücken, DE)

Top

06. – 08. April 2003, Event 03153

Klausurtagung Institut für Telematik der Univ. Karlsruhe


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

Top

07. – 10. April 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

09. – 11. April 2003, Event 03152

DIA-Seminar: Usability-Engineering: Entwicklung gebrauchstauglicher Software


W. Dzida (FhG AIS, St. Augustin), R. Freitag (FhG AIS, St. Augustin), W. Redtenbacher (Redtenbacher Software), Th. Geis (TüVSecure IT GmbH, Köln)

Top

14. – 16. April 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

14. – 15. April 2003, Event 03164

Blockseminar LST Steffen


Organisator: Bernhard Steffen

Top

16. – 17. April 2003, Event 03163

DFG-Treffen für Informatikerinnen


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

Top

21. – 25. April 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

22. – 23. April 2003, Event 03172

Kick-off Meeting DFG Projekt "Softwareevolution"


S. Diehl (Univ. Saarbrücken), A. Zeller (Univ. Saarbrücken)

Top

27. April – 02. Mai 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

04. – 09. Mai 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

05. – 09. Mai 2003, Event 03192

CGAL Design and Implementation Meeting


L. Kettner (MPI Saarbrücken)

Top

11. – 16. Mai 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

16. – 17. Mai 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

18. – 23. Mai 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

21. – 23. Mai 2003, Event 03212

DIA-Seminar: Extreme Programming: Agile Entwicklung von Software


M. Lippert (Hamburg), K.-H. Sylla (FhG AIS, St. Augustin), H. Wolf (Hamburg)

Top

25. – 30. Mai 2003, Event 03222

Constructive Mathematics: A meeting honoring Carl de Boor


A. Ron (Univ. of Wisconsin), H.-P. Seidel (MPI Saarbrücken)

Top

01. – 06. Juni 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

09. – 13. Juni 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

16. – 18. Juni 2003, Event 03252

Gemeinsamer Workshop der Informatik Graduiertenkollegs


O. Spaniol (Aachen)

Top

22. – 27. Juni 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

23. – 24. Juni 2003, Event 03262

SFB 378 "Ressourcenadaptive kognitive Prozesse"


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

Top

25. – 27. Juni 2003, Event 03263

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


Hubert Zimmer (Universität des Saarlandes, DE)

Top

29. Juni – 04. Juli 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

06. – 11. Juli 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

10. – 12. Juli 2003, Event 03282

STAR Lab Meeting - V.U. Brussels


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

Top

13. – 18. Juli 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

20. – 25. Juli 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: PACT XPP Technologies, Munich / Quicksilver Inc., San José / Xilinx Inc., San Jose

Top

27. Juli – 01. August 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

03. – 07. August 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

03. – 06. August 2003, Event 03322

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


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

Top

03. – 07. August 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

26. – 29. August 2003, Dagstuhl Seminar 03351

Software Optimization


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

Top

31. August – 05. September 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

31. August – 05. September 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

07. – 12. September 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

07. – 10. September 2003, Event 03372

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


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

Top

14. – 19. September 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

14. – 19. September 2003, Event 03382

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


M. W. Crocker (Univ. des Saarlandes)

Top

21. – 26. September 2003, Dagstuhl Seminar 03391

Graph Colorings


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

Top

28. September – 03. Oktober 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

29. September – 01. Oktober 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

05. – 10. Oktober 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

08. Oktober – 10. November 2003, Event 03412

DIA-Seminar: Objektorientierte Systementwicklung


R. Budde, K.-H. Sylla (FhG AIS, St. Augustin), H. Züllighoven (Hamburg)

Top

12. – 17. Oktober 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

13. – 17. Oktober 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

19. – 24. Oktober 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

23. – 24. Oktober 2003, Event 03432

Symposium on Logic versus Approximation


K.-D. Althoff (IESE Kaiserslautern), R. Bergmann (Univ. Hildesheim), W. Lenski (Univ. Kaiserslautern), R. Moehring (FU Berlin), F.-J. Radermacher (FAW Ulm, Univ. Ulm)

Top

26. – 31. Oktober 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

26. – 27. Oktober 2003, Event 03443

Projektgruppe EUREKA


Bernhard Steffen (TU Dortmund, DE)

Top

02. – 07. November 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

02. – 07. November 2003, Event 03453

OTEC Retreat Meeting


Rob Koper (Open University – Heerlen, NL)

Top

05. – 07. November 2003, Event 03452

DIA-Seminar: Objektorientierte Entwurfstechniken und Architekturen


R. Budde, K.-H. Sylla (FhG AIS, St. Augustin), H. Züllighoven (Hamburg)

Top

09. – 14. November 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

09. – 12. November 2003, GI-Dagstuhl Seminar 03463

Performance of Mobile Systems


Boudewijn Haverkort (University of Twente, NL)

Top

13. – 14. November 2003, Event 03462

Grenzflächen der Informatik


Britta Schinzel (Universität Freiburg, DE)

Top

16. – 19. November 2003, Dagstuhl Perspectives Workshop 03471

Design of Systems with Predictable Behaviour


L. Thiele (ETH Zürich, CH), R. Wilhelm (Univ. des Saarlandes, DE)

Top

17. – 19. November 2003, Event 03472

BMBF-Projekt "Internetökonomie"


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

Top

20. – 21. November 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

23. – 27. November 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)

Die Dagstuhl-Stiftung erhielt eine Spende von: Ministerium für Bildung, Kultur und Wissenschaft, Saarland

Top

30. November – 05. Dezember 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

03. – 05. Dezember 2003, Event 03492

DIA-Seminar: Extreme Programming: Agile Entwicklung von Software


M. Lippert (Hamburg), K.-H. Sylla (FhG AIS, St. Augustin), H. Wolf (Hamburg)

Top

07. – 12. Dezember 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

10. – 12. Dezember 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

15. – 17. Dezember 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