Seminare und Dagstuhl-Perspektiven-Workshops 1991:



14. – 18. Januar 1991, Dagstuhl Seminar 9103

Automata Theory and Applications in Logic and Complexity


J. Berstel, J.E. Pin, W. Thomas

Top

18. – 22. Februar 1991, Dagstuhl Seminar 9108

Design and Testing


B. Becker, Ch. Meinel

Top

25. Februar – 01. März 1991, Dagstuhl Seminar 9109

Logical Theory for Program Construction


J. P. Finance, S. Jähnichen, J. Loeckx, M. Wirsing

Top

04. – 08. März 1991, Dagstuhl Seminar 9110

Parallel and Distributed Algorithms


E.W. Mayr, F. Meyer a.d. Heide

Top

11. – 15. März 1991, Dagstuhl Seminar 9111

Concurrent Systems: Semantics, Specification, and Synthesis


M. Broy, P. Deussen, E.-R. Olderog, W.P. de Roever

Top

18. – 22. März 1991, Dagstuhl Seminar 9112

Integration of Functional ang Logic Programming


K. Apt, K. Indermark, M. Rodriguez-Artalejo

Top

15. – 19. April 1991, Dagstuhl Seminar 9116

Algorithms and Complexity of Continuous Problems


E. Novak, J. Traub, H. Wozniakowski

Top

06. – 08. Mai 1991, Dagstuhl Seminar 9119

Terminological Logics


B. Nebel, C. Peltason, K. v. Luck

Top

20. – 24. Mai 1991, Dagstuhl Seminar 9121

Code Generation - Concepts, Tools, Techniques


R. Giegerich, S. Graham

Top

10. – 14. Juni 1991, Dagstuhl Seminar 9124

Randomized Algorithms


M. Karpinski, M. Luby, U. Vazirani

Top

17. – 21. Juni 1991, Dagstuhl Seminar 9125

Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases


J.Ch. Freytag, D. Maier, G. Vossen

Top

24. – 28. Juni 1991, Dagstuhl Seminar 9126

Semantics of Programming Languages and Model Theory


M. Droste, Y. Gurevich

Top

01. – 05. Juli 1991, Dagstuhl Seminar 9127

Geometric Modelling


G. Farin, H. Hagen, H. Noltemeier

Top

08. – 12. Juli 1991, Dagstuhl Seminar 9128

Operating Systems of the 1990s


A. Karshmer, J. Nehmer

Top

26. – 30. August 1991, Dagstuhl Seminar 9135

Scientific Visualization


H. Hagen, H. Müller, G.M. Nielson

Top

02. – 06. September 1991, Dagstuhl Seminar 9136

Theory and Practice of Physical Design of VLSI Systems


T. Lengauer, R. Möhring, B. Preas

Top

09. – 13. September 1991, Dagstuhl Seminar 9137

Directions of Future Database Research


F. Bancilhon, P. Lockemann, D. Tsichritzis

Top

07. – 11. Oktober 1991, Dagstuhl Seminar 9141

Computational Geometry


H. Alt, B. Chazelle, E. Welzl

Top

14. – 18. Oktober 1991, Dagstuhl Seminar 9142

Trends and Applications in Formal Language Theory


F.J. Brandenburg, J. Berstel, D. Wotschke

Top

21. – 25. Oktober 1991, Dagstuhl Seminar 9143

Theorem Proving and Logic Programming with Constraints


H. Comon, H. Ganzinger, C. Kirchner, H. Kirchner, J.-L. Lassez, G. Smolka

Top

04. – 08. November 1991, Dagstuhl Seminar 9145

Data Structures


H. Noltemeier, T. Ottmann, D. Wood

Top

02. – 06. Dezember 1991, Dagstuhl Seminar 9149

Efficient Interpolation Algorithms


A. Dress, M. Karpinski, M. Singer

Top

16. – 20. Dezember 1991, Dagstuhl Seminar 9151

Algorithms of Computeralgebra


F. Schwarz, J. Davenport, B. Buchberger

Top