40 Jahre Informatik in München - Fakultät für Informatik - TUM

European-Software-Engineering-Conf.
(ESEC ’93)
Europäischer Informatik Kongreß Architektur
von Rechensystemen
Fachgespräch Autonome Mobile Systeme
Workshop Evaluation of Automated
Theorem Proving Systems, 12 th Int.
Conf. on Automated Deduction
Int. Summer School on Deductive Program
Design (MOD)
1 st Int. Conf. on Constraints in Computational
Logics (CCL ’94)
12 th Symposium on Theoretical
Aspects of Computer Science
(STACS ’95)
Int. Workshop of the HP OpenView
Univ. Association
20 th Int. Workshop on Graph-Theoretic
Concepts in Computer Science
(WG’95)
Int. Summer School on Logic of Computation
(MOD)
3. Laborbesuch der GI Fachgruppen
1.0.3 und 4.0.1 Robotersysteme
1 st Int. Workshop on High-Level Parallel
Programming Models and Supportive
Environments
Int. Summer School on Mathematical
Methods in Program Developement
(MOD)
3 rd Europ. Parallel Virtual Machine
Conf. (EuroPVM ’96)
2 nd Int. Workshop on High-Level
Parallel Programming Models and
Supportive Environments, HIPS’97
(Genf, CH)
Int. Summer School on Computational
Logic (MOD)
Workshop on Requirements Tarjeling
Software and Systems Engineering
460
13.09.–17.09.93 – Sprimger
18.10.–19.10.93 204 Springer
28.10.–29.10.93 170 –
27.06.94 17 Springer
26.07.–07.08.94 103 Springer
07.09.–09.09.94 80 Springer
02.03.–04.03.95 140 Springer
27.03.–29.03.95 50 –
16.06.–18.06.95 75 Springer
25.07.–06.08.95 101 Springer
01.03.96 36 –
16.04.96 40 IEEE
30.07.–11.08.96 108 Springer
07.10.–09.10.96 170 Springer
01.04.97 60 IEEE
29.07.–10.08.97 101 Springer
12.10.–14.10.97 30 –