Alle Veranstaltungen 1995:



25. – 27. Januar 1995, Event 95042

Fortbildung für Mathematik- und Informatiklehrer


Wolf Böhm (SIL Speyer, DE), Friedrich Drollinger (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

30. Januar – 03. Februar 1995, Event 95052

Kurs: "UNIX Kernel Internals"


K. McKusick (Berkeley), M. J. Karels (Berkeley Software Design)

Top

06. – 08. Februar 1995, Event 95062

DIA Seminar: Softwarezuverlässigkeit und Qualitäts- sicherung


F. Belli (PB)

Top

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

21. März 1995, Event 95122

Forum Perspektiven der Informatik


R. Wilhelm (SB)

Top

29. – 31. März 1995, Event 95132

DIA Seminar: Objektorientierte System-Entwicklung: Konzepte, Strategien, Erfahrungen


K.-H. Sylla (GMD Sankt Augustin)

Top

30. – 31. März 1995, Event 95133

Workshop: "Hochleistungs-Rechnertechnologie in Deutschland"


W. Giloi (GMD-FIRST,B)

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

24. – 26. April 1995, Event 95172

GI-Arbeitskreis "Integration von Umweltdaten"


R. Güttler (HTW, SB)

Top

27. – 28. April 1995, Event 95173

Begehung SFB "Kognitive Systeme"


W. Tack (SB)

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

04. – 05. Mai 1995, Event 95182

DFG-SPP "Computeralgebra"


J. Buchmann (SB)

Top

08. – 12. Mai 1995, Dagstuhl-Seminar 9519

Shareable and Reusable Problem Solving Methods


R. Studer, M. Musen

Top

10. – 12. Mai 1995, Event 95192

DIA Seminar: Softwarezuverlässigkeit und Qualitäts- sicherung


F. Belli (PB)

Top

15. – 19. Mai 1995, Dagstuhl-Seminar 9520

Scheduling in Computer & Manufacturing Systems


J. Blazewicz, K. Ecker, L. Welch

Top

18. – 20. Mai 1995, Event 95202

Planung "Handbook of Argumentation and Reasoning"


H.-J. Ohlbach

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

28. – 29. Mai 1995, Event 95222

ESPRIT-Projekt Europe-MMM


B. Krämer (HA)

Top

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

Computing with Faulty Inputs


M. Aigner, J. Spencer, E. Triesch

Top

31. Mai – 02. Juni 1995, Event 95223

DIA Seminar: Objektorientierte System-Entwicklung: Entwurfstechniken


K.-H. Sylla (GMD Sankt Augustin)

Top

05. – 09. Juni 1995, Dagstuhl-Seminar 9523

Methods for Semantics and Specification


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

Top

12. – 16. Juni 1995, Event 95242

DFG-SPP "Algorithmische Zahlentheorie und Algebra"


B.H. Matzat (HD)

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

12. – 14. September 1995, Event 95372

Treffen der Jury of the "European IT Product Award"


H. Schwärtzel

Top

18. – 22. September 1995, Dagstuhl-Seminar 9538

New Trends In the Integration of Paradigms


C. Hankin, H. R. Nielson

Top

19. – 20. September 1995, Event 95382

EOUN Workshop "Computer Conferencing / EMail Technologies"


J. Leinenbach (YOUANDI, Losheim)

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

25. – 27. September 1995, Event 95392

DIA Seminar: Softwarezuverlässigkeit und Qualitäts- sicherung


F. Belli (PB)

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

27. – 30. Oktober 1995, Event 95432

11th Euro-FORTH Konferenz


M. Kern (FORTH, HH)

Top

06. – 10. November 1995, Dagstuhl-Seminar 9545

Real Computation and Complexity


F. Cucker, T. Lickteig, M. Shub

Top

08. – 09. November 1995, Event 95493

Treffen zur Vorbereitung eines neuen SFB


J. Buchmann (SB)

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

15. – 17. November 1995, Event 95462

DIA Seminar: Objektorientierte System-Entwicklung: Konzepte, Strategien, Erfahrungen


K.-H. Sylla (GMD Sankt Augustin)

Top

20. – 22. November 1995, Event 95472

Abschlußveranstaltung Modellversuch "Multimedia"


F. Drollinger (LPM)

Top

22. – 24. November 1995, Event 95473

Fortbildung für Mathematik- und Informatiklehrer


Wolf Böhm (SIL Speyer, DE), Friedrich Drollinger (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE)

Top

29. November – 01. Dezember 1995, Event 95483

Graduiertenkolleg Univ. Karlsruhe


R. Vollmar (KA)

Top

04. – 06. Dezember 1995, Event 95482

DIA Seminar: Softwarezuverlässigkeit und Qualitäts- sicherung


F. Belli (PB)

Top

06. – 08. Dezember 1995, Event 95492

DIA Seminar: Objektorientierte System-Entwicklung: Entwurfstechniken


K.-H. Sylla (GMD Sankt Augustin)

Top