Seminars and Dagstuhl Perspectives Workshops 1992:



January 6 – 10 , 1992, Dagstuhl Seminar 9202

Automata Theory: Infinite Computations


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

Top

January 13 – 17 , 1992, Dagstuhl Seminar 9203

Software Construction - Foundation and Application


H. Langmaack, E. Neuhold, M. Paul

Top

February 3 – 7 , 1992, Dagstuhl Seminar 9206

Structure and Complexity Theory


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

Top

February 10 – 14 , 1992, Dagstuhl Seminar 9207

Limits of Modelling with Programmed Machines


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

Top

February 17 – 21 , 1992, Dagstuhl Seminar 9208

Future Directions in SW Engineering


N. Habermann, W.F. Tichy

Top

March 2 – 6 , 1992, Dagstuhl Seminar 9210

Parallel and Distributed Algorithms


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

Top

March 9 – 13 , 1992, Dagstuhl Seminar 9211

Programming Environments


P. Klint, T. Reps, G. Snelting

Top

March 16 – 19 , 1992, Dagstuhl Seminar 9212

Foundations of Information Systems Specification and Design


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

Top

March 23 – 27 , 1992, Dagstuhl Seminar 9213

Functional Languages: Compiler Technology and Parallelism


W. Damm, Ch. Hankin, J. Hughes

Top

March 30 – April 3 , 1992, Dagstuhl Seminar 9214

System Security


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

Top

April 6 – 8 , 1992, Dagstuhl Seminar 9215

Distributed Cooperation in Integrated Information Systems


C.A. Ellis, M. Jarke

Top

June 22 – 26 , 1992, Dagstuhl Seminar 9226

Algorithms and Number Theory


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

Top

July 13 – 17 , 1992, Dagstuhl Seminar 9229

Computer Science Logic


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

Top

July 20 – 24 , 1992, Dagstuhl Seminar 9230

Algebraic Complexity and Parallelism


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

Top

July 29 – 31 , 1992, Dagstuhl Seminar 9231

6th International Workshop on Unification


F. Baader, J. Siekmann, W. Snyder

Top

August 3 – 7 , 1992, Dagstuhl Seminar 9232

Symbolic, algebraic and validated numerical Computation


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

Top

August 10 – 14 , 1992, Dagstuhl Seminar 9233

3rd International Workshop on User Modeling


W. Wahlster, R. Cohen

Top

August 24 – 28 , 1992, Dagstuhl Seminar 9235

Complexity and Realization of Boolean Functions


R. Reischuk, D. Uhlig

Top

September 7 – 11 , 1992, Dagstuhl Seminar 9237

Molecular Bioinformatics


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

Top

September 14 – 18 , 1992, Dagstuhl Seminar 9238

Experimental Software Engineering Issues


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

Top

September 21 – 25 , 1992, Dagstuhl Seminar 9239

Computer Science and Philosophy


Y. Dittrich, H. Hastedt, P. Schefe

Top

October 5 – 9 , 1992, Dagstuhl Seminar 9241

Analogical and Inductive Inference 1992


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

Top

October 12 – 16 , 1992, Dagstuhl Seminar 9242

Algorithms and Complexity for Continuous Problems


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

Top

November 2 – 6 , 1992, Dagstuhl Seminar 9245

Multimedia - System Architectures and Applications


J. Encarnação, J. Foley

Top

November 30 – December 4 , 1992, Dagstuhl Seminar 9249

Self-Timed Design


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

Top