All Events 1995:



January 25 – 27 , 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

January 30 – February 3 , 1995, Event 95052

Kurs: "UNIX Kernel Internals"


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

Top

February 6 – 8 , 1995, Event 95062

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


F. Belli (PB)

Top

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

March 21 1995, Event 95122

Forum Perspektiven der Informatik


R. Wilhelm (SB)

Top

March 29 – 31 , 1995, Event 95132

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


K.-H. Sylla (GMD Sankt Augustin)

Top

March 30 – 31 , 1995, Event 95133

Workshop: "Hochleistungs-Rechnertechnologie in Deutschland"


W. Giloi (GMD-FIRST,B)

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

April 24 – 26 , 1995, Event 95172

GI-Arbeitskreis "Integration von Umweltdaten"


R. Güttler (HTW, SB)

Top

April 27 – 28 , 1995, Event 95173

Begehung SFB "Kognitive Systeme"


W. Tack (SB)

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 4 – 5 , 1995, Event 95182

DFG-SPP "Computeralgebra"


J. Buchmann (SB)

Top

May 8 – 12 , 1995, Dagstuhl Seminar 9519

Shareable and Reusable Problem Solving Methods


R. Studer, M. Musen

Top

May 10 – 12 , 1995, Event 95192

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


F. Belli (PB)

Top

May 15 – 19 , 1995, Dagstuhl Seminar 9520

Scheduling in Computer & Manufacturing Systems


J. Blazewicz, K. Ecker, L. Welch

Top

May 18 – 20 , 1995, Event 95202

Planung "Handbook of Argumentation and Reasoning"


H.-J. Ohlbach

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 28 – 29 , 1995, Event 95222

ESPRIT-Projekt Europe-MMM


B. Krämer (HA)

Top

May 29 – June 2 , 1995, Dagstuhl Seminar 9522

Computing with Faulty Inputs


M. Aigner, J. Spencer, E. Triesch

Top

May 31 – June 2 , 1995, Event 95223

DIA Seminar: Objektorientierte System-Entwicklung: Entwurfstechniken


K.-H. Sylla (GMD Sankt Augustin)

Top

June 5 – 9 , 1995, Dagstuhl Seminar 9523

Methods for Semantics and Specification


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

Top

June 12 – 16 , 1995, Event 95242

DFG-SPP "Algorithmische Zahlentheorie und Algebra"


B.H. Matzat (HD)

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 12 – 14 , 1995, Event 95372

Treffen der Jury of the "European IT Product Award"


H. Schwärtzel

Top

September 18 – 22 , 1995, Dagstuhl Seminar 9538

New Trends In the Integration of Paradigms


C. Hankin, H. R. Nielson

Top

September 19 – 20 , 1995, Event 95382

EOUN Workshop "Computer Conferencing / EMail Technologies"


J. Leinenbach (YOUANDI, Losheim)

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

September 25 – 27 , 1995, Event 95392

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


F. Belli (PB)

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

October 27 – 30 , 1995, Event 95432

11th Euro-FORTH Konferenz


M. Kern (FORTH, HH)

Top

November 6 – 10 , 1995, Dagstuhl Seminar 9545

Real Computation and Complexity


F. Cucker, T. Lickteig, M. Shub

Top

November 8 – 9 , 1995, Event 95493

Treffen zur Vorbereitung eines neuen SFB


J. Buchmann (SB)

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

November 15 – 17 , 1995, Event 95462

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


K.-H. Sylla (GMD Sankt Augustin)

Top

November 20 – 22 , 1995, Event 95472

Abschlußveranstaltung Modellversuch "Multimedia"


F. Drollinger (LPM)

Top

November 22 – 24 , 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

November 29 – December 1 , 1995, Event 95483

Graduiertenkolleg Univ. Karlsruhe


R. Vollmar (KA)

Top

December 4 – 6 , 1995, Event 95482

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


F. Belli (PB)

Top

December 6 – 8 , 1995, Event 95492

DIA Seminar: Objektorientierte System-Entwicklung: Entwurfstechniken


K.-H. Sylla (GMD Sankt Augustin)

Top