February 13 – 17 , 1995, Dagstuhl Seminar 9507Computer Aided Design and TestB. Becker, R. Bryant, O. Coudert, Ch. Meinel | Top |
February 20 – 24 , 1995, Dagstuhl Seminar 9508Software ArchitecturesD. Garlan, F. Paulisch, W. Tichy | Top |
February 27 – March 3 , 1995, Dagstuhl Seminar 9509High Integrity Programmable Electronic SystemsW.J. Cullyer, W.A. Halang, B. Krämer | Top |
March 6 – 10 , 1995, Dagstuhl Seminar 9510Cellular AutomataJ. Gruska, T. Toffoli, H. Umeo, R. Vollmar | Top |
March 13 – 17 , 1995, Dagstuhl Seminar 9511Computational GeometryH. Alt, B. Chazelle, R. Seidel | Top |
March 20 – 24 , 1995, Dagstuhl Seminar 9512DeductionW. Bibel, K. Furukawa, M. Stickel | Top |
April 3 – 7 , 1995, Dagstuhl Seminar 9514Object-Orientation with Parallelism and PersistenceB. Freitag, C.B. Jones, Ch. Lengauer, H.-J. Schek | Top |
May 1 – 5 , 1995, Dagstuhl Seminar 9518Social Science Microsimulation: A Challenge for Computer ScienceJ. Doran, N. Gilbert, U. Mueller, K. Troitzsch | Top |
May 8 – 12 , 1995, Dagstuhl Seminar 9519Shareable and Reusable Problem Solving MethodsR. Studer, M. Musen | Top |
May 15 – 19 , 1995, Dagstuhl Seminar 9520Scheduling in Computer & Manufacturing SystemsJ. Blazewicz, K. Ecker, L. Welch | Top |
May 22 – 26 , 1995, Dagstuhl Seminar 9521Performance and Dependability Modeling with Stochastic Petri NetsH. Beilner, G. Ciardo, C. Lindemann, K. Trivedi | Top |
May 29 – June 2 , 1995, Dagstuhl Seminar 9522Computing with Faulty InputsM. Aigner, J. Spencer, E. Triesch | Top |
June 5 – 9 , 1995, Dagstuhl Seminar 9523Methods for Semantics and SpecificationJ.-R. Abrial, E. Börger, H. Langmaack | Top |
June 19 – 23 , 1995, Dagstuhl Seminar 9525Architecture and Protocols for High Performance NetworksW. Effelsberg, D. Ferrari, O. Spaniol, A. Danthine | Top |
July 3 – 7 , 1995, Dagstuhl Seminar 9527`Average-Case'-Analysis of AlgorithmsPh. Flajolet, R. Kemp, H. Prodinger, R. Sedgewick | Top |
July 10 – 14 , 1995, Dagstuhl Seminar 9528Molecular BioinformaticsD. Gustfield, T. Lengauer, C. Sander | Top |
July 17 – 21 , 1995, Dagstuhl Seminar 9529Role of Logics in Information SystemsJ. Chomicki, G. Saake, C. Sernadas | Top |
July 24 – 28 , 1995, Dagstuhl Seminar 9530Automation of Proof by Mathematical InductionR.S. Boyer, A. Bundy, D. Kapur, Ch. Walther | Top |
August 28 – September 1 , 1995, Dagstuhl Seminar 9535Abstract InterpretationP. Cousot, R. Cousot, A. Mycroft | Top |
September 4 – 8 , 1995, Dagstuhl Seminar 9536CAD Tools for ProductsP. Brunet, D. Roller, J. Rossignac | Top |
September 11 – 15 , 1995, Dagstuhl Seminar 9537Parallel and Distributed AlgorithmsC. Dwork, E.W. Mayr, F. Meyer a.d. Heide | Top |
September 18 – 22 , 1995, Dagstuhl Seminar 9538New Trends In the Integration of ParadigmsC. Hankin, H. R. Nielson | Top |
September 25 – 29 , 1995, Dagstuhl Seminar 9539Applied Stochastic Modelling in Telecommunication and Manufacturing SystemsU. Herzog, G. Latouche, P. Tran-Gia, V. Ramaswami | Top |
October 2 – 6 , 1995, Dagstuhl Seminar 9540Modelling and Simulation of Complex Environmental ProblemsL. Hordijk, G. Korn, A. Sydow | Top |
October 16 – 20 , 1995, Dagstuhl Seminar 9542Document ProcessingJ. André, A. Brüggemann-Klein, R. Furuta, V. Quint | Top |
October 23 – 27 , 1995, Dagstuhl Seminar 9543Modelling and Simulation of Gene and Cell RegulationJ. Collado-Vides, R. Hofestädt, M. Löffler, M. Mavrovouniotis | Top |
November 6 – 10 , 1995, Dagstuhl Seminar 9545Real Computation and ComplexityF. Cucker, T. Lickteig, M. Shub | Top |
November 13 – 17 , 1995, Dagstuhl Seminar 9546Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and SimulationsK. Echtle, W. Görke, J.-C. Laprie, W. Schneeweiss | Top |