Seminars and Dagstuhl Perspectives Workshops 1993:



January 4 – 8 , 1993, Dagstuhl Seminar 9301

Graph-Transformations in Computer Science


B. Courcelle, H. Ehrig, G. Rozenberg, H.J. Schneider

Top

January 11 – 15 , 1993, Dagstuhl Seminar 9302

Automata Theory: Distributed Models


A. Arnold, L. Priese, R. Vollmar

Top

February 1 – 5 , 1993, Dagstuhl Seminar 9305

Versioning in Database Management Systems


W.S. Cellary, K. Vidyasankar, G. Vossen

Top

February 15 – 19 , 1993, Dagstuhl Seminar 9307

Computer Aided Design and Test


B. Becker, R. Bryant, Ch. Meinel

Top

February 23 – 26 , 1993, Dagstuhl Seminar 9308

Semantic Formalisms in Natural Language Processing


M. Pinkal, R. Scha, L. Schubert

Top

March 8 – 12 , 1993, Dagstuhl Seminar 9310

Deduction


W. Bibel, K. Furukawa, M. Stickel

Top

March 22 – 26 , 1993, Dagstuhl Seminar 9312

Computational Geometry


H. Alt, B. Chazelle, E. Welzl

Top

March 29 – April 2 , 1993, Dagstuhl Seminar 9313

Universals in the Lexicon: At the Intersection of Lexical Semantic Theories


H. Kamp, J. Pustejovsky

Top

April 19 – 22 , 1993, Dagstuhl Seminar 9316

Graphics & Robotics


W. Straßer, F. Wahl

Top

April 26 – 30 , 1993, Dagstuhl Seminar 9317

Formal Aspects of Object Base Dynamics


C. Beeri, A. Heuer, G. Saake, S.D. Urban

Top

May 3 – 7 , 1993, Dagstuhl Seminar 9318

Descriptional Complexity: A Multidisciplinary Perspective


R. Book, E.P.D. Pednault, D. Wotschke

Top

May 24 – 28 , 1993, Dagstuhl Seminar 9321

Specification and Semantics


H.-D. Ehrig, F. von Henke, J. Meseguer, M. Wirsing

Top

June 7 – 11 , 1993, Dagstuhl Seminar 9323

Semantics of Programming Languages and Algebra


M. Droste, Y. Gurevich

Top

June 21 – 25 , 1993, Dagstuhl Seminar 9325

Parallelization Techniques for Uniform Algorithms


Ch. Lengauer, P. Quinton, Y. Robert, L. Thiele

Top

June 28 – July 2 , 1993, Dagstuhl Seminar 9326

Geometric Modelling


G. Farin, H. Hagen, H. Noltemeier

Top

July 12 – 16 , 1993, Dagstuhl Seminar 9328

"Average-Case"-Analysis of Algorithms


Ph. Flajolet, R. Kemp, H. Prodinger

Top

July 19 – 23 , 1993, Dagstuhl Seminar 9329

Interactions between Category Theory and Computer Science


J.W. Gray, A.M. Pitts, K. Sieber

Top

August 23 – 27 , 1993, Dagstuhl Seminar 9334

Automated Practical Reasoning and Argumentation


D. Gabbay, H.-J. Ohlbach

Top

August 30 – September 3 , 1993, Dagstuhl Seminar 9335

Architecture and Protocols for High-Speed Networks


A. Danthine, W. Effelsberg, O. Spaniol

Top

September 13 – 17 , 1993, Dagstuhl Seminar 9337

Parallel and Distributed Algorithms


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

Top

September 20 – 24 , 1993, Dagstuhl Seminar 9338

Non-Classical Logics in Computer Science


V. Marek, A. Nerode, P.H. Schmitt

Top

September 27 – October 1 , 1993, Dagstuhl Seminar 9339

Cryptography


A.M. Olyzko, C.P. Schnorr, A. Shamir

Top

October 11 – 15 , 1993, Dagstuhl Seminar 9341

Computational Kinematics


J. Angeles, G. Hommel, P. Kovács

Top

October 18 – 22 , 1993, Dagstuhl Seminar 9342

Combinatorial Methods for Integrated Circuit Design


T. Lengauer, M. Sarrafzadeh, D. Wagner

Top

October 25 – 29 , 1993, Dagstuhl Seminar 9343

Deductive Approaches to Plan Generation and Plan Recognition


S. Biundo, R. Waldinger

Top

December 6 – 10 , 1993, Dagstuhl Seminar 9349

Counting Issues: Theory and Application


P. Gritzmann, D. Johnson, V. Klee, Ch. Meinel

Top

December 13 – 17 , 1993, Dagstuhl Seminar 9350

Summarizing Text for Intelligent Communication


B. Endres-Niggemeyer, J. Hobbs, K. Sparck Jones

Top