13. – 17. Februar 1995, Dagstuhl Seminar 9507

Computer Aided Design and Test


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

Top

20. – 24. Februar 1995, Dagstuhl Seminar 9508

Software Architectures


D. Garlan, F. Paulisch, W. Tichy

Top

27. Februar – 03. März 1995, Dagstuhl Seminar 9509

High Integrity Programmable Electronic Systems


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

Top

06. – 10. März 1995, Dagstuhl Seminar 9510

Cellular Automata


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

Top

13. – 17. März 1995, Dagstuhl Seminar 9511

Computational Geometry


H. Alt, B. Chazelle, R. Seidel

Top

20. – 24. März 1995, Dagstuhl Seminar 9512

Deduction


W. Bibel, K. Furukawa, M. Stickel

Top

03. – 07. April 1995, Dagstuhl Seminar 9514

Object-Orientation with Parallelism and Persistence


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

Top

01. – 05. Mai 1995, Dagstuhl Seminar 9518

Social Science Microsimulation: A Challenge for Computer Science


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

Top

08. – 12. Mai 1995, Dagstuhl Seminar 9519

Shareable and Reusable Problem Solving Methods


R. Studer, M. Musen

Top

15. – 19. Mai 1995, Dagstuhl Seminar 9520

Scheduling in Computer & Manufacturing Systems


J. Blazewicz, K. Ecker, L. Welch

Top

22. – 26. Mai 1995, Dagstuhl Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets


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

Top

29. Mai – 02. Juni 1995, Dagstuhl Seminar 9522

Computing with Faulty Inputs


M. Aigner, J. Spencer, E. Triesch

Top

05. – 09. Juni 1995, Dagstuhl Seminar 9523

Methods for Semantics and Specification


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

Top

19. – 23. Juni 1995, Dagstuhl Seminar 9525

Architecture and Protocols for High Performance Networks


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

Top

03. – 07. Juli 1995, Dagstuhl Seminar 9527

`Average-Case'-Analysis of Algorithms


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

Top

10. – 14. Juli 1995, Dagstuhl Seminar 9528

Molecular Bioinformatics


D. Gustfield, T. Lengauer, C. Sander

Top

17. – 21. Juli 1995, Dagstuhl Seminar 9529

Role of Logics in Information Systems


J. Chomicki, G. Saake, C. Sernadas

Top

24. – 28. Juli 1995, Dagstuhl Seminar 9530

Automation of Proof by Mathematical Induction


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

Top

28. August – 01. September 1995, Dagstuhl Seminar 9535

Abstract Interpretation


P. Cousot, R. Cousot, A. Mycroft

Top

04. – 08. September 1995, Dagstuhl Seminar 9536

CAD Tools for Products


P. Brunet, D. Roller, J. Rossignac

Top

11. – 15. September 1995, Dagstuhl Seminar 9537

Parallel and Distributed Algorithms


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

Top

18. – 22. September 1995, Dagstuhl Seminar 9538

New Trends In the Integration of Paradigms


C. Hankin, H. R. Nielson

Top

25. – 29. September 1995, Dagstuhl Seminar 9539

Applied Stochastic Modelling in Telecommunication and Manufacturing Systems


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

Top

02. – 06. Oktober 1995, Dagstuhl Seminar 9540

Modelling and Simulation of Complex Environmental Problems


L. Hordijk, G. Korn, A. Sydow

Top

16. – 20. Oktober 1995, Dagstuhl Seminar 9542

Document Processing


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

Top

23. – 27. Oktober 1995, Dagstuhl Seminar 9543

Modelling and Simulation of Gene and Cell Regulation


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

Top

06. – 10. November 1995, Dagstuhl Seminar 9545

Real Computation and Complexity


F. Cucker, T. Lickteig, M. Shub

Top

13. – 17. November 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