Veranstaltungen 1997:
13. – 15. Januar 1997, Event 97031GIBU 1997: GI-Beirat der UniversitätsprofessorenG. Hotz (Uni-Saarbrücken) | Top |
10. – 11. Februar 1997, Event 97072Dia-Seminar: Softwarezuverlässigkeit und QualitätssicherungF. Belli (Paderborn) | Top |
12. – 14. Februar 1997, Event 97073Dia-Seminar: Objektorientierte SystementwicklungK.-H. Sylla (GMD), H. Züllighoven (Hamburg) | Top |
20. – 21. Februar 1997, Event 97082DFG-Rundgespräch "Quantum-Informatik"T. Beth (Karlsruhe) | Top |
08. – 10. April 1997, Event 97152PTP-97: 1st Int. Workshop on Proof Transformation & PresentationJ. Siekmann (DFKI-Saarbrücken) | Top |
21. – 25. April 1997, GI-Dagstuhl Seminar 97172Beweisverifikation und ApproximationsalgorithmenE. W. Mayr (TU-München), H. J. Prömel (HU-Berlin), A. Steger (TU-München) | Top |
28. – 30. April 1997, Event 97182Dia-Seminar: Objektorientierte SystementwicklungR. Budde (GMD), K.-H. Sylla (GMD) | Top |
28. – 29. April 1997, Event 97183BMBF-Projekt "Geschäftsprozeßgestaltung mit integrierten Prozeß- und Produktmodellen (GiPP-Saarbrücken)"A.-W. Scheer (IWi-Saarbrücken) | Top |
05. – 09. Mai 1997, GI-Dagstuhl Seminar 97192Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen VisualisierungH. Hagen (Kaiserslautern), H. Müller (Dortmund), D. Roller (Stuttgart) | Top |
19. – 23. Mai 1997, Event 97212Workshop "Computational Representation Theory" des DFG-SPP "Algorithmische Zahlentheorie und Algebra"G. Hiß (Heidelberg) | Top |
23. Mai 1997, Event 97213DFG-Workshop "Konstruktion und CAD"G. Brunnett (Kaiserslautern) | Top |
26. – 30. Mai 1997, Event 97222Computational Methods for Permutation and Matrix GroupsA. Seress (Ohio State Univ.) | Top |
07. – 09. Juli 1997, Event 97282Workshop on Computational Number TheoryH.G. Zimmer (Uni-Saarbrücken), J. Buchmann (TH-Darmstadt), M. Pohst (TU-Berlin) | Top |
21. – 25. Juli 1997, Event 97301MEDOC-WorkshopA. Endres (TU-München) | Top |
28. – 31. Juli 1997, Event 973114th Int. Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97)J. Dix (Koblenz) | Top |
25. – 27. August 1997, Event 97351AMOL/ACL-Workshop MOL5T. Becker, U. Krieger (DFKI-Saarbrücken) | Top |
01. – 04. September 1997, Event 97362Advanced Methods of Modelling & SimulationBeykow (Kiew), P. Borne (Lille), G. Korn (Chelan, USA), Samarski (Moskow), A. Sydow (GMD-FIRST Berlin) | Top |
03. – 05. September 1997, Event 97363CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"F. Baader (Aachen), H. Comon (LRI, Paris-Sud), G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken) | Top |
22. – 26. September 1997, Event 97392Bundeswettbewerb InformatikG. Reich (Bonn) | Top |
28. September – 02. Oktober 1997, Event 97403Wissenschaftliches Rechnen mit ErgebnisverifikationU. Kulisch (Karlsruhe), R. Klatte (Karlsruhe) | Top |
30. September – 02. Oktober 1997, Event 97402Jahrestreffen der GI-FG "Deduktion"U. Furbach (Koblenz) | Top |
06. – 08. Oktober 1997, Event 97412SFB 124 "VLSI-Entwurfsmethoden"G. Hotz (Uni-Saarbrücken) | Top |
08. – 10. Oktober 1997, Event 97413Dia-Seminar: Objektorientierte SystementwicklungK.-H. Sylla (GMD), H. Züllighoven (Hamburg) | Top |
15. – 17. Oktober 1997, Event 97422Workshop des Nato-Projekts "MATRA"D. Baum (Trier) | Top |
22. – 24. Oktober 1997, Event 974322nd Workshop on Abstraction, Analogy and Meta-ReasoningE. Melis (Uni-Saarbrücken) | Top |
19. – 21. November 1997, Event 97472Fortbildungsseminar für LehrerWolf Böhm (SIL Speyer, DE), Friedrich Drollinger (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |
24. – 25. November 1997, Event 97483Dia-Seminar: Systematisches TestenF. Belli (Paderborn) | Top |
26. – 28. November 1997, Event 97484Dia-Seminar: Objektorientierte SystementwicklungR. Budde (GMD), K.-H. Sylla (GMD) | Top |
27. – 29. November 1997, Event 97482Spacenet MeetingCh. Freksa (Hamburg) | Top |
01. – 05. Dezember 1997, Event 97491Computational Aspects of Drinfeld Modules, Workshop des DFG-SPP "Algorithmische Zahlentheorie"E.-U. Gekeler (Saarbrücken), B. Matzat (Heidelberg) | Top |