Seminars and Dagstuhl Perspectives Workshops 1995:



February 13 – 17 , 1995, Dagstuhl Seminar 9507

Computer Aided Design and Test


B. Becker, R. Bryant, O. Coudert, Ch. Meinel

Top

February 20 – 24 , 1995, Dagstuhl Seminar 9508

Software Architectures


D. Garlan, F. Paulisch, W. Tichy

Top

February 27 – March 3 , 1995, Dagstuhl Seminar 9509

High Integrity Programmable Electronic Systems


W.J. Cullyer, W.A. Halang, B. Krämer

Top

March 6 – 10 , 1995, Dagstuhl Seminar 9510

Cellular Automata


J. Gruska, T. Toffoli, H. Umeo, R. Vollmar

Top

March 13 – 17 , 1995, Dagstuhl Seminar 9511

Computational Geometry


H. Alt, B. Chazelle, R. Seidel

Top

March 20 – 24 , 1995, Dagstuhl Seminar 9512

Deduction


W. Bibel, K. Furukawa, M. Stickel

Top

April 3 – 7 , 1995, Dagstuhl Seminar 9514

Object-Orientation with Parallelism and Persistence


B. Freitag, C.B. Jones, Ch. Lengauer, H.-J. Schek

Top

May 1 – 5 , 1995, Dagstuhl Seminar 9518

Social Science Microsimulation: A Challenge for Computer Science


J. Doran, N. Gilbert, U. Mueller, K. Troitzsch

Top

May 8 – 12 , 1995, Dagstuhl Seminar 9519

Shareable and Reusable Problem Solving Methods


R. Studer, M. Musen

Top

May 15 – 19 , 1995, Dagstuhl Seminar 9520

Scheduling in Computer & Manufacturing Systems


J. Blazewicz, K. Ecker, L. Welch

Top

May 22 – 26 , 1995, Dagstuhl Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets


H. Beilner, G. Ciardo, C. Lindemann, K. Trivedi

Top

May 29 – June 2 , 1995, Dagstuhl Seminar 9522

Computing with Faulty Inputs


M. Aigner, J. Spencer, E. Triesch

Top

June 5 – 9 , 1995, Dagstuhl Seminar 9523

Methods for Semantics and Specification


J.-R. Abrial, E. Börger, H. Langmaack

Top

June 19 – 23 , 1995, Dagstuhl Seminar 9525

Architecture and Protocols for High Performance Networks


W. Effelsberg, D. Ferrari, O. Spaniol, A. Danthine

Top

July 3 – 7 , 1995, Dagstuhl Seminar 9527

`Average-Case'-Analysis of Algorithms


Ph. Flajolet, R. Kemp, H. Prodinger, R. Sedgewick

Top

July 10 – 14 , 1995, Dagstuhl Seminar 9528

Molecular Bioinformatics


D. Gustfield, T. Lengauer, C. Sander

Top

July 17 – 21 , 1995, Dagstuhl Seminar 9529

Role of Logics in Information Systems


J. Chomicki, G. Saake, C. Sernadas

Top

July 24 – 28 , 1995, Dagstuhl Seminar 9530

Automation of Proof by Mathematical Induction


R.S. Boyer, A. Bundy, D. Kapur, Ch. Walther

Top

August 28 – September 1 , 1995, Dagstuhl Seminar 9535

Abstract Interpretation


P. Cousot, R. Cousot, A. Mycroft

Top

September 4 – 8 , 1995, Dagstuhl Seminar 9536

CAD Tools for Products


P. Brunet, D. Roller, J. Rossignac

Top

September 11 – 15 , 1995, Dagstuhl Seminar 9537

Parallel and Distributed Algorithms


C. Dwork, E.W. Mayr, F. Meyer a.d. Heide

Top

September 18 – 22 , 1995, Dagstuhl Seminar 9538

New Trends In the Integration of Paradigms


C. Hankin, H. R. Nielson

Top

September 25 – 29 , 1995, Dagstuhl Seminar 9539

Applied Stochastic Modelling in Telecommunication and Manufacturing Systems


U. Herzog, G. Latouche, P. Tran-Gia, V. Ramaswami

Top

October 2 – 6 , 1995, Dagstuhl Seminar 9540

Modelling and Simulation of Complex Environmental Problems


L. Hordijk, G. Korn, A. Sydow

Top

October 16 – 20 , 1995, Dagstuhl Seminar 9542

Document Processing


J. André, A. Brüggemann-Klein, R. Furuta, V. Quint

Top

October 23 – 27 , 1995, Dagstuhl Seminar 9543

Modelling and Simulation of Gene and Cell Regulation


J. Collado-Vides, R. Hofestädt, M. Löffler, M. Mavrovouniotis

Top

November 6 – 10 , 1995, Dagstuhl Seminar 9545

Real Computation and Complexity


F. Cucker, T. Lickteig, M. Shub

Top

November 13 – 17 , 1995, Dagstuhl Seminar 9546

Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations


K. Echtle, W. Görke, J.-C. Laprie, W. Schneeweiss

Top