Faculteit

2 Promoties
Fang, G.:

Binary Blocks for Correcting Asymmetric or Unidirectional Errors.

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

Eindhoven, 8 maart 1993, pp. 96. (DW)

Dijk, G.J.W. van:

The Design of the EMPS Multiprocessor Executive for Distributed Computing.

Promotoren: prof.dr.ing. D.K. Hammer; prof.dr. S. Mullender.

Eindhoven, 16 maart 1993, pp. 160.

Upperman, P.M.:

Design with a small number of runs for factorial experiments.

Promotoren: prof.dr. P. van der Laan, prof.dr. R. Doornbos.

Eindhoven, 23 maart 1993, pp. 195.

Soethoudt, J.M.:

Introduction to a behavioral approach for continuous-time systems.

Promotoren: prof.dr.ir. M.L.J. Hautus, prof.dr.ir. J.C. Willems.

Eindhoven, 26 april 1993, pp. 160. (BS)

Jansen, J.:

Generalized linear mixed models and their application in plant breeding research.

Promotoren: prof.dr. P. van der Laan, prof.dr. B.J.T. Morgan.

Eindhoven, 27 april 1993, pp. 139.

Mortel-Fronczak, J.M. van de:

Models of Trace Theory Systems.

Promoter: prof.dr. M. Rem.

Eindhoven, 4 mei 1993, pp. 202.

Veltman, B.:

Multiprocessor scheduling with communication delays.

Promotor: prof.dr. J.K. Lenstra.

Eindhoven, 18 mei 1993, pp. 114. (BS)

Duursma, I.M.:

Decoding codes from curves and cyclic codes.

Promotoren: prof.dr. J.H. van Lint, prof.dr H. Stichtenoth. Co-promotor: dr. R. Pellikaan.

Eindhoven, 13 september 1993, pp. 96. (DW)

Augusteijn, A.:

Functional Programming, Program Transformations and Compiler Construction.

Promotoren: prof.dr. F.E.J. Kruseman Aretz, prod.dr. S.D. Swierstra.

Eindhoven, 7 oktober 1993, pp. 247.

Zhou, P.:

Clocks, communications, and correctness.

Promotoren: prof.dr. W.P. de Roever, prof.dr. J.C.M. Baeten. Co-promotor: dr. J.J.M. Hooman.

Eindhoven, 2 december 1993, pp. 165.

Körver, W.H.F.J.:

A Discrete Switch-Level Circuit Model that uses 4-valued nodes.

Promotoren: prof.dr. M. Rem, prof.dr.ing. J.A.G. Jess.

Eindhoven, 9 december 1993, pp. 222.

Klusener, A.S.:

Models and axioms for a fragment of real time process algebra.

Promotoren: prof.dr. J.C.M. Baeten, prof.dr. J.A. Bergstra.

Eindhoven, 10 december 1993, pp. 216.

Verkoulen, P.A.C.:

Integrated Information Systems Design - An Approach Based on Object-Oriented Concepts and Petri Nets.

Promotoren: prof.dr. K.M. van Hee; prof.dr. J.J.E.L. Paredaens.

Eindhoven, 17 december 1993, pp. 184.

Koster, G.J.P.:

Modelling Industrial Systems: Theory and Applications.

Promotoren: prof.dr. M.Rem, prof.dr.ir. J.E. Roorda.

Eindhoven, 22 december 1993, pp. 161.

3 Bezoek aan internationale congressen en buitenlandse instituten
Vakgroep Analyse
J. Boersma:

26.05 : Symposium "Speciale Functies en Orthogonale Polynomen", TU Delft.

15.11 16.11 : Symposium van het Stevin Centrum, Rolduc, Kerkrade.
P.L. Cijsouw:

02.03 06.03 : ECMI 93, internationale conferentie, Montecatini, Italië.

11.09 13.09 : Université Joseph Fourier, Grenoble, Frankrijk.
A.F.M. ter Elst:

25.06 19.08 : The Australian National University, Canberra, Australië.

01.07 03.07 : Analysis Miniconference, University of Wollongong, Australië.

22.07 23.07 : Heat kernels at Macquarie, Macquarie University, Sydney, Australië.

02.09 03.09 : Analysis Symposium, Leiden.

01.11 05.11 : European Workshop on Evolution Equations, Blaubeuren, Duitsland.

P.J.J. Ferket:

06.07 09.07 : European Multigrid Conference, Amsterdam.

J. de Graaf:

08.02 08.03 : Universidade de Coimbra, Portugal.

03.05 07.05 : Third International Conference on Clifford Algebras and their Applications in Mathematical Physics, Deinze, België.
R.R. van Hassel:

1993 : Euromech 300, Istanbul, Turkije.

E.F. Kaasschieter:

02.03 06.03 : ECMI 93: Seventh Conference of the European Consortium for Mathematics in Industry, Montecatini Terme, Italië.

14.04 16.04 : IMA Conference on Modelling for Food Safety, Belfast, Noord Ierland.

04.09 13.09 : Sixth ECMI Modelling Week, Grenoble, Frankrijk.

27.09 29.09 : Achttiende Conferentie Numerieke Wiskunde, Zeist.
B. Klein Obbink:

03.05 07.05 : Third International Conference on Clifford Algebras, Deinze, België.

R.M.M. Mattheij:

01.03 07.03 : ECMI 93: Seventh Conference of the European Consortium for Mathematics in Industry, Montecatini Terme, Italië.

17.04 19.04 : Universiteit Oxford.

17.05 19.05 : ICIAM, Edinburgh.

05.07 10.07 : Humboldt University, Berlin.

08.10 10.10 : ECMI, Como, Italië.

16.12 18.12 : Industrial Day, Steyr, Oostenrijk.
J.C. van der Meer:

03.09 09.09 : NATO Advanced Research Workshop 'Dynamical Systems, Bifurcations and Symmetry, new trends and new tools', Institute d'Etudes Scientifigues de Cargèse, Cargèse, Frankrijk.

A.A. Reuskens:

06.07 09.07 : Fourth European Multigrid Conference, Amsterdam.

24.09 : RUU CWI symposia on massively parallel computing and applications.

15.11 16.11 : Symposium Stevin Centrum, Rolduc.

10.12 : Symposium Philips Nat Lab, Eindhoven.
S.W. Rienstra:

07.01 15.01 : ECMI vergadering Continuing Education, Lambrecht, Duitsland

R.P. Stevenson:

06.07 09.07 : Europese Multigrid Conference, Amsterdam.

J.H.M. ten Thije Boonkkamp:

29.09 01.10 : Fifth International Conference on Numerical Combustion, Garmisch Partenkirchen.

15.11 16.11 : Symposium Stevin Centrum, Rolduc.
A.A.F. van de Ven:

19.04 22.04 : 3rd Japanese Polish Seminar, Kazimierz, Polen.

15.08 20.08 : IUTAM Symposium on Nonlinear Waves in Solids, Victoria B.C., Canada.
G.A.L. van de Vorst:

23.06 25.06 : Conference on Computational Modelling of Free and Moving Boundary Problems, Milaan, Italië.

27.09 29.09 : Conferentie Numerieke Wiskunde 1993, Zeist.
Vakgroep Besliskunde en Stochastiek

Mw.ir. J.M. van den Akker:

22.03 23.03 : Meeting European Doctoral Program in Quantitave Methods in Management, Londen, Engeland.

09.08 13.08 : Summer School on Combinatorial Optimization, Maastricht.

03.10 07.10 : Netflows 93, An International Workshop on Network Optimization: Theory and Practice, San Minato, Italië.
Dr.ir. E.E.M. van Berkum:

15.11 17.11 : Bijeenkomst stochastici, Lunteren

Ir. F.P.A. Coolen:

25.08 27.08 : DGOR/NSOR conference, Amsterdam.

oktober : SRE conference, Arnhem.

november : Universiteit van West Australië, Prof. P. Walley, te Perth.

Dr. A. Di Bucchianico:

juli : Europees systeemtheoriecongres, Groningen

22.10 : Internationaal symposium over Speciale Functies, Leuven, België.
Drs. M.J.A. van Eenige:

21.06 25.06 : 22nd Conference on Stochastic Processes and Their Applications, Amsterdam.

25.08 27.08 : DGOR/NSOR conference, Amsterdam.
Mw.ir. C.A. van Eijl:

22.04 23.04 : EDP meeting, Londen

09.08 13.08 : Summer School on Combinational Optimization, Maastricht.
Dr. J.H.J. Einmahl:

22.02 26.02 : Université Paris VI, Prof.dr. P. Deheuvels.

08.03 12.03 : Meeting on Mathematische Stochastik, Oberwolfach, Duitsland.

16.08 20.08 : Ninth International Conference on Probability in Banach Spaces, Sandbjerg, Denemarken.

18.10 22.10 : Universität Bielefeld, Prof.dr. D.M. Mason.
Ir. L.C.G.J.M. Habets:

03.03 05.03 : 12th Benelux Meeting on Systems and Control, Houffalize, België.

18.04 30.04 : University of Linköping, Department of Electrical Engineering, Linköping, Zweden.

23.05 30.05 : University of Notre Dame, Department of Mathematics, Notre Dame, U.S.A.

02.06 04.06 : American Control Conference, San Francisco, U.S.A.

06.06 16.06 : University of Minnesota, Control Science and Dynamical Systems Center, Minneapolis, U.S.A.

02.08 06.08 : International symposium on the Mathematical Theory of Networks and Systems MTNS '93, Regensburg, Duitsland.
Prof.dr.ir. M.L.J. Hautus:

03.03 05.03 : 12th Benelux Meeting on Systems and Control, Houffalize, België.

15.04 16.04 : Nederlands Wiskundig Congres, Amsterdam.

21.06 23.06 : IEEE mediterranean Symposium on New directions in Control Theory and

Applications, Kreta.

28.06 01.07 : European Control Conference, Groningen.

Dr. J.A. Hoogeveen:

22.02 26.02 : Workshop on randomized algorithms, Princeton University, Princeton, U.S.A.

24.03 26.03 : Workshop on approximation algorithms, instituut DIMACS, New Brunswick, U.S.A.

29.03 02.04 : Workshop on solving hard combinatorial problems, instituut DIMACS, New Brunswick, U.S.A.

09.08 13.08 : Summer School on Combinatorial Optimization, Maastricht.
Ir. G.J.J.A.N. van Houtum:

21.06 25.06 : 22nd Conference on Stochastic Processes and their Applications, Amsterdam.

25.08 27.08 : DGOR/NSOR conference, Amsterdam.

01.09 30.09 : University of Arizona, Prof. Marcel F. Neuts, Tucson, Arizona, U.S.A.

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

15.02 19.02 : Laboratoire d'Automatique de Nantes, Nantes, Frankrijk.

22.02 : Ecole des Mines, Fontainebleau, Frankrijk.

23.02 : Laboratoire des Signaux et Systèmes, Gif sur Yvette, Frankrijk.

03.03 05.03 : 12th Benelux Meeting on Systems and Control, Houffalize, België.

07.06 11.06 : Mathematisches Institut, Technische Universität Ilmenau, Ilmenau, Duitsland.

02.08 06.08 : MTNS 1993, Regensburg, Duitsland.

13.12 14.12 : Department of Electrical and Computer Engineering, The Johns Hopkins University, Baltimore, U.S.A.

15.12 17.12 : 32nd Conference on Dedision and Control, San Antonio, U.S.A.
Dr.ir. C.A.J. Hurkens:

09.08 13.08 : Summer School on Combinatorial Optimization, Maastricht.

03.10 07.10 : Netflow 93, Network Optimization, Theory and Practice, San Miniato, Italië.
Dr.ir. J.L. de Jong:

21.05 22.05 : Institute of Electronics and Mathematics, Prof. V.R. Nosov, Moscow State University, Moskou.

Prof.dr. A.G. de Kok:

: IFORS, Lissabon, Portugal.

25.08 27.08 : DGOR/NSOR conference, Amsterdam.

maart : International Production Management Conference, Washington, U.S.A.

mei : Symposium on Globalization of Operations Management.

: K. Inderfurth, Universität Bielefd, Duitsland.

Prof.dr. P. van der Laan:

02.04 24.04 : Werkbezoek met studenten GEWIS aan Japan.

25.08 01.09 : ISI Conference Firenze, Italië.

05.09 10.09 : 3rd Schwerin Conference on Mathematical Statistics   Selection procedures  , Bad Doberan, Duitsland.

15.11 17.11 : Bijeenkomst Stochastici, Lunteren.
Prof.dr. J.K. Lenstra:

17.01 23.01 : Conference on Combinatorial Optimization, Oberwolfach, Duitsland.

24.03 26.03 : DIMACS Workshop on Approximation Algorithms for Combinatorial Optimizations, Rutgers University, New Brunswick, U.S.A.

29.03 01.04 : DIMACS Workshop on Solving Hard Combinatorial Optimization Problems, Rutgers University, New Brunswick, U.S.A.

03.05 : Mathematisch Instituut, Universiteit van Linköping, Linköping, Zweden.

17.06 : Workshop on Models and Algortihms for Planning and Scheduling Problems, Menaggio, Italië.

18.07 24.07 : Institute of Applied Mathematics en Institute of System Sciences, Academia Sinica, Beijing, China.

25.07 01.08 : Institute for Computational and Applied Mathematics, Xi'an Jiaotong University, Xi'an, China.

09.08 13.08 : Summer School on Combinatorial Optimization, Maastricht.

01.09 03.09 : Symposium über Operations Research, Keulen, Duitsland.

28.09 01.10 : AIRO'93, Annual Conference of the Operations Research Society of Italy, Capri, Italië.

03.10 07.10 : Netflow 93, San Miniato, Italië.

31.10 03.11 : ORSA TIMS Joint National Meeting, Phoenix, U.S.A.

06.11 : De laatste Stelling van Fermat, Rijksuniversiteit, Utrecht.

Dr. J.A.C. Resing:

16.06 18.06 : INRIA/ORSA/TIMS/SMAI Conference on Applied Probability in Engineering, Computer and Communication Sciences, Parijs, Frankrijk.

21.06 25.06 : 22nd Conference on Stochastic Processes and their Applications, Amsterdam.

22.11 03.12 : Institut National de Recherche en Informatique et Automatique (INRIA), Centre Sophia Antipolis te Valbonne , Frankrijk.

J.R. van Rossum:

23.05 26.05 : The Fourteenth Annual Meeting of the Society for Clinical Trials, Orlando, USA.

Prof.dr. P.H.M. Ruys:

10.02 : Virginia Tech, Department of Economics Seminar, Blacksburg VA.

16.03 : Virginia Tech, Mathematical Economics Seminar, Blacksburg VA.

19.03 21.03 : Meeting of the Public Choice Society, New Orleans LA.

30.04 : Joint Seminar in Mathematical Economics, Ohio State U, Colombus OH.

20.08 26.08 : European meeting Econometric Society, Uppsala.

18.09 22.09 : Meeting Erasmus Coordinators, Lissabon.

05.11 : SISWO conference, Rotterdam.

18.11 : Workshop vakgroep Besliskunde en Stochastiek, TUE.
Ir. M. Sol:

05.04 16.04 : Georgia Insitute of Technology, Atlanta, U.S.A.

Dr. A.A. Stoorvogel:

03.03 05.03 : 12th Benelux Meeting ons Systems and Control, Houffalize, België.

04.05 07.05 : Workshop on Robust Control, Lochem.

28.05 29.05 : Workshop on Robust Controller Designs and Differential Games, University of California at Santa Barbara, U.S.A.

02.06 04.06 : American Control Conference, San Francisco, U.S.A.

28.06 01.07 : European Control Conference, Groningen.

02.08 06.08 : International symposium on the mathematical theory of networks and systems, Regensburg, Duitsland.

28.09 01.10 : Identification Workshop, Louvain La Neuve, België.

15.12 17.12 : IEEE Conference on Decision and Control, San Antonio, U.S.A.

20.12 23.12 : Washington State University, Pullman, U.S.A.

Ir. R.J.M. Vaessens:

22.04 23.04 : EDP meeting Imperial College, Londen, Engeland.

Drs.ing. N. Vellinga:

01.07 : EAERE conferentie, Fontainebleau, Frankrijk.

Prof.dr. J. Wessels:

13.01 16.01 : Technische Universiteit Warschau, Polen.

14.04 15.05 : International Insitute for Applied Systems Analysis, Laxenburg, Oostenrijk.

08.09 10.09 : Congres EUFIT'93, Aken, Duitsland.

26.09 29.09 : Workshop "Advances in methodology and software for Decision Support Systems", Laxenburg, Oostenrijk.

30.09 02.10 : Workshop "The use of neural nets for decision support", Laxenburg, Oostenrijk.

08.11 10.11 : Conference on Information Technology for safety in International Transportation, Wenen, Oostenrijk.

11.11 30.11 : International Institute for Applied Systems Analysis, Laxenburg, Oostenrijk.

Drs. R.J.G. Wilms:

02.05 07.05 : Conference on Extreme Value Theory and its Applications, Gaithersburg, MD, U.S.A.

21.06 25.06 : 22nd Conference on Stochastic Processes and their Applications, Amsterdam.

17.11 19.11 : 22nd Lunteren Meeting, Lunteren.

Dr. C.A.A.M. Withagen:

juli : Congress European Association of Environmental and Resource Economists, Fontainebleau, Frankrijk.

november : The Hebrew University, Jerusalem.
Vakgroep Discrete Wiskunde
Dr. A.G. van Asch:

17.09 20.09 : Technology in Mathematics Teaching, Birmingham, Engeland.

Dr. A. Blokhuis:

04.07 10.07 : 14th Britsh Combinatorial Conference, Keele, Engeland.

17.07 23.07 : Paul Erdos is 80, Keszthely, Hongarije.

24.07 30.07 : Geometry Festival, Budapest, Hongarije.

15.10 : Combinatorische Dag, Nijmegen.

15.11 : Kolloquium über Kombinatorik, Braunschweig, Duitsland.

Ir. M.A. de Boer:

28.06 02.07 : Arithmetic, Geometry and Coding Theory 4, Luminy, Frankrijk.

Prof.dr. A.E. Brouwer:

04.01 08.01 : Extensions of Buildings and Geometrics, Oberwolfach, Duitsland.

05.07 09.07 : 14th Britisch Comb. Conference, Keele.

12.07 16.07 : Workshop "Algebraic Graph Theory" Edinburgh.

01.11 27.11 : E.E. BANNAI, Japan.

17.11 19.11 : Algebraic Combinatories, Kyoto, Japan.

22.11 26.11 : Algebraic Combinatories, Eukuoka, Japan.
Prof.dr. N.G. de Bruijn:

27.01 29.01 : Conference on the occasion of the 70th birthday of J. Korevaar, Amsterdam.

24.05 28.05 : BRA Workshop "Types for proofs and programs", Nijmegen.

15.06 : Technische Universiteit Aken, Duitsland.

Prof.dr. A.M. Cohen:

29.01 : Math. Colloquium, Bielefield.

04.02 : Building seminar visit to Buekenhout, Brussel.

16.04 : Nederlans Math. Congres.

22.04 : Computer Algebra for Industry, Brighton.

13.05 : RIDS colloquium, Nijmegen.

01.09 : Wyne State colloquium, Detroit.

09.09 : Finite group theory seminar, Caltech, Pasadena.

29.09 : FWI colloquium, Amsterdam.

18.10 : CSI, Turijn.

28.10 : Kaleidoscoopdag 1993 "Mad about Maths", Utrecht.

19.11 20.11 : RIACA workshop, Amsterdam.

08.12/15.12 : Combinatorial Seminar, TUE.
Dr. F.G.T.M. Cuypers:

augustus : "Chevalley groups and their geometries", Como, Italië.

Ir. M.E. van Dijk:

24.05 27.06 : EUROCRYPT'93.

Drs. J.G.M. Donkers:

13.05 15.05 : Congres Le Kangourou européen, Parijs.

16.07 23.07 : Internationale Wiskundeolympiade, Istanbul.
Ir. I.M. Duursma:

03.03 : Universiteit Essen, Duitsland.

27.06 02.07 : Arithmetic Geometry and Coding Theory IV, Luminy, Marseille, Frankrijk.

22.08 27.08 : Sixth Joint Russian Swedish Workshop on Inform. Theory, Mölle, Zweden.

28.08 04.09 : Technische Universiteit Kopenhagen, Denemarken.

27.10 : Laboratoire de Mathématiques Discrètes, Luminy, Marseille, Frankrijk.

16.12 : Université de Provence, Marseille, Frankrijk.
Ir. M.J.M. van Eupen:

01.01 01.02 : Salford University, ternaire code met prof. Ray Hill, Engeland.

Ir. J.H. Koolen:

05.07 09.07 : 14th British Combinatorial Conference, Keele, Engeland.

12.07 16.07 : Workshop on algebraic graph theory in Edinburgh, Engeland.

01.09 11.11 : University of Waterloo, prof. C.D. Godsil, Kitchener Waterloo, Canada.

14.10 19.10 : University of Winnipeg, Winnipeg, Canada.

17.11 19.11 : Symposium on algebraic combinatorics in Kyoto, Japan.

22.11 26.11 : Conference Algebraic Combinatorics in Fukuoka, Japan.

29.11 : Osaka Kyoiku University in Osaka, Japan.

Prof.dr. J.H. van Lint:

07.02 10.02 : University of Glasgow, Department of Mathematics, Engeland.

04.07 : ICSU CTS Parijs, Frankrijk.

09.10 10.10 : ICMI Executive Committee, Höör, Zweden.

Dr. J.W. Nienhuys:

29.08 31.08 : Fifth European Skeptics' Conference, Keele University, Engeland.

Dr. G.R. Pellikaan:

03.03 : H. Stichtenoth te Essen, Duitsland.

13.05 17.05 : Liu Mulan, Division of Basic Mathematics, Institute of System Science, Academia Sinica, Beijing, China.

17.05 20.05 : Xiao Guozhen, Department of Mathematics, Xidian University, Xi'an, China.

21.05 23.05 : Xing Chaoping Department of Mathematics, University of Science and Technology of China, Hefei, Anhui, China.

23.05 01.06 : Shen Hao, Department of Applied Mathematics, Shanghai Jiaotong University, Shanghai, China.

04.06 08.06 : Congres IEEE 1993 Information Theory Workshop (ITW'93). Fuji Instiute of Education and Training, at Susonso shi, Shizuoka, Japan.

11.06 : K. Kohno, Yokohama National University, Division of Electrical and Computer Engineering, Yokohama, Japan.

11.06 : M. Matsui, S. Sakurai en A. Yamagishi, Information Systems and Electronic Development Department, Mitsubishi Electric Coporation, Kamakura, Japan.

15.06 16.06 : K. Imamura, Kyushu Institute of Technology, Department of Computer Science and Electronics, Iizuka, Japan.

16.06 17.06 : M. Homma, Y. Kashiwagi en T. Kato, Yamaguchi University, Department of Mathematics, Yamaguchi, Japan.

23.11 27.11 : Technische Universiteit van Denemarken, Lyngby Kopenhagen, T. Hφholdt en H.E. Jensen, Denemarken.

Drs. R.W. Versseput:

19.07 21.07 : Ecole Nationale Superieure des Telecommunications, algebraische coderingstheorie, Parijs, Frankrijk.

16.09 23.12 : Ecole Nationale Superieure des Telecommunications, algebraische

coderingstheorie, Parijs, Frankrijk.

Vakgroep Informatica
Ir. D. Alstein:

29.09 01.10 : Third International Workshop on Responsive Computer Systems Lincoln, U.S.A.

Prof.dr. J.C.M. Baeten:

23.08 26.08 : CONCUR'93, Hildesheim Duitsland.

19.09 22.09 : CONCUR2 review, Aalborg, Denemarken.

12.11 16.11 : Portland State University, Portland, Or., U.S.A.

Dr. A. Baily:

31.03 02.04 : IFIP Working Conference on Asynchronous Design Methodologies, Manchester, Engeland.

mei : IFIP WG10.2 Advanced Research Working Conference, Charme'93, Arles, Frankrijk.
Dr. R.N. Bol:

11.02 12.02 : Universiteit van Karlsruhe, Dr. J. Dix, Duitsland.

21.06 25.06 : Tenth International Conference on Logic Programming, Budapest, Hongarije.

10.09 : BeNeLog, Antwerpen.

26.10 30.10 : International Logic Programming Symposium, Vancouver, Canada.
Dr.ir. E.A. Boiten:

29.06 02.07 : Congres "Formal Methods in Programming and Their Applications", Novosibirsk, Rusland.

02.11 04.11 : ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankrijk.
Dr. P.M.E. De Bra:

01.04 : Workshop AIO's en promovendi Informatiesystemen van de werkgemeenschap Informatiesystemen van SION.

25.05 : SION Database Dag, Universiteit van Amsterdam.

28.06 30.06 : NGITS workshop (Next Generation Information Technology and Systems), Technion, Israel.

01.07 10.07 : Ben Gurion University of Negeve, Beer Sheva, Israel.

december : 5th ACM Conference on Hypertext, Seattle, Wshington.

Ir. D.R. Dams:

08.03 12.03 : IMAG, Grenoble, Frankrijk.

21.06 25.06 : ICLP'93, Boedapest, Hongarije.

28.06 01.07 : CAV'93, Elounda, Kreta.

13.09 14.09 : Workshop on Galois Connections, Utrecht.

06.12 10.12 : OFFIS en Univ. Oldenburg, Duitsland.

1993 : Diverse werkbezoeken aan IMEC en aan de Katholieke Universiteit Leuven, België.
Dr. R.T. Gerth:

14.02 20.02 : REACT Refinement, Uppsala.

08.03 10.03 : Second workshop on Protocol Verification, Mierlo.

19.04 24.04 : ATT Bell Labs, Murray Hill, NJ.

17.05 21.05 : REACT "CAV", Grenoble.

07.06 09.06 : Dr. Shenzhong Zhou, Saarbrücken.

23.08 26.08 : Fourth International Conference on Concurrency Theory CONCUR'93, Hildesheim.

18.10 21.10 : REACT "Refinement", Twente.

06.12 10.12 : Prof.dr. Werner Damm, Oldenburg.
Dr. J.H. Geuvers:

mei : BRA Workshop, Nijmegen.

november : HCM Meeting "Typed lambda calculus and Linear Logic", Rome.
Prof.dr.dipl.ing. D.K. Hammer:

29.01 : Reliability in Distributed Systems, TUE, Eurics.

20.09 24.09 : Lessach.

02.11 : Workshop "Research School for Programming", TUE.

Ir. P.F. Hoogendijk:

05.07 09.07 : Informal meeting on Categories of Relations in Computer Science, Oxford, Engeland.

02.11 04.11 : ERCIN Workshop on Development and Transformation of Programs, Nancy, Frankrijk.
Dr. J.J.M. Hooman:

08.03 10.03 : Second Workshop on Protocol Verification, Mierlo.

06.05 07.05 : STW/SION project "Fault Tolerance", Plasmolen.

21.10 : Esprit BRA, REACT, Lutte.

22.10 : STW/SION slotbijeenkomst, Plasmolen.

01.12 03.12 : IEEE Real Time Systems Symposium, Raleigh Durham.

Dr.ir. G.J.P.M. Houben:

17.09 : Hypertext'93, Seattle, USA.

Dr. C. Huizing:

21.10 : Esprit BRA, REACT, Lutte.

Dr. R. Kuiper:

07.06 09.06 : Dr. Shenzhong Zhou, Saarbrücken.

30.07 05.08 : dr. W. Penczek, Leicester.
Drs. R.H. Mak:

30.03 : Workpackage C en PMC meeting, Manchester, Engeland.

31.03 02.04 : Conference on Asynchronous Design Methodologies, Manchester, Engeland.

29.06 : PMC meeting, Leuven, België.

13.12 14.12 : Workpackage E en PMC meeting, Londen, Engeland.

20.09 22.09 : ACiD WG Workshop on Digital Signal Processing, Barcelona, Spanje.

Dr. S. Mauw:

oktober : Sixth SDL Forum, Darmstadt.

oktober : ITU TS meeting working group Q.9/10, Geneva.
Ir. W.P.M. Nuijten:

29.08 : IJCAI'93 Workshop on Knowledge Based Production Planning, Scheduling and Control, Chambery, Frankrijk.

30.08 03.09 : IJCAI'93, Chambery, Frankrijk.
Dr.ir. C.W.A.M. van Overveld:

11.03 12.03 : Conferentie 'Western Conference on Computer Graphics', Silver Star, British Columbia, Canada.

12.07 15.07 : Conferentie ATARV 93, Ankara, Turkije.
Prof.dr. J. Paredaens:

03.01 08.01 : Seminar on Graph Transformation in Computer Science, Dagstuhl, Duitsland.

03.02 04.02 : International Workshop on Influence of Collection Types in Databases, Morristown, New Jersey, U.S.A.

07.02 : Program Committee Meeting, PODS 93 conference, Morristown, New Jersey, U.S.A.

19.04 23.04 : Ninth IEEE Data Engineering Conference, Wenen, Oostenrijk.

29.04 : Meeting Contact group Fundamental Computer Science, M. Gemis, ULB, Brussel, België.

25.05 27.05 : 12th ACM SIGMAT SIGMOD SIGART Symposium on Principles of Databases Systems, Washington D.C., U.S.A.

28.05 01.06 : Indiana University, Prof. D. Van Gucht, Bloomington, IN, U.S.A.

30.06 01.07 : Politecnico di Milano, prof. L. Tanca.

27.10 30.10 : Meeting Idomeneus, Network of Excellence of EU, San Miniato, Italië.

16.11 : Database dag, SION, Nijmegen.
Ir. A.M.G. Peeters:

30.01 12.02 : AMULET Group, Computer Science Department, Manchester University, Manchester, Engeland.

30.03 : EXACT meeting, Manchester University, Manchester, Engeland.

31.03 02.04 : Workshop "Asynchronous Design Methodologies", Manchester, Engeland.

28.06 29.06 : EXACT meeting, IMEC, Leuven, België.

02.08 03.08 : AMULET Group, Computer Science Department, Manchester University, Manchester, Engeland.

11.10 12.10 : EXACT meeting, Philips Research, (NatLab), Eindhoven.

13.12 14.12 : EXACT meeting, South Bank University, Londen, Engeland.

Ir. E.A.J. Peeters:

29.11 02.12 : TOOLS conferentie, Melbourne, Australie.

Ir. E. Poll:

16.03 18.03 : International Conference on Typed Lambda Calculi and Applications, Utrecht.

24.05 28.05 : BRA Workshop on Types for Programs and Proofs, Nijmegen.

23.11 02.12 : HCM Meeting Typed Lambda Calculus, Rome, Italië.

Drs. R.D.J. Post:

13.11 21.11 : ACM Hypertext Conference, Seattle, U.S.A.

Prof.dr. M. Rem:

02.04 23.04 : diverse bezoeken, Japan.

28.08 05.09 : Banff Workshop, Banff, Canada.

Dr.ir. H.M.J.L. Schols:

04.03 05.03 : University of Utah, Department of Computer Science, Salt Lake City, Utah, U.S.A.

07.03 10.03 : University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada.

12.03 16.03 : Institute for Biomedical Computing, Washington University, St.Louis, Missouri, U.S.A.

15.03 : Washington University, Department of Computer Science, St. Louis, Missouri, U.S.A.

17.03 18.03 : SUN MicroSystems, Mountain View, California, U.S.A.

19.03 : Stanford University, Department of Computer Science, Palo Alto, California, U.S.A.

22.03 23.03 : Department of Computer Science, CalTech, Pasadena, California, U.S.A.

25.03 : The University of British Columbia, Department of Computer Science, Vancouver, Brtish Columbia, Canada.

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

21.04 23.04 : Formal Methods Europe'93 Symposium, Odense.

21.06 25.06 : 14th International Conference on Application and Theory of Petri nets, Chicago, USA.

26.10 29.10 : 6th International Conference on Formal description techniques, Boston, USA.

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

12.01 : IMAGES 2000, Aerospatiale, Toulouse, Frankrijk.

30.06 01.07 : IMAGES 2000, British Aerospace, Bristol, Engeland.

23.06 25.06 : CERN, Geneve, Zwitserland.

06.09 08.09 : CERN, Geneve, Zwitserland.

19.10 20.10 : IMAGES 2000, Deutsche Airspace, München, Duitsland.

Ir. P.T.A. Thijssen:

30.06 01.07 : IMAGES 2000, British Aerospace, Bristol, Engeland.

19.10 20.10 : IMAGES 2000, Deutsche Airspace, München, Duitsland.
Dr. R.C. Veltkamp:

08.09 10.09 : Eurographics'93 Conference, Barcelona.

Dr. C. Verhoef:

23.08 26.08 : CONCUR'93, Hildesheim, Duitsland.

: CSL93
Ir. T. Verhoeff:

20.09 22.09 : ACiD workshop, Barcelona, Spanje.

Ir. M.G.A. Verhoeven:

16.03 18.03 : CaMPP 93 Workshop, Universiteit van Amsterdam, Amsterdam.

29.03 30.03 : AIO workshop Informatiesystemen, Papendal.
Ir. J.P.C. Verhoosel:

: 7th International Parallel Processing Sympoium.

30.08 27.12 : New Jersey Institute of Technology, New Jersey, U.S.A.
Dr. M. Voorhoeve:

19.07 23.07 : CASE conferenctie, Singapore.

Ir. J.W. Wesselink:

09.11 10.11 : CSN93 congres, SION, Utrecht.

Dr.ir. H.M.M. van de Wetering:

09.11 10.11 : CSN93 congres, SION, Utrecht.