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