Seminars and Dagstuhl Perspectives Workshops 1994:



January 17 – 21 , 1994, Dagstuhl Seminar 9403

Relational Methods in Computer Science


Ch. Brink, G. Schmidt

Top

February 7 – 11 , 1994, Dagstuhl Seminar 9406

Algorithms in Automata Theory


A. Arnold, H. Seidl, B. Steffen

Top

February 14 – 18 , 1994, Dagstuhl Seminar 9407

Structure and Complexity


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

Top

February 28 – March 4 , 1994, Dagstuhl Seminar 9409

Data Structures


H. Noltemeier, T. Ottmann, D. Wood

Top

March 7 – 11 , 1994, Dagstuhl Seminar 9410

Logical Theory for Program Construction


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

Top

March 14 – 18 , 1994, Dagstuhl Seminar 9411

Theoretical Foundations of Computer Vision


R. Klette, W. Kropatsch, F. Solina

Top

March 21 – 25 , 1994, Dagstuhl Seminar 9412

Active Databases


A. Buchmann, S. Chakravarthy, K. Dittrich

Top

April 11 – 15 , 1994, Dagstuhl Seminar 9415

Expander Graphs, Random Graphs and Their Application in Computer Science


F. Meyer a.d. Heide, H.J. Prömel, E. Upfal

Top

May 2 – 6 , 1994, Dagstuhl Seminar 9418

Incremental Computation and Dynamic Algorithms


J. van Leeuwen, K. Mehlhorn, T. Reps

Top

May 16 – 20 , 1994, Dagstuhl Seminar 9420

Functional Programming in the Real World


R. Giegerich, J. Hughes

Top

May 23 – 27 , 1994, Dagstuhl Seminar 9421

Scientific Visualization


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

Top

June 27 – July 1 , 1994, Dagstuhl Seminar 9426

Theory and Praxis of Machine Learning


T. Dietterich, W. Maass, H.U. Simon, M. Warmuth

Top

July 4 – 8 , 1994, Dagstuhl Seminar 9427

Fundamentals and Perspectives of Multimedia Systems


J. Encarnação, J. Foley, R.G. Herrtwich

Top

July 25 – 29 , 1994, Dagstuhl Seminar 9430

Principles of Natural Language Generation


W. Hoeppner, H. Horacek, J. Moore

Top

August 1 – 5 , 1994, Dagstuhl Seminar 9431

Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge


A. Lesgold, F. Schmalhofer

Top

August 22 – 26 , 1994, Dagstuhl Seminar 9434

Fundamentals of Object-Oriented Languages, Systems, and Methods


H.-D. Ehrich, G. Engels, J. Paredaens, P. Wegner

Top

September 5 – 9 , 1994, Dagstuhl Seminar 9436

Unifying Theory and Practice in Distributed Systems


K. Birman, F. Cristian, F. Mattern, A. Schiper

Top

September 19 – 23 , 1994, Dagstuhl Seminar 9438

Interdisciplinary Foundations of Systems Design and Evaluation


R. Keil-Slawik, I. Wagner

Top

September 26 – 30 , 1994, Dagstuhl Seminar 9439

Specification and Refinement of Reactive Systems - A Case Study


M. Broy, L. Lamport

Top

October 4 – 7 , 1994, Dagstuhl Seminar 9440

System Requirements: Analysis, Management, and Exploitation


M. Jarke, P. Loucopoulos, J. Mylopoulos, A. Sutcliffe

Top

October 10 – 14 , 1994, Dagstuhl Seminar 9441

Algorithms and Number Theory


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

Top

October 17 – 21 , 1994, Dagstuhl Seminar 9442

Algorithms and Complexity for Continuous Problems


S. Heinrich, J. Traub, H. Wozniakowski

Top

October 24 – 28 , 1994, Dagstuhl Seminar 9443

Environment Modelling and Motion Planning for Autonomous Robots


H. Bunke, T. Kanade, H. Noltemeier

Top

November 7 – 11 , 1994, Dagstuhl Seminar 9445

Neural Computing


W. Maass, Ch. v.d. Malsburg, E. Sontag, I. Wegener

Top

November 28 – December 2 , 1994, Dagstuhl Seminar 9448

Synchronous Languages


G. Berry, W.P. de Roever, A. Poigné, A. Pnueli

Top