Seminars and Dagstuhl Perspectives Workshops 1994:
January 17 – 21 , 1994, Dagstuhl Seminar 9403Relational Methods in Computer ScienceCh. Brink, G. Schmidt | Top |
February 7 – 11 , 1994, Dagstuhl Seminar 9406Algorithms in Automata TheoryA. Arnold, H. Seidl, B. Steffen | Top |
February 14 – 18 , 1994, Dagstuhl Seminar 9407Structure and ComplexityK. Ambos-Spies, S. Homer, U. Schöning | Top |
February 28 – March 4 , 1994, Dagstuhl Seminar 9409Data StructuresH. Noltemeier, T. Ottmann, D. Wood | Top |
March 7 – 11 , 1994, Dagstuhl Seminar 9410Logical Theory for Program ConstructionJ. P. Finance, S. Jähnichen, J. Loeckx, D. Smith, M. Wirsing | Top |
March 14 – 18 , 1994, Dagstuhl Seminar 9411Theoretical Foundations of Computer VisionR. Klette, W. Kropatsch, F. Solina | Top |
March 21 – 25 , 1994, Dagstuhl Seminar 9412Active DatabasesA. Buchmann, S. Chakravarthy, K. Dittrich | Top |
April 11 – 15 , 1994, Dagstuhl Seminar 9415Expander Graphs, Random Graphs and Their Application in Computer ScienceF. Meyer a.d. Heide, H.J. Prömel, E. Upfal | Top |
May 2 – 6 , 1994, Dagstuhl Seminar 9418Incremental Computation and Dynamic AlgorithmsJ. van Leeuwen, K. Mehlhorn, T. Reps | Top |
May 16 – 20 , 1994, Dagstuhl Seminar 9420Functional Programming in the Real WorldR. Giegerich, J. Hughes | Top |
May 23 – 27 , 1994, Dagstuhl Seminar 9421Scientific VisualizationH. Hagen, H. Müller, G.M. Nielson | Top |
June 27 – July 1 , 1994, Dagstuhl Seminar 9426Theory and Praxis of Machine LearningT. Dietterich, W. Maass, H.U. Simon, M. Warmuth | Top |
July 4 – 8 , 1994, Dagstuhl Seminar 9427Fundamentals and Perspectives of Multimedia SystemsJ. Encarnação, J. Foley, R.G. Herrtwich | Top |
July 25 – 29 , 1994, Dagstuhl Seminar 9430Principles of Natural Language GenerationW. Hoeppner, H. Horacek, J. Moore | Top |
August 1 – 5 , 1994, Dagstuhl Seminar 9431Expert- and Tutoring-Systems as Media for Embodying and Sharing KnowledgeA. Lesgold, F. Schmalhofer | Top |
August 22 – 26 , 1994, Dagstuhl Seminar 9434Fundamentals of Object-Oriented Languages, Systems, and MethodsH.-D. Ehrich, G. Engels, J. Paredaens, P. Wegner | Top |
September 5 – 9 , 1994, Dagstuhl Seminar 9436Unifying Theory and Practice in Distributed SystemsK. Birman, F. Cristian, F. Mattern, A. Schiper | Top |
September 19 – 23 , 1994, Dagstuhl Seminar 9438Interdisciplinary Foundations of Systems Design and EvaluationR. Keil-Slawik, I. Wagner | Top |
September 26 – 30 , 1994, Dagstuhl Seminar 9439Specification and Refinement of Reactive Systems - A Case StudyM. Broy, L. Lamport | Top |
October 4 – 7 , 1994, Dagstuhl Seminar 9440System Requirements: Analysis, Management, and ExploitationM. Jarke, P. Loucopoulos, J. Mylopoulos, A. Sutcliffe | Top |
October 10 – 14 , 1994, Dagstuhl Seminar 9441Algorithms and Number TheoryJ. Buchmann, H. Niederreiter, A.M. Odlyzko, H.G. Zimmer | Top |
October 17 – 21 , 1994, Dagstuhl Seminar 9442Algorithms and Complexity for Continuous ProblemsS. Heinrich, J. Traub, H. Wozniakowski | Top |
October 24 – 28 , 1994, Dagstuhl Seminar 9443Environment Modelling and Motion Planning for Autonomous RobotsH. Bunke, T. Kanade, H. Noltemeier | Top |
November 7 – 11 , 1994, Dagstuhl Seminar 9445Neural ComputingW. Maass, Ch. v.d. Malsburg, E. Sontag, I. Wegener | Top |
November 28 – December 2 , 1994, Dagstuhl Seminar 9448Synchronous LanguagesG. Berry, W.P. de Roever, A. Poigné, A. Pnueli | Top |