Seminare und Dagstuhl-Perspektiven-Workshops 1992:



06. – 10. Januar 1992, Dagstuhl Seminar 9202

Automata Theory: Infinite Computations


K. Compton, J.E. Pin, W. Thomas

Top

13. – 17. Januar 1992, Dagstuhl Seminar 9203

Software Construction - Foundation and Application


H. Langmaack, E. Neuhold, M. Paul

Top

03. – 07. Februar 1992, Dagstuhl Seminar 9206

Structure and Complexity Theory


K. Ambos-Spies, S. Homer, U. Schöning

Top

10. – 14. Februar 1992, Dagstuhl Seminar 9207

Limits of Modelling with Programmed Machines


B. Booß, W. Coy, J.-M. Pflüger

Top

17. – 21. Februar 1992, Dagstuhl Seminar 9208

Future Directions in SW Engineering


N. Habermann, W.F. Tichy

Top

02. – 06. März 1992, Dagstuhl Seminar 9210

Parallel and Distributed Algorithms


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

Top

09. – 13. März 1992, Dagstuhl Seminar 9211

Programming Environments


P. Klint, T. Reps, G. Snelting

Top

16. – 19. März 1992, Dagstuhl Seminar 9212

Foundations of Information Systems Specification and Design


H.-D. Ehrich, J.A. Goguen, A. Sernadas

Top

23. – 27. März 1992, Dagstuhl Seminar 9213

Functional Languages: Compiler Technology and Parallelism


W. Damm, Ch. Hankin, J. Hughes

Top

30. März – 03. April 1992, Dagstuhl Seminar 9214

System Security


T. Beth, W. Diffie, G.J. Simmons

Top

06. – 08. April 1992, Dagstuhl Seminar 9215

Distributed Cooperation in Integrated Information Systems


C.A. Ellis, M. Jarke

Top

22. – 26. Juni 1992, Dagstuhl Seminar 9226

Algorithms and Number Theory


J. Buchmann, H. Niederreiter, A.M. Odlyzko, H.G. Zimmer

Top

13. – 17. Juli 1992, Dagstuhl Seminar 9229

Computer Science Logic


E. Börger, H. Kleine-Büning, Y. Gurevich, M.M. Richter

Top

20. – 24. Juli 1992, Dagstuhl Seminar 9230

Algebraic Complexity and Parallelism


J. von zur Gathen, M. Karpinski, D. Kozen

Top

29. – 31. Juli 1992, Dagstuhl Seminar 9231

6th International Workshop on Unification


F. Baader, J. Siekmann, W. Snyder

Top

03. – 07. August 1992, Dagstuhl Seminar 9232

Symbolic, algebraic and validated numerical Computation


J.H. Davenport, F. Krückeberg, R.E. Moore, S. Rump

Top

10. – 14. August 1992, Dagstuhl Seminar 9233

3rd International Workshop on User Modeling


W. Wahlster, R. Cohen

Top

24. – 28. August 1992, Dagstuhl Seminar 9235

Complexity and Realization of Boolean Functions


R. Reischuk, D. Uhlig

Top

07. – 11. September 1992, Dagstuhl Seminar 9237

Molecular Bioinformatics


T. Lengauer, D. Schomburg, M.S. Waterman

Top

14. – 18. September 1992, Dagstuhl Seminar 9238

Experimental Software Engineering Issues


V.R. Basili, H.D. Rombach, R.W. Selby

Top

21. – 25. September 1992, Dagstuhl Seminar 9239

Computer Science and Philosophy


Y. Dittrich, H. Hastedt, P. Schefe

Top

05. – 09. Oktober 1992, Dagstuhl Seminar 9241

Analogical and Inductive Inference 1992


R.P. Daley, U. Furbach, K.P. Jantke

Top

12. – 16. Oktober 1992, Dagstuhl Seminar 9242

Algorithms and Complexity for Continuous Problems


E. Novak, St. Smale, J.F. Traub

Top

02. – 06. November 1992, Dagstuhl Seminar 9245

Multimedia - System Architectures and Applications


J. Encarnação, J. Foley

Top

30. November – 04. Dezember 1992, Dagstuhl Seminar 9249

Self-Timed Design


F.J. Rammig, J. Staunstrup, G. Zimmermann

Top