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 bis 5. März 1999, Dagstuhl Seminar 99091

Deduction


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

Top

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

4. – 6. 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

6. – 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 bis 2. Juli 1999, Dagstuhl Seminar 99261

Foundations for Information Integration


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

Top

4. – 9. 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

9. – 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 bis 3. September 1999, Dagstuhl Seminar 99351

Multimedia Database Support for Digital Libraries


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

Top

5. – 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

3. – 8. 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 bis 5. November 1999, Dagstuhl Seminar 99441

Complexity of Boolean Functions


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

Top

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

5. – 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