Seminare 1999:



24. – 29. Januar 1999, Dagstuhl Seminar 99041

Computer Aided Design and Test Decision Diagrams - Concepts and Applications


B. Becker (Freiburg), C. Meinel (Trier), S.-I. Minato (NTT Optical Network, Japan), F. Somenzi (Univ. of Colorado)

Top

14. – 19. Februar 1999, Dagstuhl Seminar 99071

Software Engineering Research and Education: Seeking a new Agenda


E. Denert (sd&m, München), D. Hoffman (Victoria), J. Ludewig (Stuttgart), D. Parnas (McMaster)

Die Dagstuhl-Stiftung erhielt eine Spende von: sd&m, München

Top

21. – 26. Februar 1999, Dagstuhl Seminar 99081

Component-based Programming under Different Paradigms


P. Wadler (Bell Labs), K. Weihe (Konstanz)

Top

28. Februar – 05. März 1999, Dagstuhl Seminar 99091

Deduction


U. Furbach (Koblenz), H. Ganzinger (MPI-Saarbrücken), D. Kapur (Albany)

Top

07. – 12. März 1999, Dagstuhl Seminar 99102

Computational Geometry


M. Goodrich (Baltimore), R. Klein (Hagen), R. Seidel (Saarbrücken)

Top

14. – 19. März 1999, Dagstuhl Seminar 99111

Systems Integration


P. Ciancarini (Bologna), S. Conrad (Magdeburg), W. Hasselbring (Tilburg)

Top

21. – 26. März 1999, Dagstuhl Seminar 99121

Unsupervised Learning


J.M. Buhmann (Bonn), W. Maass (Graz), H. Ritter (Bielefeld), N. Tishby (Jerusalem)

Top

11. – 16. April 1999, Dagstuhl Seminar 99151

Program Analysis


H. Riis Nielson (Aarhus), M. Sagiv (Tel Aviv)

Top

18. – 23. April 1999, Dagstuhl Seminar 99161

Instruction-Level Parallelism and Parallelizing Compilation


D. Arvind (Edinburgh), K. Ebcioglu (IBM Yorktown Heights), Ch. Lengauer (Passau), K. Pingali (Ithaca), R. Schreiber (HP, Palo Alto)

Top

25. – 30. April 1999, Dagstuhl Seminar 99171

High Level Parallel Programming: Applicability, Analysis and Performance


M. Cole (Edinburgh), S. Gorlatch (Passau), J. Prins (UNC Chapel Hill), D. Skillicorn (QU Kingston, Canada)

Top

04. – 06. Mai 1999, Dagstuhl Seminar 99061

Mobile Multimedia Communication - Systems and Networks


A. Campbell (New York), S. Pink (Lulea), M. Zitterbart (Braunschweig)

Top

16. – 21. Mai 1999, Dagstuhl Seminar 99201

Geometric Modelling


H. Bieri (Bern), G. Brunnett (Kaiserslautern), G. Farin (Arizona State Univ.)

Top

06. – 11. Juni 1999, Dagstuhl Seminar 99231

Graph Decompositions and Algorithmic Applications


A. Brandstädt (Rostock), S. Olariu (Norfolk), J. P. Spinrad (Nashville)

Top

13. – 18. Juni 1999, Dagstuhl Seminar 99241

Requirements Capture, Documentation and Validation


E. Börger (Pisa), B. Hörger (Daimler-Benz, Ulm), D. Parnas (McMaster), D. Rombach (Kaiserslautern)

Top

20. – 25. Juni 1999, Dagstuhl Seminar 99251

Competitive Algorithms


A. Fiat (Tel Aviv), A. Karlin (Seattle), G. Woeginger (TU Graz)

Top

27. Juni – 02. Juli 1999, Dagstuhl Seminar 99261

Foundations for Information Integration


S. Abiteboul (INRIA Rocquencourt), D. Florescu (INRIA Rocquencourt), A. Levy (Seattle), G. Moerkotte (Mannheim)

Top

04. – 09. Juli 1999, Dagstuhl Seminar 99271

Agent Oriented Approaches in Distributed Modeling and Simulation: Challenges and Methodologies


P. Fishwick (Univ. of Florida), A. Uhrmacher (Ulm), B. Zeigler (Univ. of Arizona)

Top

18. – 23. Juli 1999, Dagstuhl Seminar 99291

Parallel and Distributed Algorithms


B. Maggs (CMU, Pittsburgh), F. Meyer auf der Heide (Paderborn), E. Mayr (TU München)

Top

09. – 12. August 1999, Dagstuhl Seminar 99321

Astromomie und Informatik


W. Oberschelp (Aachen), W. Seggewiss (Bonn / Hoher List), R. Wilhelm (Saarbrücken)

Top

22. – 27. August 1999, Dagstuhl Seminar 99341

Linear Logic and Applications


V. de Paiva (Birmingham), J. van Genabith (Dublin), E. Ritter (Birmingham)

Top

29. August – 03. September 1999, Dagstuhl Seminar 99351

Multimedia Database Support for Digital Libraries


E. Bertino (Milano), A. Heuer (Rostock), T. Ozsu (Alberta), G. Saake (Magdeburg)

Top

05. – 10. September 1999, Dagstuhl Seminar 99361

Social Thinking - Software Practice. Approaches Relating Software Development, Work, and Organisational Change


Ch. Floyd (Hamburg), N. A. Jayaratna (Perth), F. Kensing (Roskilde)

Top

12. – 17. September 1999, Dagstuhl Seminar 99371

Declarative Data Access on the Web


N. Spyratos (Paris), K. Vidyasankar (Newfoundland), G. Vossen (Münster)

Top

19. – 24. September 1999, Dagstuhl Seminar 99381

Computational Cartography


M. Molenaar (Enschede), M. van Kreveld (Utrecht), F. Wagner (FU Berlin), R. Weibel (Zürich)

Top

03. – 08. Oktober 1999, Dagstuhl Seminar 99401

Finite Model Theory, Databases, and Computer-Aided Verification


G. Gottlob (Vienna), E. Grädel (Aachen), M. Vardi (Houston), V. Vianu (San Diego)

Top

10. – 15. Oktober 1999, Dagstuhl Seminar 99411

Temporal Logics for Distributed Systems - Paradigms and Algorithms


E. Clarke (Pittsburgh), U. Goltz (Hildesheim), P. Niebert (VERIMAG Grenoble), W. Penczek (Warszawa)

Top

17. – 22. Oktober 1999, Dagstuhl Seminar 99421

Efficient Language Processing with High-level Grammar Formalisms


H. Uszkoreit (Saarbrücken), J.-I. Tsujii (Tokyo)

Top

24. – 29. Oktober 1999, Dagstuhl Seminar 99431

Scheduling in Computer and Manufacturing Systems


J. Blazewicz (Poznan), E. Coffman (Murray Hill), K. Ecker (Clausthal), G. Finke (Grenoble)

Top

31. Oktober – 05. November 1999, Dagstuhl Seminar 99441

Complexity of Boolean Functions


D. M. Barrington (Amherst), R. Reischuk (Lübeck), I. Wegener (Dortmund)

Top

07. – 12. November 1999, Dagstuhl Seminar 99451

Rigorous Analysis and Design for Software Intensive Systems


S. Jähnichen (Berlin), M. Lemoine (Toulouse), T. Maibaum (London), M. Wirsing (Univ. München)

Top

14. – 19. November 1999, Dagstuhl Seminar 99461

Computability and Complexity in Analysis


Ker-I Ko (Stony Brook), A. Nerode (Ithaka), K. Weihrauch (Hagen)

Top

21. – 26. November 1999, Dagstuhl Seminar 99471

Symbolic-algebraic Methods and Verification Methods - Theory and Applications


G. Alefeld (Karlsruhe), J. Rohn (Prague), S. Rump (Hamburg-Harburg), T. Yamamoto (Matsuyama)

Top

05. – 10. Dezember 1999, Dagstuhl Seminar 99491

Content-Based Image and Video Retrieval


H. Burkhardt (Freiburg), H.-P. Kriegel (Univ. München), R. Veltkamp (Utrecht)

Top