Wiskunde en Informatica

2 Promoties
Aalst, W.M.P. van der:

Timed coloured Petri nets and Their application to logistics.

Promotoren: prof.dr. J. Wessels en prof. K.M. van Hee.

Eindhoven, 1992, pp. 276. (BS)

Berkel, C.A.M. van:

Integral Transformations and Spaces of Type S.

Promotoren: prof.dr.ir. J. de Graaf, prof.dr. J. Boersma. Co-promotor dr.ir. S.J.L. van Eijndhoven.

Eindhoven, 1992, pp. 143. (A) I

Berkel, C.H. van:

Handshake Circuits: An Intermediary between Communicating Processes and VLSI Type S.

Promotor: prof.dr. M. Rem.

Eindhoven, 1992, pp. 253. (III)

Bos, J.N.E.:

Practical Privacy.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr. J.H. van Lint.

Eindhoven, 1992, pp. 122. II (DW)

Driessen, S.:

Statistical Selection: Multiple Comparison Approach.

Promotoren: prof.dr. P. van der Laan.

Eindhoven, 1992, pp. 169. II

Heijst, E.J.L.J.:

Special Signature Schemes.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr. J.H. van Lint.

Eindhoven, 1992, pp. 134. II (DW)

Hoogeveen, J.A.:

Single-machine Bicriteria Scheduling.

Promotor: prof.dr. J.K. Lenstra

Eindhoven, 1992, pp. 158. I

Korst, J.H.M.:

Periodic Multiprocessor Scheduling.

Promotoren: prof.dr. J.K. Lenstra, prof.dr. E.H.L. Aarts.

Eindhoven, 1992, pp. 162. I (BS)

Kramer, M.E.:

Aspects of Solving Non-Linear Boundary Value Problems Numerically.

Promotoren: prof.dr. R.M.M. Mattheij, prof.dr. G.W. Veltkamp.

Eindhoven, 1992, pp. 149. (A) I

Loyens, L.D.J.C.:

A Design Method for Parallel Programs.

Promotoren: prof.dr. M. Rem, prof.dr. R.C. Backhouse. Co-promotor: prof.dr. P.A.J. Hilbers.

Eindhoven, 1992, pp. 117. (III)

Schoenmakers, L.A.M.:

Data Structures and Amortized Complexity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 193. (I)

Schols, H.M.J.L.:

Delay-insensitive Communication.

Promotoren: prof.dr. M. Rem, prof. C.E. Molnar, Sc.D.

Eindhoven, 1992, pp. 289. (I)

Shen, Ba-Zhong:

Algebraic-geometric codes and their decoding algorithm.

Promotoren: prof.dr. J.H. van Lint, prof.dr. G.B.M. van der Geer. Co-promotor: dr. R. Pellikaan.

Eindhoven, 1992, pp. 114. I (DW)

Struik, P.:

Designing Parallel Programs of Parameterized Granularity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 90. (I)

3 Bezoek aan internationale congressen en buitenlandse instituten
Vakgroep Analyse
A.C. Berkenbosch:

05.10-07.10 : Conferentie van numeriek wiskundigen, Zeist.

J. Boersma:

22.06-26.06 : 12th Coference on Ordinary and Partial Differential Equations, Dundee, Schotland.

P.L. Cijsouw:

02.03-03.03 : Johannes Kepler Universität , Linz, Oostenrijk.

27.03-29.03 : Technische Universität Dresden, BRD.

13.07-15.07 : Universität Kaiserslautern, BRD.

08.09-09.09 : Oxford University, UK.

12.09-14.09 : Johannes Kepler Universität, Linz, Oostenrijk.

11.12-13.12 : Universität Kaiserslautern, BRD.
R.R. van Hassel:

jan.-feb. : Cursus "Unix", rekencentrum, TUE.

02.06 : Symposium "Stromingsakoestiek"

05.06 : Symposium "Mathematische fysica"

10.06-12.06 : Cursus "Aero-akoestiek".

27.06-01.08 : ICCAM 92, International Congres on Comput. and Applied Mathematics, Leuven, België.

E.F. Kaasschieter:

24.01-26.01 : Eight GAMM-Seminar on Incomplete Decompositions (ILU) Theory, Technique and Applications, Kiel, Duitsland.

24.04-23.03 : 28e Nederlands Mathematisch Congres, Delft.

05.10-07.10 : 17e Conferentie Numerieke Wiskunde, Zeist.

Prof.dr. R.M.M. Mattheij:

maart-juni : Department of Applied Mathematics, University of Washington, Seattle, Wa.

15.04-18.04 : Department of Mathematics & Statistics, Simon Fraser University, Burnaby, Canada.

07.12 : Department of Mathematics, Tribhuvan University Kathmandu, Nepal.

20.07-24.07 : SIAM Annual Meeting, Los Angeles, Ca.
Dr. J.C. van der Meer:

05.03-06.03 : Instituut voor Theoretische Mechanica, Rijksuniversiteit Gent, Gent, België.

09.06-13.06 : International Conference on 'Bifurcations in differentiable dynamics', Limburgs universitair centrum, Diepenbeek, België.

24.08-25.08 : Instituut voor Theoretische Mechanica, Rijksuniversiteit Gent, Gent, België.

19.10-26.10 : Workshop on 'Conservative Systems and Quantum Chaos', The Field Institute for Research in Mathematical Science, Waterloo, Ontario, Canada.
Dr. A.A. Reusken:

24.01-26.01 : Eight GAMM-Seminar on Incomplete Decompositions: Theory, Technique and Applications, Kiel, BRD.

Dr.ir. J.H.M. ten Thije Boonkkamp:

05.10-07.10 : 17e Conferentie Numerieke Wiskunde, Zeist.

Ir. G.A.L. van de Vorst:

03.06-05.06 : 17e Conference on Boundary Element Technology (BETECH 92), Albuquerque, USA.

09.05 : Lawrence Livermore National Laboratory, Livermore (Cal), USA.

05.10-07.10 : 17e Conferentie Numerieke Wiskunde 1992, Zeist.

Ir. P.M.J.E. Wijckmans:

05.10-07.10 : 17e Conferentie Numerieke Wiskunde, Zeist.

15.06-17.06 : Conferentie over Differentiaal-Algebraïsche Systemen, Clamart, Frankrijk.
Vakgroep Besliskunde en Stochastiek
Dr.ir. E.E.M. van Berkum:

16.11-18.11 : Congres 'bijeenkomst stochastici', Lunteren.

Ir. F.P.A. Coolen:

10.06-12.06 : European Safety and Reliability Conference '92, Kopenhagen, Denemarken.

08.07-11.07 : 3rd International Conference on Practical Bayesian Statistics, Nottingham, Engeland.
Dr. J.H.J. Einmahl:

09.03-13.03 : Meeting on 'Mathematische Stochastik', Oberwolfach, Duitsland.

mei : Mathematical Science Research Institute, Berkely, California, USA.

24.08-28.08 : Workshop on 'Limit Theorems and Nonparametric Statistics', Universität Bielefeld, Duitsland.

18.11-20.11 : XIIIe Rencontres Franco-Belge de Statisticiens, Lille, Frankrijk.
Prof.dr.ir. M.L.J. Hautus:

04.03-06.03 : Benelux Meeting on Systems and Control, Veldhoven.

16.03-20.03 : Tagung Regelungstheorie, Oberwolfach.

22.04-23.04 : Nederlands Wiskundig Congres, Delft.

03.09-05.09 : FAC Workshop on System Structure and Control, Praag.
J.A. Hoogeveen:

07.05,28.05-05.06 : ARIDAM 7, New Brunswick.

25.05-27.05 : IPCO 2, Pittsburgh.
Ir. G.J.J.A.N. van Houtum:

14.01-17.01 : Seventeenth Conference on the Mathematics of Operations Research & Third International Workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren.

20.01-04.02 : Werkbezoek aan J. Wessels, IIASA, Laxenburg, Oostenrijk.

25.05-27.05 : National Workshop Landelijk Netwerk Mathematische Besliskunde, Tilburg.

09.09-11.09 : Jahrestagung DGOR/ÖGOR, Aachen, Duitsland.

08.12-11.12 : Eighteenth Conference on the Mathematics of Operations Research & Fourth International Workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren.

Dr.ir. H.J.C. Huijberts:

04.03-06.03 : 11th Benelux Meeting on Systems and Control, Veldhoven.

09.03-13.03 : Institut für Systemdynamik und Regelungstechnik, Universität Stuttgart, Stuttgart, Duitsland.

21.04 : Department of Electrical Engineering, Linköping, Zweden.

17.09-19.09 : SIAM Conference on Control Theory and its Applications, Minneapolis, USA.

02.10 : Niet lineaire en inverse problemen, Symposium KNAW, Amsterdam.

05.11-06.11 : Symposium on Computer Algebra for Industry, Amsterdam.
Dr.ir. C.A.J. Hurkens:

14.01-17.01 : 17e Conferentie Mathematische Besliskunde, Lunteren.

22.02 : Symposium on Combinatorial Optimization, Maastricht.

22.04-25.04 : Bijeenkomst European Doctoral Program, Lausanne, Zwitserland.

25.05-27.05 : Second Conference on Integer Programming and Combinatorial Optimization, Pittsburgh, USA.

11.06 : Mini-symposium Operations Research, PTT-Research Leidschendam.

08.12-11.12 : 18e conferentie Mathematische Besliskunde, Lunteren.
Prof.dr. P. van der Laan:

15.01 : University of California, Berkeley, California, USA.

04.02 : Studiedag Grondslagen Statistiek, RUG.

17.02-19.02 : Seminar o.l.v. professor John Davies, Oisterwijk.

17.03 : Biometrisches Kolloquium, Biometric Society, Giessen, Duitsland.

15.04 : Statistische Dag, Congress van de VVS, Utrecht.

11.05-15.05 : Cursus Bestuur en Management van de faculteiten, Hilversum.

14.06-19.06 : Fifth Symosium on Statistical Decision Theory and Related Topics, West Lafayette, IN, USA.

03.09-07.09 : Institute of Plants Genetics, Polish Academy of Science, Poznan, Poland.

08.09-11.09 : Working Seminar on Statistical Methods in Variety Testing, Slupia Wielka, Poland.

16.11-18.11 : Bijeenkomst Stochastici, Lunteren.

07.12-11.12 : International Biometric Conference, Hamilton, New Zealand.

Prof.dr. J.K. Lenstra:

05.01-10.01 : Conference on Mathematical Programming, Oberwolfach, Duitsland.

14.01-17.01 : 17e Bijeenkomst van Mathematisch Besliskundigen, Lunteren.

14.02 : ORTEC Consultants, Gouda.

22.02 : Symposium on Combinatorial Optimization, Rijksuniversiteit Limburg, Maastricht.

22.04-23.04 : 28ste Nederlands Mathematisch Congres, Technische Universiteit Delft.

24.05-27.05 : Second MPS Conference on Integer Programming and Combinatorial Optimization, Pittsburgh, USA.

30.05-04.06 : Dipartimento di Elettronica e Sistemistica, Università di Bologna, Bologna, Italië.

02.06 : Università di Venezia, Venetië, Italië.

04.06 : Università di Padova, Padova, Italië.

11.06 : PTT Research, Leidschendam.

28.06-29.06 : Princeton University, Princeton, USA.

29.06-16.08 : Cornell University, Ithaca, USA.

26.09-30.09 : Summer School on Scheduling, Bonas, Frankrijk.

31.10-04.11 : ORSA/TIMS National Meeting, San Francisco, USA.

21.11-27.11 : Université de Tizi Ouzou, Tizi Ouzou, Algerije.

08.12-10.12 : 18e Bijeenkomst van Mathematische Besliskundigen, Lunteren.

10.12-12.12 : Symposium on Combinatorial Optimization CORE, Université Catholique de Louvain, Louvain-la-Neuve, België.

17.12 : ParTool Workshop, Garderen.
Dr. J.A.C. Resing:

10.05-10.08 : Institut National de Recherche en Informatique et Automatique (INRIA), Centre Sophia Antipolis, Valbonne, Frankrijk.

Dr. M.W.P. Savelsbergh:

20.01-30.01 : Georgia Tech.

01.03-31.05 : IBM Thomas J. Watson Research Center Optimization Group.

22.08-31.08 : Georgia Tech.

07.11-17.11 : Georgia Tech.

21.11-27.11 : Tizi Ouzou, Algerije.

Dr. J.G.M.M. Smits:

17.08-21.08 : Industrial Mathematics Week, Norwegian Institute of Technology, Trondheim, Noorwegen.

Ir. J.M. Soethoudt:

03.09-05.09 : 2nd IFAC Workshop on System Structure and Control, Praag.

Dr. A.A. Stoorvogel:

04.03-06.03 : 11th Benelux Meeting on systems and control, Veldhoven.

13.05-16.05 : Workshop on Robust Control, Lochem.

24.06-26.06 : ACC conference, Chicago, IL, USA.

10.08-12.08 : AIAA Conference on Guidance, Navigation and Control, Hilton Head, SC, USA.

24.08-28.08 : Working week on Robust Control and Singular Systems, Universität Bremen, Bremen, Duitsland.

11.10-17.10 : Technical University of Denmark, Copenhagen.

13.12-15.12 : University of Michigan, Ann Arbor, MI, USA.

16.12-18.12 : CDC conference, Tuczon, AZ, USA.

Drs.ing. N. Vellinga:

01.06-05.06 : Workshop Netwerk Algemene en Kwantitatieve Economie (NAKE), Groningen.

28.09-02.10 : Workshop 'Quantitatieve Methods in Environmental Economics', Venetië, Italië.

07.12-11.12 : VSB Masterclass en symposium 'Deregulation and Privatization, Den Haag.
Prof.dr. J. Wessels:

01.01-30.06 : IIASA, Laxenburg, Oostenrijk.

13.04-19.04 : Mathematisch Instituut van de Academie van Wetenschappen, Sofia, Bulgarije.

12.05-13.05 : Conferentie IIASA '92, Laxenburg, Oostenrijk.

20.05-21.05 : Forschungsinstitut für Anwendungsorientierte Wissensverarbeitung, Ulm, Duitsland.

06.06-12.06 : Werkbezoek aan twee universiteiten in Rome en CNR, Rome, Italië.

12.06-13.06 : European Advanced School of Logistics, Verona, Italië.

22.06-24.06 : IIASA-Workshop on Advances in Software and Methodology for Decision Support, Laxenburg, Oostenrijk.

08.07 : Computer Automation Institute, Hungarian Academy of Sciences, Budapest, Hongarije.

09.09-10.09 : DGOR-Jahrestagung, Aken, Duitsland.

10.09-12.09 : WHO-Workshop Modelling of development processes and their relevance to human health, Ulm, Duitsland.

29.09-01.10 : IIASA, Laxenburg, Oostenrijk.

01.10--8.10 : Workshop Intelligent Decision Support Systems, Kutzively, Oekraïne.

08.10-10.10 : IIASA, Laxenburg, Oostenrijk.

07.11-23.11 : IIASA, Laxenburg, Oostenrijk.

23.11-02.12 : Conference on Neural Nets and Fuzzy Logic for Decision Support, Tokyo, Japan.

: Universiteit van Osaka, Dept. Precision Engineering, Osaka, Japan.

: Universiteit van Kyoto, Dept. of Aeronautical Engineering, Kyoto, Japan.

: Hitachi Laboratorium voor systeemontwikkeling, Tokyo, Japan.

: SSK (Ssysteemhuis), Tokyo, Japan.

: National Institute for Environmental Studies (Tsukuba City), Tokyo, Japan.
Drs. R.J.G. Wilms:

14.06-19.06 : 21st Conference on 'Stochastic Processes and their Applications', Toronto, Canada.

16.11-18.11 : 21st Lunteren Meeting, Lunteren.

18.11-20.11 : Workshop voor AIO's in de Stochastiek, Lunteren.

Vakgroep Discrete Wiskunde
Dr. A.G. van Asch:

17.08-23.08 : Internationaal congres ICME7, Quebec, Canada.

Dr. A. Blokhuis:

01.06-06.06 : Conference on Combinatorics and Finite Geometries, Deinze.

01.09-03.09 : Symposium Discrete Mathematics and its applications, Veldhoven.

01.11-07.11 : Kombinatorik, Oberwolfach.

Dr. F.G.M.T. Cuypers:

28.04-10.05 : Michigan State University, E-Lansing, Mi, USA.

30.05-06.06 : Congres 'Finite Geometries and Combinatorics', Deinze, België.

31.08-04.09 : Congres 'Discrete Mathematics and its Applications', Veldhoven.

Ir. M.E. van Dijk:

31.08-02.09 : Symposium on discrete mathematics on the occasion of the 60th birthday of prof. J.H. van Lint, Veldhoven.

Drs.ir. I.M. Duursma:

09.04-11.06 : Universiteit van Trento, Italië.

19.10-23.10 : Universiteit van Linköping, Zweden.
Ir. J.H. Koolen:

jan.-april : Queen Mary and Westfield College, bij prof. P.J. Cameron, Londen, UK.

23.03-26.03 : British Research Student Conference on Combinatorics, Nottingham.

31.05-05.06 : Conference on Finite Geometry, Deinze, België.

29.10-31.10 : Symposium 'Trends in Discrete Mathematics', Bielefel, Duitsland.
Dr.ir. F.J.L. Martens:

02.09-04.09 : Mathematica Congres, Rotterdam.

Dr. G.R. Pellikaan:

11.05-16.05 : Technische Universiteit van Denemarken, Kopenhagen.

23.05-26.05 : Evaluatie bijeenkomst van het Galois netwerk in het kader van de ERASMUS studenten uitwisseling, Coimbra, Portugal.

26.10-30.10 : Eurocode 92 congres, Udine, Italië.

Prof.dr. F.H. Simons:

23.09 : University Mathematics toward the Year 2000, Conference at the Open University, Milton Keynes, U.K.

Ir. M. Struik:

05.04-11.04 : Information Theory Meeting, Oberwolfach, Duitsland.

31.08-02.09 : Symposium Discrete Mathematics on the Occasion of the 60th birthday of prof. J.H. van Lint, Veldhoven.
Vakgroep Informatica
Dr. A.T.M. Aerts:

26.05 : SION Databasedag, UIA, Antwerpen.

Dr. P.M.E. de Bra:

30.04-18.05 : AT&T Bell Laboratories, Murray Hill, NJ.

26.05 : SION Database Dag, UIA, Antwerpen.

15.06-19.06 : Workshop van het AIO netwerk Informatiesystemen, Mierlo.

30.11-04.12 : 4th ACM Conference on Hypertext (Echt-92), Milaan.

Ir. J.A.A. Coenen:

06.01-08.01 : School & Symposium on Formal Techniques in Real-Time and

Fault-Tolerant Systems, Nijmegen.

09.01-10.01 : BCS-FACS Fifth refinement workshop, LLoyd's Register, Londen, Engeland.

04.03-06.03 : Workshop: Logics for Distributed Systems, Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn, Duitsland.

08.08-09-08 : Christian-Albrechts-Universitaet zu Kiel, Institut fuer Informatik und Praktische Mathematik II, Kiel, Duitsland. (werkbezoek)

24.08-27.08 : CONCUR'92, 3rd International Conference on Concurrency Theory, Stony Brook, New York, USA.

28.08 : NAPAW'92, 1st North-American Process Algebra Workshop, Port Jefferson, New York, USA.

28.09-01.10 : Christian-Albrecht-Universitaet zu Kiel, Institut fuer Informatik und Praktische Mathematik II, Kiel, Duitsland. (werkbezoek)

Ir. D.R. Dams:

05.06-15.06 : Dip. di Matematica Pura e Applicata, Université di Padova, Italië.

28.06-02.07 : Workshop on Computer Aided Verification, Motreal, Canada.

03.07-11.07 : University of California, Berkeley, en Stanford University, Palo Alto, Californië, USA.

12.07-25.07 : Carnegie Mellon University, Pittsburgh, Pennsylvania.

27.07 : AT&T Bell Labs, Murray Hill, New Jersey.

: Diverse bezoeken aan de Katholieke Universiteit, Leuven, België.
Dr. R.T. Gerth:

01.06-05.06 : NFI/REX workshop on 'Semantics of concurrency'.

05.07-12.07 : Bezoek aan Shengzong Zhou, Saarbrücken.

24.08-28.08 : Third International Conference on Concurrency Theory CONCUR'92, Stony Brook, NY, USA.

29.08 : First North-American Workshop on Process Algebra (NAPAW), Stony Brook, NY, USA.

31.08-05.09 : AT&T Bell Labs, Murray Hill, NJ, USA.

13.10-16.10 : REACT 'Refinement' bijeenkomst, Kiel, Duitsland.

23.11-25.11 : REACT 'CAV' bijeenkomst, Luik, België.

Prof.dr.dipl.ing. D.K. Hammer:

08.01-10.01 : Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Universiteit van Nijmegen.

07.05-08.05 : Workshop Fault-Tolerance, Nijmegen.

21.05-22.05 : Effectief Automatiseren, Sagres Services, Heidelberg, Duitsland.

29.06-02.07 : Lean Enterprise and Lean Production, Trigon, Graz, Oostenrijk.

05.10-18.10 : Nato Advanced Study Institute (ASI) on Real-Time Computing, Sint Maarten, Nederlandse Antillen.

26.10-27.10 : Lean Enterprise and Lean Production, Trigon, Graz, Oostenrijk.

03.12 : Fault-Tolerance, Nijmegen.

Dr.ir. R.R. Hoogerwoord:

29.06-03.07 : Conferentie 'Mathematics of Program Construction', Oxford, UK.

22.09-02.10 : Summerschool on Constructive Algotithmics, Hollum, Ameland, Nederland.
Dr. J.J.M. Hooman:

06.01-10.01 : School & Symposium on Formal Techniques in Real-Time and

Fault-Tolerant Systems, Nijmegen.

09.03-11.03 : Workshop on Protocol Verification, Mierlo.

07.05-08.05 : Bijeenkomst STW/SION project 'Fault-Tolerance', Plasmolen.

13.05-15.05 : Christian Albrechts Universiteit, Kiel, Duitsland.

19.05-21.05 : Bijeenkomst Esprit-BRA project SPEC-REACT, Grenoble, Frankrijk.

03.06-05.06 : Euromicro '92 Workshop on Real-Time Systems, Athene.

16.06-18.06 : International Symposium on Artificial Intelligence in Real-Time Control, Delft.

29.06-03.07 : Zomerschool 'Real-Time, Fault Tolerance and Artificial Intelligence', Neeruti, Estland.

12.10 : Bijeenkomst in het kader van Esprit-BRA project REACT, Plasmolen.

19.10-21.10 : Workshop on Hybrid Systems, Technical University of Denmark, Lyngby, Denemarken.

17.11-18.11 : Workshop on Assertional Methods, CWI, Amsterdam.

03.12-04.12 : Bijeenkomst STW/SION project 'Fault Tolerance', Plasmolen.

15.12-19.12 : Institute of Informatics, prof. J. Madey, Warsaw University, Warsaw, Polen.
Dr. C. Huizing:

09.03-11.03 : Workshop on Protocol Verification, Mierlo.

24.09-25.09 : Christian-Albrechtsuniversitaet zu Kiel, Kiel.

13.10-16.10 : Meeting ESPRIT BRA project REACT, Mook.

11.11-13.11 : Werkbezoek Christian-Albrechtsuniversiteit zu Kiel, Kiel.
F. Kamareddine:

maart : Eight British Colloquium on Theoretical Computer Science, Newcastle, Engeland.

april : Conference on Mathematical Foundations of Programming Semantics, Oxford, Engeland.

augustus : 1992 European Summer meeting of the Association of Symbolic Logic, Hongarije.

november : Universiteit Tuebingen, Duitsland.

Prof.dr. F.E.J. Kruseman Aretz:

29.06-03.07 : Conferentie 'Mathematics of Program Construction', Oxford.
Dr. R. Kuiper:

03.01-06.01 : Refinement Workshop BCS-FACS, Londen, Engeland.

04.03-07.03 : Logic for concurent systems, Bonn, Duitsland.

23.08-27.08 : CONCUR92, Stony Brooks, USA.

19.11-26.11 : Institute of Computer Science, bij W. Penczek, Polish Acad. of Science, Warschau, Polen.
W.J.M. Lemmens:

24.09-25.09 : Second International Workshop on Object Orientation in Operating Systems, Dourdan, Frankrijk.

Dr. E.J. Luit:

23.06-26.06 : International Workshop on Real-Time Programming, Brugge, België.

18.10-23.10 : EMUG MAP/TOP EVENTS at Systec, München, Duitsland.

Dr. J.J. Lukkien:

29.06-03.07 : Conferentie 'Mathematics of Program Construction', Oxford.
Drs. R.H. Mak:

19.03 : EEG i.v.m. EXACT, Brussel, België.

04.07-07.07 : Start-up Meeting EXACT, Oxford, UK.

14.09-16.09 : ACiD-WG/EXACT Workshop on Asynchronous Controllers and Interfacing, Leuven, België.

17.0 : Project Management Comittee bijeenkomst EXACT, Leuven, België.
Ir. W.P.M. Nuijten:

04.05-08.05 : Carnegie-Mellon University, Pittsburg.

:Robotics Institute.

08.05-13.05 : Waterloo University, Waterloo.

15.06-16.06 : Workshop Informatisystemen, Mierlo.

23.09 : Rijksuniversiteit Limburg, Maastricht.

14.10 : RIKS, Maastricht.

Dr.ir. C.W.A.M. van Overveld:

01.05-31.10 en 15.12-05.01 : Gastonderzoeker in Calgary, Canada.

23.11.92-30.04.93 : Gastonderzoeker in Philadelphia, PA, USA.

Prof.dr. J. Paredaens:

07.02-09.02 : Polytechnico di Milano, samenwerking met prof, L. Tanca.

24.03-27.03 : Third International Conference on Extending Database Technology, Oostenrijk.

09.06-12.06 : GI-Workshop, Grundlagen von Databanken, Barsinghausen.

18.09 : 47e Geneeskundige dagen van Antwerpen.

14.10-16.10 : International Conference on Database Theory, Berlijn.

16.11-20.11 : 7th International Meeting of Young Computer Scientists, Smolenice, Tchecoslovakije.

30.11 : Inaugural Meeting of the Network of Exellence 6606, IDOMENEUS, Hamburg.

11.12 : Database Dag, Universiteit Leiden.
Ir. A.M.G. Peeters:

06.01-08.01 : Workshop on Design Correct Circuits, Lyngby, Denemarken.

06.07-07.07 : Initial EXACT meeting, IMEC, Leuven, België.

14.09-15.09 : First ACiD-wg/EXACT Workshop, IMEC, Leuven, België.

16.09 : Second EXACT meeting, IMEC, Leuven, België.

14.12-15.12 : Second ACiD-wg/EXACT Workshop, Veldhoven.

16.12 : Third EXACT meeting, Veldhoven.
Ir. E. Poll:

07.07-12.06 : Workshop on Types for Programs and Proofs, Båstad, Zweden.

Ir. P.M.P. Rambags:

24.06-26.06 : 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK.

Prof.dr. M. Rem:

15.06-18.06 : PARLE Conferentie, Parijs, Frankrijk.

04.07-08.07 : EXACT Start Up Meeting, Oxford, Engeland.

05.09-11.09 : Seminar on the teaching of computing science. Newcastle, Engeland.

Dr. O. van Roosmalen:

23.09-25.09 : International Workshop on Object-Oriented Operating Systems (IWOOOS'92), Parijs.

Ir. H.J.J.H. Schepers:

08.01-10.01 : Second International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Nijmegen.

19.05-20.05 & : Department of Computer Science, University of Warwick,

14.12-18.12 Coventry,UK.

Dr. L.J.A.M. Somers:

23.06 : Tool Presentations, Sheffield.

01.10-2.10 : The Second International Workshop on Reponsive Computer Systems, KDD R&D Laboratories, Saitama, Japan.

Dr. P.D.V. van der Stok:

02.10 : 2nd International Workshop on Responsive Computer Systemes, Kamafukuoka, Saitama, Japan.

06.10 : Computer Science Colloquium, Tokyo Institute of Technology, Tokyo, Japan.

Dr. J.P. Veltkamp:

25.03 : PCA-bijeenkomst, Barcelona.

Ir. T. Verhoeff:

14.09-16.09 : ACiD/EXACT workshop, IMEC, Leuven, België.

Ir. J.P.C. Verhoosel:

oktober : NATO Advanced Study Institute on Real-Time Computing, St. Maarten.

Ir. P.A.C. Verkoulen:

10.06 : Third International Conference on Dynamic Modelling of Information Systems, Noordwijkerhout.

12.06-20.06 : University of Waterloo, Canada.

Ir. A.C.F.M. de Vet:

20.04-02.05 : Begeleider studiereis Zweden, georganiseerd door GEWIS.

06.05-14.05 : University of Waterloo, Ontario, Canada.

11.05 : University of Toronto, Toronto, Ontaria, Canada.
Dr. M. Voorhoeve:

23.06-26.06 : Petri-net conferentie, Sheffield.

Mw. Ping Zhou, M.Sc.:

januari : School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen.

02.12-04.12 : 13th IEEE real-time systems symposium, Phoenix, USA.