Vakgroep Discrete Wiskunde

januari : Meeting on Algebraic Combinatorics, Oberwolfach, Duitsland.

mei : Geometry day in honour of J.A. Thas, Gent, België.

september : Combinatorics, Rome en Montesilvano, Italië.

oktober : MCCCC, Nebraska, USA.

november : Discrete Metric Spaces, Bielefield, Duitsland.

10.10-14.10 : Workshop of the European network on algebraic geometry and coding theory, Valladolid, Spanje.

18.12-21.12 : EIDMA Winter Meeting, Veldhoven.

27.09-09.12 : University of Sussex, Engeland.

10.01-14.01 : Algebraic Combinatorics: Association Schemes & Representation Theory, Oberwolfach, Duitsland.

18.04-22.04 : Designs & Codes, Oberwolfach, Duitsland.

13.05-14.05 : Geometry day in honour of J.A. Thas, Gent, België.

27.06-01.07 : Graphentheory, Oberwolfach, Duitsland.

02.08-19.08 : Workshop p-modular ranks, Waterloo, Canada.

22.08-26.08 : Gruppen und Geometrieen, Oberwolfach, Duitsland.
N.G. de Bruijn:

13.01-18.01 : IHES, Bure sur Yvette, Frankrijk.

27.04-13.05 : Cornell University, Ithaca N.Y., USA.

: Carnegy Mellon University, Pittsburgh Pa, USA.

: University of Nebraska, Lincoln Ne, USA.

06.06-10.06 : Annual workshop of the EC Basic Research Project TYPES FOR PROOFS AND PROGRAMS, Baastad, Zweden.

26.06-01.07 : CADE-12, Nancy, Frankrijk.

17.09-23.09 : Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, Valletta, Malta.

25.10-28.10 : King's College, Londen, Engeland.

: Cambridge University, Engeland.

09.01-15.01 : Algebraic Combinatorics: Association Schemes and Representation Theory, Oberwolfach, Duitsland.

16.02-17.02 : Universita di Napoli, Italië.

10.03-11.03 : Mar RIACA workshop HISC, Amsterdam.

11.05 : Combinatorial Theory Seminar: Beyond the Hurwitz numbers, Eindhoven.

13.05-14.05 : Thas Colloquium, Gent, België.

16.06-24.06 : Banff Representations of Groups, Finite, Algebraic, Lie and Quan­tum, Banff AMS/Canad. Math. Soc. Summer Institute.

17.08 : CMLT workshop, Essen, Duitsland.

25.08 : Gruppen und Geometrien, Oberwolfach, Duitsland.

30.08 : Computer Algebra in Science and Engineering, Bielefield, Duits­land.

02.10-08.10 : Representation theory for Reductive groups, Luminy, Frankrijk.

28.11-02.12 : Journées thématiques medicis'Calculs de Lie': Autour des représen­tations des groups finis de type de Lie, Luminy, Frankrijk.

november : Universita La Sapienza, Rome, Italië.
F.G.M.T. Cuypers:

25.03 : DAG-Day, Brussel, België.

13.05-14.05 : Thas colloquium, Gent, België.

20.06-24.06 : Michigan State University, USA.

22.08-26.08 : Groups and Geometries, Oberwolfach, Duitsland.

01.09-21.09 : Universität Kiel, Kiel, Duitsland.

26.09-30.09 : Computer Algebra, TUE, Eindhoven.

07.10 : Dag-Day, Gent, België.

09.05-12.05 : Eurocrypt'94, Perugia, Italië.

27.06-01.07 : ISIT'94, Trondheim, Noorwegen.

sept-nov. : University of Lund, Zweden.

19.12-21.12 : EIDMA Winter Meeting on Coding Theory and Cryptology, Veld­hoven.

J.G.M. Donkers:

26.05-27.05 : Bespreking en correctieKangoeroewedstrijd, Parijs.

13.06-15.06 : Congres Le Kangourou Européen, Straatsburg, Frankrijk.

10.07-20.07 : Internationale Wiskundeolympiade, Hongkong.
I.M. Duursma:

03.03-04.03 : Université Paul Sabatier, Toulouse, Frankrijk.

18.03-23.03 : INRIA, Project Codes, Rocquencourt, Frankrijk.

05.04-09.04 : MEGA Conference, Santander, Spanje.

11.04-15.04 : Université de Valladolid, Spanje.

02.05-06.05 : Université Cornell, Ithaca, USA.

07.05-09.05 : ANTS Symposium, Ithaca, USA.

03.07-09.07 : IEEE Workshop, Moskou, Rusland.

11.09-17.09 : ACCT Workshop, Novgorod, Rusland.

26.09-30.09 : Eidma Computer Algebra Course, Eindhoven.

09.10-15.10 : HCM AGCT Workshop, Valladolid, Spanje.

18.12-21.12 : Eidma Winter Meeting, Veldhoven.

17.04-21.04 : Codes and Designs, Oberwolfach, Duitsland.

13.05 : Thas symposium, Gent, België.

27.09-28.09 : Universiteit Bielefield, Duitsland.

20.02-25.02 : Laboratoire Mathématiques Discrètes, Luminy, Frankrijk.

28.05-31.05 : Evaluatie bijeenkomst Galois Netwerk, Caserta, Italië.

25.06-01.07 : IEEE International Symposium on Information Theory, Trondheim, Noorwegen.

02.07-08.07 : IEEE International Eorkshop on Information Theory 1994, Mos­kou, Rusland.

15.09 : Univeriteit Essen, Duitsland.

08.10-15.10 : Workshop Algebraic Geometry and Coding Theory, Valladolid, Spanje.

21.11-27.11 : Technical University of Denmark, Lyngby, Denemarken.

01.12-03.12 : Université Paul Sabatier, Toulouse III, Frankrijk.

18.12-21.12 : EIDMA Winter Meeting, Veldhoven.

Quantum Analogues, TU Twente, Enschede.

17.01-18.01 : Mathematics in Engineering Education, Gotenburg.

28.05-06.06 : University of Mining and Merallurgy, Krakow, Polen.

: Technical University, Kosice.

: Technical University, Brno.

: Technical University, Praag.

8.09-210.09 : Mathematica Conference for Advanced Users, Oxford, Engeland.

26.11-03.12 : Universiteit van Luleaa, Zweden.

: Universiteit Umeaa, Zweden.
R. Struik:

16.08-19.08 : ENST, Parijs, Frankrijk.

04.12-11.12 : Israeli-French Workshop on Algebraic Coding Theory, Ben Gurion University, Tel Aviv, Israel.
H.C.A. van Tilborg:

24.06-25.06 : Coding Theory Gathering, Bergen, Noorwegen.

27.06-01.07 : IEEE International Symposium on Information Theory, Trondheim, Noorwegen.

03.07-07.07 : IEEE International Workshop on Information Theory, Moskou, Rusland.

11.07-13.07 : 1st Biennial Engineering Mathematics Conference, Melbourne, Australië.

24.11-25.11 : NIOC'94, Den Haag.

05.10 : ExSpect workshop in het kader van de onderzoekschool BETA.

28.03-31.03 : EBDT'94, Cambridge, Engeland.

01.06-01.07 : Werkbezoek aan dr. F. Kamareddine, University of Glasgow, Schotland.

18.09-30.09 : Advanced School on Typed Lambda Calculus and Functional Programming, Udine, Italië.
D.R. Dams:

15.02-18.02 : REACT meeting, Oxford, Engeland.

06.06-10.06 : IFIP TC 2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET94), San Miniato, Italië.

21.06-24.06 : 6th International Conference on Computer Aided Verification (CAV94), Stanford, USA.

07.07-08.07 : REACT meeting, Luik, België.

18.07-21.07 : Carl v. Ossietzky Universität, Oldenburg, Duitsland.

01.12 : Hogere-Orde en Object-Georienteerde Processen (HOOP) bespreking, Universiteit Leiden.

06.10-10.06 : IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), San Migniato, Italië.

20.06-24.06 : Conference on Computer Aided Verification (CAV), Stanford, USA.

27.06-01.07 : Werkbezoek aan dr. D. Peled, AT&T Bell Labs.

06.07-08.07 : Workshop + review BRA project 6021 (REACT),

26.09-30.09 : Dagstuhl workshop on Specification and Refinement of Reactive Systems, Saarbrücken, Duitsland

06.06-10.06 : ESPRIT-BRA Workshop Types for Proofs and Programs, Båstad, Zweden.

04.07-07.07 : Ninth Annual Symposium on Logic in Computer Science, Parijs, Frankrijk.
D.K. Hammer:

21.01-28.01 : ETCE, New Orleans, USA.

21.03-24.03 : IFIP WG 5.7, Gramado, Brazilië.

28.04-29.04 : IPPS/IWPDRTS, Cancun, Mexico.

04.08-11.08 : Faustweek, Zwitserland.

26.10-29.10 : SPDP/COBS, Dallas, USA.

juni-oktober : Organization Development Consultants, Graz, Oostenrijk.

oktober : Institute of Business Administration and Information Technology, Univ. of Graz, Oostenrijk.

17.01-21.01 : Seminar Relational Methods in Computer Science, Schloss Dagstuhl, Wadern, Duitsland.

19.01-21.01 : ProCoS Workshop en PVS meeting, Lyngby, Denemarken.

16.02-18.02 : Bijeenkomst in het kader van Esprit-BRA project REACT, Oxford.

25.07-28.07 : 2nd Baltic Summer School on Information Technology and Systems Engineering, Estland.

19.09-23.09 : School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Duitsland.

26.09-30.09 : Dagstuhl-Seminar on Specification and Refinement of Reactive Systems, Wadern, Duitsland.

23.11-24.11 : Symposium ADPM'94 Automation of Mixed Processes: Dynamical Hybrid Systems, Brussel, België.

R. Kuiper:

26.09-30.09 : Dagstuhl-Seminar on Specification and Refinement of Reactive Systems, Dagstuhl, Wadern, Duitsland.

01.10-02.10 : Werkbezoek prof.dr. T. Nipkow, TU Munchen, Duitsland.

19.09-30.09 : Advanced School on Typed Lambda Calculus and Functional Programming CISM, Udine. Italië

26.09 : BIBA, Bremen, Duitsland.

20.01/01.03/29.04 : Meeting Magnum, SION project, Amsterdam.

05.05 : Meeting Contact Group NFWO, Fundamental Computer Science.

24.05-28.05 : Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases (PODS), Minneapolis, Minnesota.

01.06-04.06 : Advanced Visual Interface, an International Workshop, AVI94, Bari, Italië.

29.08-30.08 : Workshop Toekomstvisie II, Vakgroep Informatica, TUE, Oosterwijk.

14.11 : Database Day, Universiteit Twente.

15.11 : Meeting Idomeneus, Universiteit Twente.

aug.-sept. : AT&T, USA.

december : University Hildesheim, Duitsland.

december : Institut of Computer Science, Warsaw, Polen.

03.11-07.11 : Asynchronous Circuits and Systems, Salt Lake City, Utah, USA.

26.10-04.11 : Institute for Biomedical Computing, Washington University, St. Louis, USA.

16.05-20.05 : ISCE 16, International conference on Software engineering, Sorrento.

22.02 : Internationale Brite-Euram Images2000 project meeting, Velizy, Frankrijk.

03.05 : Internationale Brite-Euram Images2000 project meeting, Cheltenham, Engeland.

06.07 : Internationale Brite-Euram Images2000 project meeting, Toulouse, Frankrijk

19.10 : Internationale Brite-Euram Images2000 project meeting, Hamburg,

Duitsland

12.01-13.01 : IMAGES 2000 meeting, Fokker, Amsterdam.

21.02-22.02 : IMAGES 2000 meeting, Sextant Avionique, Vélizy, Frankrijk.
R.C. Veltkamp:

25.07-29.07 : SIGGRAPH, Orlando, Florida.

12.09-16.09 : Eurographics'94, Oslo, Noorwegen.
T. Verhoeff:

22.04-24.04 : ACM meeting, New YorkCity, USA.

03.07-10.07 : IOI'94 (Internationale Informatica Olympiade), Haninge, Zweden.
L.M.G. de Vries:

26.07-07.08 : International Summer School Marktoberdorf 'Deductive program design, Marktoberdorf, Duitsland.

01.09-04.09 : Department of Computer Science, Okanagan University College, Kelowna B.C., Canada.

10.09-20.09 : Department of Computer Science, gast van prof.dr. D. Wood, University of Waterloo, Ontario, Canada.

14.10-25.10 : Department of Computer Science, gast van prof.dr. R. van den Heever en prof.dr. D. Kourie, University of Pretoria, South Africa.

26.10-30.10 : Department of Computer Science, gast van prof.dr. C. Muller, Witwatersrand University, Johannesburg, South Africa.
J.C.S.P. van der Woude:

januari : WG 2.1 observer.

17.01-21.01 : Relational methods seminar, Schloss Dagstuhl, Wadern, Duitsland.
4. Ontvangen gasten
(Tussen haakjes is achter de naam van de gast die van de gastheer vermeld)
Vakgroep Analyse
- Prof. D.W. Robinson; ANU;22 maart 1994 (A.F.M. ter Elst).

- Dr. W.R. Pestman; KUN, Nijmegen; 16 december 1994 (A.F.M. ter Elst).

- Prof. F. Constantinescu; Frankfurt am Main, Duitsland; 27 juni - 1 juli 1994; (J. de Graaf).

- Prof. D. Ingham; Leeds, Engeland; 20 - 21 januari 1994 (R.M.M. Mattheij).

- Dr. A. Taylor; Oxford, Engeland; 21 - 23 april 1994 (R.M.M. Mattheij).

- Prof. H. Engl; Linz, Oostenrijk; 21 - 24 april 1994 (R.M.M. Mattheij).

- Prof.dr. H. Neunzert; Kaiserslautern, Duitsland; 10 - 18 oktober 1994 (R.M.M. Mattheij).

- Dr. R. England; Milton Keynes; 28 oktober - 1 november 1994 (R.M.M. Mattheij).

- Prof. G. Söderlind; Lund; 13 - 15 november 1994 (R.M.M. Mattheij).

- U. Maas; Universiteit Heidelberg, Duitsland; 5 - 7 december 1994 J.H.M. ten Thije Boonk-

kamp).
Vakgroep Besliskunde en Stochastiek
- Prof.dr. F. Ruymgaart; Texas Tech University, Lubbock, USA; juni 1994 (J.H.J. Einmahl).

- Prof.dr. E. Khmaladze; Georgische Academie van Wetenschappen, Tbilisi, Georgië; half oktober - half december 1994 (J.H.J. Einmahl).

- Dr. A. Dekkers; RIVM, Bilthoven; 19 oktober 1994 (J.H.J. Einmahl).

- Prof.dr. F. Götze; Universiteit Bielefield, Duitsland; 2 november 1994 (J.H.J. Einmahl).

- Dr. R. Mnazakanov; Georgische Akademie van Wetenschappen, Tbilisi, Georgië; 8 november 1994 (J.H.J. Einmahl).

- Dr. A. Cabaña; University of Barcelona, Spanje; 9 november 1994 (J.H.J. Einmahl).

- Prof.dr. N. Hjort; University of Oslo, Noorwegen; 23 november 1994 (J.H.J. Einmahl).

- Dr. K. Forsman; Dept. of Electrical Engineering, Linkoping University, Zweden; 29 mei - 2 juni 1994 (L.C.G.J.M. Habets).

- Prof. M.F. Neuts; University of Arizona, USA; 30 - 31 mei 1994 (G.J. van Houtum).

- L. Copier; Ecole Centrale de Nantes/Université de Nantes, Frankrijk; 25 april - 16 juni 1994 (H.J.C. Huijberts).

- P. Moreau: Ecole Centrale de Nantes/Université de Nantes, Frankrijk; 25 april - 16 juni 1994 (H.J.C. Huijberts).

- F. Allgöwer; Institut für Systemdynamik und Regeltechnik, Universität Stuttgart, Duitsland; 27 - 28 april 1994 (H.J.C. Huijberts).

- Prof. S. Chakraborti; University of Alabama, USA; 17 mei - 15 juni 1994 (P. van der Laan).

- Dr. S. Dauzère-Peres; Université deToulouse, Frankrijk; 22 februari 1994 (J.K. Lenstra).

- Prof. H. Psaraftis; Technische Universiteit Athene, Griekenland; 8 maart 1994 (J.K. Lenstra).

- Prof. J. Tind; Universiteit van Kopenhagen; 16 maart 1994 (J.K. Lenstra).

- Dr. H. van Maaren; Technische Univertsiteit Delft; 19 april 1994 (J.K. Lenstra).

- D. Rebaine; Universiteit van Tizi-Ouzou; 2 - 9 mei 1994 (J.K. Lenstra).

- Dr. D. Vigo; Universiteit van Bologna; 1 - 21 september 1994 (J.K. Lenstra).

- Dr. G. Woeginger; Universiteit Graz, Oostenrijk; 29 september 1994 (J.K. Lenstra).

- Prof. B. Harris; Madison, USA; 21 - 22 juli 1994 (F.W. Steutel).

- Prof. P. Schatte; Freiburg, Duitsland; 25 - 27 oktober 1994 (F.W. Steutel).

- Dr. K. van Harn; VUA, Amsterdam; eenmaal per 6 weken (F.W. Steutel).

- Dr. J. Stoustrup; Mathematical Institute, Technical University of Denmark, Kopenhagen, Denmarkewn; 22 - 26 januari 1994 (A.A. Stoorvogel).

- Prof. A.B. Özgüller; Dept. of Electrical and Electronics Engineering, Bilkent University, Ankara, Turkey; 24 - 30 april 1994 (A.A. Stoorvogel).

- Prof. H. Kimura; Dept. of Systems Engineering, Osaka University, Japan; 20 september 1994 (A.A. Stoorvogel).

- Prof. M. Haviv; University of Sidney; 19 - 24 december 1994 (J. van der Wal).

- Dr. M. Inuiguchi; Hiroshima, Japan; 11 - 12 juli 1994 (J. Wessels).

- Dr. M. Kainuma; Tsukuba, Japan; 11 - 12 juli 1994 (J. Wessels).

- Dr. K. Takemotot; Tokyo, Japan; 6 september 1994 (J. Wessels).

- Dr. O. Tahvonen; Oulu University, Finland; april 1994 (C. Withagen).
Vakgroep Discrete Wiskunde

- Dr. T. Szönyi; Eötvös Loránd University, Budapest, Hongarije; 18 - 25 januari 1994 (A. Blokhuis).

- Prof.dr. A. Drake; University of Florida, USA; 10 januari - 11 juni 1994 (A. Blokhuis).

- E. O'Brien; Australian National University, Australié; 26 - 27 januari 1994 (A. Blokhuis).

- Dr. G. Elekes; Mathematical Institute of the Hungarian Akademy of Science, Budapest, Hongarije; 21 februari - 6 maart 1994 (A. Blokhuis).

- T. Illés; Eötvös Loránd University, Boedapest, Hongarije; 2 - 3 maart 1994 (A. Blokhuis).

- A. Szirmai; Eötvös Loránd University, Boedapest, Hongarije; 6 maart - 1 juli 1994 (A. Blokhuis).

- P. Lisonek; University Linz, Oostenrijk; 15 - 16 maart 1994 (A. Blokhuis).

- A. Seress; Ohio State University, Columbus, Ohio, USA; 16 maart 1994 (A. Blokhuis).

- A. Sali; Mathematical Institute of the Hungarian Akademy of Science, Budapest, Hongarije; 5 april - 1 juni 1994 (A. Blokhuis).

- D. Krammer;Rijksuniversiteit Utrecht; 25 mei 1994 (A. Blokhuis).

- S. Lehman; ULB, Brussel, België; 1 juni 1994 (A. Blokhuis)

- C. Huijbrechts; ULB, Brussel, België; 1 juni 1994 (A. Blokhuios).

- Prof.dr. B. Uhrin; MTA. SzTAKI, Budapest, Hongarije; 26 augustus - 5 september 1994 (A. Blokhuis/J. Seidel).

- A. Caranti; University of Trento, Italië; 19 oktober (A. Blokhuis)

- P. Magyar; Rijksuniversiteit Utrecht; 7 december 1994 (A. Blokhuis).

- W. Nickel; RWTH, Aken, Duitsland; 14 december 1994 (A. Blokhuis).

- F.M. Thomsen; University of Aalborg, Denemarken; 30 augustus 1993 - 1 februari 1994 (A.E. Brouwer).

- R.M. Hansen; University Aalborg, Denemarken; 1 september 1993 - 1 februari 1994 (A.E. Brouwer).

- K. Pedersen; University Aalburg, Denemarken; 30 augustus 1993 - 1 februari 1994 (A.E. Brouwer).

- Prof. D. Pasechnik; University of Western Australia, Perth, Australië; 22 - 29 januari 1994 (A.E. Brouwer).

- Prof. V. Levenshtein; Academy of Science, Moskou, Rusland; 21 - 28 februari 1994 (A.E. Brouwer).

- Prof.dr. A. Neumaier; University Freiburg, Duitsland; 20 - 23 september 1994 (A.E. Brouwer).

- R. Weiss; Tufts University, Medford, USA; 2 - 3 februari 1994 (A.M. Cohen).

- A. Zalesskii; University of Minsk, Rusland; 9 - 10 februari 1994 (A.M. Cohen).

- B.N. Cooperstein; University of California, USA; 16 -21 mei 1994 (A.M. Cohen).

- Dr. P.M. Johnson; Kansas State University, Manhattan, USA; 1 juli - 1 september 1994 (A.M. Cohen/H. Cuypers).

- T. Mora; Genova, Italië; 25 - 30 september 1994 (A.M. Cohen).

- M.F. Roy; Rennes, Frankrijk; 26 - 28 september 1994 (A.M. Cohen).

- L. Ronyai; Budapest, Hongarije; 24 - 29 september 1994 (A.M. Cohen).

- F. Beukers; Universiteit Utrecht; 26 september - 1 oktober 1994 (A.M. Cohen).

- Dr. L.H. Soicher; QMW College, Londen, Engeland; 25 - 30 september 1994 (A.M. Cohen).

- G. Ziegler; Konrad-Zuse Institut, Berlijn, Duitsland; 27 - 30 september 1994 (A.M. Cohen).

- N. Vavilov; University of Bielefeld, Duitsland; 19 oktober 1994 (A.M. Cohen).

- J. Rosenthal; University of Notre Dame; 2 november 1994 (A.M. Cohen).

- Prof. L. Shangzhi; University of Science and Technology, Hefei, Anhui, China; 13 - 19 november 1994 (A.M. Cohen).

- K. Lugger; University of Graz, Oostenrijk; 1 september 1993 - 1 april 1994 (R. Pellikaan).

- C. Bey; University of Rostock, Duitsland; 30 augustus 1993 - 20 maart 1994 (R. Pellikaan).

- K. Heckrodt; University of Giessen, Duitsland; 1 oktober 1993 - 1 april 1994 (R. Pellikaan).

- A. Moscher; University of Graz, Oostenrijk; 1 december 1993 - 1 juli 1994 (R. Pellikaan).

- G.L. Feng; University of Southwestern Louisiana, Lafayette, USA; 17 - 26 juni 1994 (R. Pellikaan).

- Prof. D.A. Leonard; Auburn University, USA; 24 augustus - 20 september 1994 (R. Pellikaan).

- K. Lüders-Jensen; Technical University of Denmark, Lyngby, Denemarken; 1 augustus - 22 december 1994 (R. Pellikaan).

- A.I. Barbero; University of Valladolid, Spanje; 1 september - 25 december 1994 (R. Pellikaan).

- Y. Parker; Queen Mary and west Field College, Londen, Engeland; 21 september 1994 (R. Pellikaan).

- G. Haché; INRIA, Parijs, Frankrijk; 25 september - 31 december 1994 (R. Pellikaan).

- D. Schantin; University of Graz, Oostenrijk; 1 december 1994 - 1 april 1995 (R. Pellikaan).

- D. Taylor; 24 mei 1994 (J. Seidel).

- Dr. I.I. Dumer; IPPI, Moskou, Rusland; 29 april 1994 (H.C.A. van Tilborg).

- C. Paar; University Essen, Duitsland; 16 mei 1994 (H.C.A. van Tilborg).

- Dr. Y. Kumagai; Muroran Inst. of Technology, Japan; 26 - 30 mei 1994 (H.C.A. van Tilborg).

- J.P. Tillich; ENST, Parijs, Frankrijk; 8 juni 1994 (H.C.A. van Tilborg).

- Prof.dr. R.D. Blahut; University of Illinois, USA; 19 - 24 juni 1994 (H.C.A. van Tilborg).

- Dr. P.H. Siegel; IBM Almaden Research Center, San Jose, CA, USA; 19 - 28 maart 1994/ 20 - 24 juni 1994 (H.C.A. van Tilborg).

- Dr. K. Abdel-Ghaffar; University of California, Davis, USA; 16 augustus 1994 (H.C.A. van Tilborg).

- Dr. T. Helleseth; University Bergen, Noorwegen; 20 - 27 oktober 1994 (H.C.A. van Tilborg).

- A. Frank; Eötvös Loránd University, Boedapest, Hongarije; 24 - 29 oktober 1994 (H.C.A. van Tilborg).

- Dr. A. Barg; IPPI, Moskou, Rusland; 15 november 1994 (H.C.A. van Tilborg).

- Dr. M. Blaum; IBM Research Division, San Jose, CA, USA; 8 - 20 december 1994 (H.C.A. van Tilborg).
Vakgroep Informatica
- D. Tranah; Cambridge University Press; 16 maart 1994 (J.C.M. Baeten).

- B. Bloom; Cornell University; 27 juni 1994 (J.C.M. Baeten).

- Prof. P. Wadler; Glasgow University; 3 maart 1994 (R.C. Backhouse).

- Prof. V. van Tannen; University of Pennsylvania; 8 november 1994 (R.C. Backhouse).

- E. Gudes; Ben Gurion University of the Negev, Israel.; 08 augustus 1994 (P. de Bra).

- R. Herrmann; Carl v. Ossietzky Universität, Oldenburg, Duitsland; 24 - 27 mei 1994 (D.R.

Dams).

- P. Kelb; Carl v. Ossietzky Universität, Oldenburg, Duitsland; 24 - 27 mei 1994 (D.R. Dams).

- P. Kelb; Oldenburg; 24-27 mei 1994 (R. Gerth)

- Prof. L. Welch; NJIT, New Jersey, USA;15 mei - 4 juni 1994 (D.K. Hammer)

- Prof. M. Joseph; University of Warwick, Engeland; 26 mei 1994 (D.K. Hammer)

- Prof. A. Stiyenko; NJIT, New Jersey, USA; 14 juni 1994 (D.K. Hammer).

- J.U. Skakkebaek; Technical University of Denmark, Lyngby, Denemarken; 13-15 april 1994 (J.J.M. Hooman).

- J. Vain; Institute of Cybernetics, Tallinn, Estland; 15 augustus - 4 september 1994 (J.J.M. Hooman).

- P.D'Argenio; Universidad Nacional de La Plata, Argentinië; vanaf oktober 1994 (S. Mauw).

- Dr. F. Kamareddine; University of Glasgow;United Kingdom; juli en augustus 1994 (R.P. Nederpelt).

- D. Suciu; University of Pennsylvania, USA; 6 - 12 november 1994 (J. Paredeans).

- Dr. V. Tanen; University of Pennsylvania, USA; 6 - 12 november 1994 (J. Paredeans).

- J. Haluza; Silesian University, Opava, Tjechische Republiek; 17 januari - 10 april 1994 (O. van Roosmalen).

- Dr.ir. C. van Berkel; Philips Research, Eindhoven; 3 februari 1994 (H. Schols).

- Prof. C. Molnar; Washington University, St. Louis, USA/Sun Microsystems Laboratories, Mountain View, USA; 16-22 mei 1994 (H. Schols)

- R. Kol; Technion, Haifa, Israel; 1-3 augustus 1994 (H. Schols)

- Ir. J. Langenberg; 23 november 1994 (H. Schols)

- Dr. I.G. Tabakow, Sofia, Bulgarije; 21-28 november 1994 (L.J. Somers).

- C. Molnar; SUN Microsystems; 17-22 juni 1994 (T. Verhoeff).

- J. Brzozowski; Waterloo University; 18-21 juni 1994 (T. Verhoeff).

- G. Brown; Cornell University; 9-11 juni 1994 (T. Verhoeff).

Lid promotiecommissie G.A.J. van Dooren (fac.E), 1994

Lid promotiecommissie A.B. Smolders (fac.E) 1994

Lid promotiecommissie H.J.M. Bastiaansen (TUD) 1994

Lid Nederlands URSI Comité

Lid TUE Bestuurscommissie Bibliotheek

Referent 'Journal of Engineering Mathematics'

Referent 'Quarterly Journal of Mechanics and Applied Mathematics'

Referent 'Geophysics'

Referent 'Journal of Electromagnetic Waves and Applications'

Referent 'Journal of Mathematical Analysis and Applications'
Ir. J.J.A.M. Brands:

Lid muziekcommissie Studium Generale (tot 22 december 1994)

Lid redactie 'Problem Section Nieuw Archief voor de Wiskunde'

Lid promotiecommisse R.J.G. Wilms (TUE) 1994

Voorzitter TUE-commissie Studievoorlichting

Voorzitter TUE-commissie Introductie

Lid Bestuurscommissie Ontwerpers- en korte Onderzoekersopleiding (BCO)

Voorzitter Educational Committee ECMI

Lid Studiecommissie Wiskunde B VWO (tot 1 september 1994)

Voorzitter TUE-Bestuurscommissie Facultaire Opstartdagen
Dr.ir. S.J.L. van Eijndhoven:

Referent 'Nieuw Archief voor Wiskunde'

Referent 'SIAM Journal of Control and Optimization'

Referent 'Proceedings KNAW'

Referent 'Journal of Computational and Applied Mathematics'

Lid promotiecommissie G.A. Webers (fac.N) 1994

Lid promotiecommissie L.C.G.J.M. Habets (TUE) 1994

Lid promotiecommissie M. Choukry (fac.B) 1994

Referent 'IMA Journal of Numerical Analysis'

Lid habilitatiecommissie J. Cnops (Univ. Gent) 1994

Lid examencommissie C.F.J. den Doelder (fac.N) 1994

Lid promotiecommissie G.A.L. v.d. Vorst (TUE) 1994

Lid promotiecommissie P.M.J. Rongen (TUE) 1994

Lid promotiecommissie L.J.P. Timmermans (TUE) 1994

Begeleider ir. M.J. Noot, OIO-project 'Turbulated cooling holes, Computer Modelling'

Begeleider L.J.P. Timmermans in het interafdelingsproject 'Atherosclerose'

Lid TUE- Bestuurscommissie Automatiseringsbeleid

Begeleiding B. Bogdan (TEMPUS studentmobility)

Begeleider A. Telea (TEMPUS studentmobility)

Begeleiding 2e fase IVO-student ir. C.J.M. de Jong 'Calculating displacements of visco-elastic material by the finite element method'

Secretaris van het Stevin Centrum

Redacteur 'Nieuwsbrief Industirële en Toegepaste Wiskunde'

Lid gebruikerscommissie STW-project 'Mathematische modellering van het transport van verontreinigd grondwater' (LUW)

Referent 'Parallel Computing'

Referent 'Advances in Water Resources'

Lid CICIAM (Committee for International Conferences on Industrial and Applied Mathema­tics)

Secretary/treasurer ECMI (European Consortium for Mathematics in Industry)

Lid opleidingsgroep 'Wiskunde voor de Industrie'

Lid opleidingsgroep 'Computational Mechanics' (Stevin Centrum)

Lid Wetenschapscommissie Werkgemeenschap Numerieke Wiskunde

Lid steering committee ECMI 94

Voorzitter onderzoekschool 'Stevin Centrum'

Voorzitter dagelijks bestuur vakgroep Analyse

Lid Bibliotheekcommissie

Voorzitter sectie Industriële en Toegepaste Wiskunde (WG)

Voorzitter organisatiecommissie 'Conferentie voor numerici' Woudschoten, 26 - 28 september 1994

Lid steering committee conference on 'computational fluid dynamics', BEM, Southampton, juli 1994

Associate editor 'SIAM News'

Editor Teubner series on Industrial Mathematics

Referent 'Num. Methods for PDE'

Referent 'Physical Review

Referent 'Kluwer' (boeken)

Referent 'BIT'

Referent 'Lin. Algebra and Applics'

Referent SINUM'

Referent 'Applied Numerical Mathematics'

Referent 'SISC'

Reviewer 'Math. Reviews'

1e promotor G.A.L. van de Vorst (TUE) 1994

Lid promotiecommissie J.A.W. van der Spek (fac.W) 1994

2e promotor L.J.P. Timmermans (fac.W) 1994

Lid promotiecommissie B.J. Hogervorst (UT) 1994

Lid promotiecommissie L.M.T. Somers (fac.W) 1994
Dr. J.C. van der Meer:

Referent 'Zeitschrift für angewandte Mathematik und Physik'

Referent 'Nonlinearity'

Lid European Bifurcation Theory Group

Redacteur 'Nieuw Archief voor Wiskunde'

Redacteur 'Mededelingen van het Wiskudig Genootschap'
Dr. H.G. ter Morsche:

Lid TUE-commissie 'Wetenschap en Techniek'

Lid promotiecommissie P. van den Bulck (fac.E) 1994

Referent 'Journal of Approximation theory'

Begeleiding B. Phanghe (TEMPUS Studentmobility)

Begeleiding A. Telea (TEMPUS Studentmobility)
Dr. A.A. Reusken:

Lid Advisory Board 'Computing'

Referent 'Computing'

Referent 'SIAM Journal on Numerical Analysis'

Lid redactie 'Nieuwsbrief ITW'
Prof.dr.ir. F. Schurer:

Lid College van Advies Dienstcommissie

Lid College van Beroep voor de Examens

Lid Studium Generale Commissie 'Aktueel'

Lid Sectie Sport van de Stichting Studentenvoorzieningen Eindhoven

Referent 'Journal of Approximation Theory'

Recensent 'Mededelingen van het Wiskundig Genootschap'

Programmacoördinator voor ERASMUS

Programmacoördinator voor COMETT
Dr. R.P. Stevenson:

Referent 'Computing'

Referent 'IMACS Journal of Applied Numerical Mathematics'
Dr.ir. J.H.M. ten Thije Boonkkamp:

Referent 'Journal of the Egyptian Mathematical Society'

Lid examencommissie D. Kok (fac.W)

Lid examencommissie A.W.A. de Backer (fac.W)

Lid examencommissie E.M. van Doorn (fac.W)

Lid examencommissie J.G. Bonekamp (Wiskunde voor de Industrie)

Lid examencommissie R.J.H. du Croo de Jongh (Wiskunde voor de Industrie)

Lid examencommissie A.J. Mouritz (Wiskunde voor de Industrie)

Lid examencommissie J.A. de Kok (Wiskunde voor de Industrie)
Dr.ir. A.A.F. van de Ven:

Co-promotor H.L.J. Teerling (RUG) 1994

Lid promotiecommissie P.P. Tas (fac.W) 1994

Lid promotiecommissie P.J.M. Rongen (fac.W) 1994

Lid promotiecommissie P.H.J. Vosbeek (fac.W) 1994

Lid Opleidingsgroep van Ontwerpersopleiding 'Wiskunde voor de Industrie'

Lid dagelijks bestuur van Ontwerpersopleiding 'Wiskunde voor de Industrie'

Referent 'Journal of Engineering Mathematics'

Member of Editorial Board and Referent 'International Journal of Applied Electromagnetics in Materials'

Lid Wetenschappelijke Adviescommissie ELDIM-project

Referent 'Journal of Engineering Mathematics'

Referent 'Communications in Numerical Methods in Engineering'

Referent 'NATO International Scientific Exchange Programmes'

Recensent 'Mededelingen Wiskundig Genootschap'

Recensent 'Mathematical Reviews'

Reviewer 'Journal Statistical Planning and Inference'

Reviewer 'Automatica'
Ir. E.B. Diks:

Referent 'International Journal of Production Economics'

Referent 'The Journal of the Operational Research Society of India'
Dr. J.H.J. Einmahl:

Lid promotiecommissie R. Wilms (TUE) 1994

Lid Examencommissie Technische Wiskunde
Ir. L.C.G.J.M. Habets:

Referent 'Automatica'

Referent 'Systems and Control Letters'
Prof.dr.ir. M.L.J. Hautus:

Lid Researchcommissie IPO-THE

Lid AIO Netwerk Systeemtheorie

Lid redactie Problem Section Nieuw Archief voor Wiskunde

Medeprojectleider SO-project 'Regelingen van Hierarchische systemen'

Lid TUE-Benoemingsadviescommissie Regeltechniek fac. E.

'Guest editor' van de 'Special Issue on Systems and Control' van het tijdschrift 'Linear Algebra and Applications'

Associate editor 'Mathematics of Control, Signals, and Systems'

Lid promotiecommissie P.F. Lambrechts (TUD)1994

Lid promotiecommissie J. de Does (KUB) 1994

Lid promotiecommissie F. Barb (TUD) 1994

Lid IVO-afstudeercommissie M. v.d. Burcht (TUE) 1994

Recensent 'IEEE Transactions on Automatic Control'

Recensent 'Linear Algebra & its Applications'

Recensent 'IEEE Transactions on Circuits and Systems'

Recensent 'European Control Conference'

Recensent 'International Journal of Robust and Nonlinear Control'

Recensent 'International Science Foundation'

Recensent 'IEEE conference on Decision and Control'

Recensent 'American Control Conference'

Lid Onderzoekschool i.o. DISC
Dr.ir. H.J.C. Huijberts:

Referent 'SIAM Journal on Control and Optimization'

Referent 'Systems and Control Letters'

Referent 'IEEE Transactions on Automatic Control'

Referent 'American Control Conference 1994'

Referent '33rd Conference on Decision and Control'

Referent 'European Control Conference 1995'

Referent 'International Journal of Robust and Nonlinear Control'

Referent 'Linear Algebra and Its Applications'

Referent 'Journal of Mathematical Systems, Estimation and Control'

Lid promotiecommissieYoucef Aït-Amirat (Univ. Claude Bernard Lyon) 1994

Lid Conference Editorial Board, IEEE Control Systems Society

Lid promotiecommissie M. van den Akker (TUE) 1994

Referent 'Statistica Neerlandia'

Referent 'Operations Research'

Referent 'SIAM Journal on Discrete Mathematics'
Dr.ir. J.L. de Jong:

Lid promotiecommissie J.A.H. van der Burgt (fac.W) 1994

Secretaris Working Group on Software (WGS) van de Werkgemeenschap Systeem- en Regeltheorie van de Stichting Meet- en Besturingstechnologie (SMBT)

Lid Coördination Committee 'Collection and Distribution of CACSD software summaries, ELCS'
Prof.dr. P. van der Laan:

Lid European Institute for Quality Management

Lid Werkgemeenschapscommissie Stochastiek

Lid promotiecommissie F.P.A. Coolen (TUE) 1994

Voorzitter Vertrouwenscommissie Universiteitsraad TUE

Lid Wetenschappelijke Raad van Onderzoekschool BETA

Lid Speerpuntcoördinatiecommissie voor het Speerpunt Kwaliteitsmanagement voor Onder­zoekschool BETA

Referent 'Journal Statistical Planning and Inference'

Lid promotiecommissie C. Duin (UvA) 1994

Lid promotiecommissie P. Zwietering (TUE) 1994

Lid promotiecommissie M. Sol (TUE) 1994

Lid promotiecommissie W. Nuijten (TUE) 1994

Lid promotiecommissie J.M. van den Akker (TUE) 1994

Voorzitter Mathematical Programming Society

Lid Wetenschappelijke Adviesraad Stichting Wetenschappelijk Onderzoek Verkeersveilig­heid

Voorzitter TUE-Bestuurscommissie Wetenschaps- en Techniekweek

Lid jury VVS-prijs, Vereniging voor Statistiek

Lid bestuur Wiskundig Genootschap

Lid bestuur Akademie Raad voor de Wiskunde

Managing Editor 'CWI Monographs, CWI Tracts, CWI Syllabi'

Lid Advisory Board 'SCIMA Special Series'

Advisory Editor 'Wiley/Interscience in Discrete Mathematics and Optimization

Lid Editorial Advisory Board 'Kluwer Series in Operations Research/Computer Science Interface'

Lid Advisory Board 'Excerpta Informatica'

Associate Editor 'International Journal of Foundations of Computer Science'

Editor-in-Chief 'Mathematics of Operations Research'

Area Editor for Design and Analysis of Algorithms 'ORSA Journal on Computing'Associate Associate Editor 'Statistica Neerlandica'

Lid Organizing Committee Combinatorial Optimization '94, Amsterdam, 5-8 april 1994

Lid Symposium Advisory Committee; Lid International Program Committee Fifteenth Inter­national Symposium on Mathematical Programming, Ann Arbor, USA 15-19 augustus 1994

Lid Program Committee Second Annual European Symposium on Algorithms, Utrecht, 26-28 september 1994
Dr. J.A.C. Resing:

Referent 'Discrete Event Dynamics Systems'

Referent 'American Control Conference'

Referent 'ASME Journal Dynamic Measurements and Control'

Referent 'Automatica'

Referent 'Mathematical Reviews'

Referent 'Linear Alg. & Application'

Referent 'SIAM Journal on Control and Optimization'

Referent 'IEEE Transactions on circuits and systems'

Subject Editor 'International Journal of Robust and Nonlinear Control'

Associate Editor 'IEEE Transactions on Automatic Control'

Member Program Committee 1994 IEEE Conference on Decision and Control

Ir. R.J.M. Vaessens:

Referent 'Discrete Applied Mathematics'
Dr. W.Z. Venema:

Voorzitter Landelijke SURFnet gebruikersgroep voor computer en netwerkbeveiliging

Voorzitter Interuniversitaire Werkgroep Beslissingsondersteunende Systemen en Modellen

Voorzitter VVS (Nederlandse Vereniging voor Statistiek en Operations Research).

Lid bestuur Landelijk Netwerk Mathematische Beskiskunde

Lid bestuur Onderzoekschool i.o. BETA

Lid Wetenschappelijke Raad Onderzoekschool i.o. BETA

Themaleider Onderzoekschool i.o. BETA

Vice-voorzitter dagelijks bestuur NADO-cursus Logistiek

Lid docentenraad NADO-cursus Logistiek

Lid adviesraad NADO-cursus Logistiek

Voorzitter Onderwijscommissie voor de NADO-cursus Wiskunde voor de Industrie

Lid voorbereidingscommissie Europees Onderzoeksinstituut EURANDOM

Lid beoordelingscommisssie Samenwerkingsprojecten van het Samenwerkingsorgaan Bra­bantse Universiteiten

Redacteur 'Statistics and Decisions'

Redacteur 'Nieuw Archief voor Wiskunde'

Lid Advisory Board 'Operations Research Spektrum'

Lid editorial board 'Mathematics of Industrial Systems'

Lid redactie 'Nieuwsbrief ITW'

Referent 'European Journal of Operational Research'

Referent 'Statistica Neerlandica'

Reviewer 'Mathematical Reviews'

Lid promotiecommissie S. Borst (KUB) 1994

Reviewer Pools onderzoekprogramma Decision Support Systemen

Projectleider voor Methodology of Decision Analysis van het International Institute for Applied Systems Analysis

Referent 'Environmental and Resource Economics'

Referent 'Resource and Energy Economics'

Referent 'Journal of Economics'

Referent 'European Economic Review'

Referent 'International Economic Review'

Editor 'Designs, Codes and Cryptography'

Editor 'Journal of Algebraic Combinatorics'

Editor 'Combinatorica'

Editor 'Linear Algebra and its Applications'

Referent 'Journal of Statistical Planning and Inference'

Referent 'European Journal of Combinatorics'

Referent 'Bolay Mathematical Society'

Referent 'Combinatorica'
Ir. M.A. de Boer:

Referent 'Designs, Codes and Cryptography'

Lid promotiecommissie Feng Wen Sun (TUE) 1994

Lid promotiecommissie T. Verhoeff (TUE) 1994

Lid promotiecommissie P. Bours (TUE) 1994

Lid promotiecommissie M. de Graaf (UvA) 1994

Lid promotiecommissie D. Krammer (RUU) 1994

Lid promotiecommissie R. Struik (TUE) 1994

Lid promotiecommissie J. van Tilburg (TUE) 1994

Editor 'Designs & Cryptography'

Editor 'Journal Algebraic Combinatorics'

Editor 'European Journal Combinatorics'

Referent 'Designs & Cryptography'

Referent 'Discrete Mathematics'

Referent 'European Journal Combinatorics'

Referent 'Journal Algebraic Combinatorics'

Referent 'Journal Combinatorics'

Referent 'Journal Combinatorial Theory' (A)

Referent 'Jounal Combinatorial Theory' (B)

Referent Journal Graph Theory'

Referent 'Journal Statistical Planning & Inference'

Referent 'Mathematical Computing'

Referent 'Mathematical Reviews'

Voorzitter bestuur EIDMA

Adviseur CWI

Lid Landelijk Samenwerkingsverband Algebra en Meetkunde

Lid Werkgemeenschap Discreet Nederland

Lid Stichting Computer Algebra Nederland (tot 1 november 1994)

Lid MEGA programme committee

Lid Rhine computer algebra scientific committee

Lid jury category Mathematics of the European Academic Software Award (EASA)

Lid promotiecommissie T. Verhoeff (TUE) 1994

Lid promotiecommissie L. Habets (TUE) 1994

Lid promotiecommissie J. Koolen (TUE) 1994

Lid promotiecommissie D. Krammer (RUU) 1994
Dr. F.G.M.T. Cuypers:

Recensent 'Mededelingen van het Wiskundig Genootschap'

Recensent 'Zentralblatt für Mathematik und ihre Grenzgebiete'

Referent 'Journal of Algebra'

Referent 'European Journal of Combinatorics'

Referent 'Geometriae Dedicate'

Lid Bestuurscommissie eerstegraadslerarenopleiding TUE

Lid TUE-werkgroep didactiek

Lid Landelijke werkgroep didactiek van de wiskunde

Lid Nederlandse Onderwijscommissie voor Wiskunde

Lid vraagstukkencommissie Nederlandse Wiskundeolympiade

Referent 'Electronics Letters'

Referent 'IEEE Transactions on Information Theory'

Referent 'Journal of Cryptology'

Redacteur 'Discrete Mathematics'

Redacteur 'Journal of Combinatorial Theory' (A)

Redacteur 'Geometriae Dedicate'

Redacteur 'Theoretical Computer Science'

Redacteur Zentralblatt für Mathematik'

Redacteur 'Designs, Codes and Cryptography'
Drs. W.H.J.H. van Meeuwen:

Lid Bestuurscommissie eerstegraads Lerarenopleiding

Referent 'IEEE Transactions on Information Theory'

Referent 'Discrete Mathematics'

Referent 'Proceedings of Arithmetic, Geometry and Coding Theory 4'

Referent 'Journal of Pure and Applied Algebra'

Referent 'Algebra Colloquium'

Reviewer 'Zentralblatt für Mathematik und ihre Grenzgebiete'

Editor 'Proceedings Arithmetic, Geometry and Coding Theory 4'

Lid promotiecommissie H. Monuur (KUB) 1994

Lid Bestuurscommissie Eerstegraads Lerarenopleidingen (sinds 2 juni 1994)

Lid bestuur CAN

Lid Nerderlandse Onderwijscommissie voor Wiskunde

Vice-voorzitter SEFI-mathematics working group

Lid organisatiecomitee SEFI-8, Praag

Extern referent Open Universiteit
Ir. M. Struik:

Referent 'Journal of Combinatorial Theory'

Referent 'Applicable Algebra in Engineering, Communication and Computing'
Prof.dr.ir. H.C.A. van Tilborg:

Associate Editor 'Designs, Codes and Cryptography'

Lid Board of Governors van IEEE Information Theory Society

Associate Editor 'Journal of Combinatorics, Information & System Sciences'

Wetenschappelijk directeur van de research school EIDMA

Redacteur 'Nieuwsbrief ITW'

Referent 'IEEE Transactions on Information Theory'

Referent 'IEEE Transactions on Computers'

Referent Electronic letters'

Referent 'Discrete Mathematics'

Reviewer 'Mathematical Reviews'

Lid promotiecommissie F.W. Sun (TUE) 1994

Lid promotiecommissie C. Paar (Univ. Essen) 1994

Lid promotiecommissie P.A.H. Bours (TUE) 1994

Lid promotiecommissie M. Struik (TUE) 1994

Lid promotiecommissie J. van Tilburg (TUE) 1994

Lid promotiecommissie T. Johansson (Lund Institute of Technology) 1994

Lid Program committee IEEE International Workshop on Information Theory, Moskou, Rusland, juli 1994

Co-chairman EIDMA Wintermeeting on Coding Theory, Information Theory and Cryptology, Veldhoven, december 1994
Dr.ir. H.A. Wilbrink:

Referent 'European Journal of Combinatorics'

Referent 'Glasnik Matematicki'

Referent 'Journal of Statistical Planning and Inference'

Referent 'Discrete Mathematics'
4 Vakgroep Informatica
Dr.ir. W.P.M. van der Aalst:

Referent 'Computers in Industry'

Lid docentenraad Nadoctorale opleiding Logistieke Besturingssystemen (NADO-logistiek)
Prof.dr. E.H.L. Aarts:

Referent 'Discrete Applied Mathematics'

Referent 'European Journal of Operational Research'

Referent 'Information Processing Letters'

Referent 'Journal of the Operational Research Society'

Referent 'Mathematics of Operations Research'

Referent 'Operation Research Letters'

Referent 'Operations Research'

Referent 'ORSA Journal of Computing'

Referent 'Wiley & Sons'

Referent 'Stichting Informatica Onderzoek Nederland'

Reviewer 'Mathematical Reviews'

Reviewer 'Zentralblatt für Mathematik'

Lid Programme committee Parallel Problem Solving from Nature 1994

Lid Programme committee Parallel Architectures and Languages Europe 1994

Editor 'Journal Evolutionary Computing'

Editor 'Journal on Heuristics'

Editor 'Local Search in Combinatorial optimization'

Lid promotiecommissie J.M. van den Akker (TUE) 1994

Lid promotiecommissie F.P.M. Beenker (UT) 1994

Lid promotiecommissie S. El-Kassas (TUE) 1994

Lid promotiecommissie A.P. Kostelijk (TUE) 1994

Lid promotiecommissie W.P.M. Nuijten (TUE) 1994

Lid promotiecommissie P.M.P. Rambags (TUE) 1994

Lid promotiecommissie M. Sol (TUE) 1994

Lid promotiecommissie P. Vandenbulck (TUE) 1994

Lid promotiecommissie P.J. Zwietering (TUE) 1994

Lid RCO Curriculum-adviesgroep Technische Wiskunde

Lid Speerpuntcoördinatiecommissie Onderzoekschool BETA
Prof.dr. R.C. Backhouse:

Editorial 'Science of Computer Programming'

Editorial 'Journal of Universal Computer Science'

Editor 'Formal Aspects of Computer Science'

Lid Advisory board Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland and University of Waikato, New Zealand

Lid Programme Committee Procomet '94, IFIP TC 2 Working Confernce on Programming Concepts, Methods and Calculi, 6-10 juni 1994, San Miniato, Italië

Promotor J.A.A. Coenen (TUE) 1994

Tweede promotor H.P. Korver (UvA) 1994

Tweede promotor W.J. Fokkink (UvA) 1994

Promotor R.J. Huis in 't Veld (TUE) 1994

Promotor V.A.J. Borghuis (TUE) 1994

Lid promotiecommissie H.A. van Thienen (KUN) 1994

Lid promotiecommissie A. van Deursen (UvA) 1994

Lid promotiecommissie N.W.P. van Diepen (KUN) 1994

Lid bestuur onderzoekschool i.o. IPA

Voorzitter steering committee CONCUR conferenties

Redacteur 'IEEE Parallel & Distributed Technology'

Gastredacteur special issue 'The Computer Journal'

Lid programmacommissie CONCUR'94, Uppsala, Zweden

Lid bestuur Vereniging voor Theoretische Informatica i.o.

Reviewer ESPRIT Basic Research Action CONFER

Projectleider NFI project TRANSFER

Coördinator ESPRIT Basic Research Action CONCUR2

Projectleider SION project Real Time and Space Process Algebra

Mede projectleider SION project HOOP (Higher-Order and Object Oriented Processes)

Lid bestuur SOBU zwaartepuntproject DenK

Dr. P.M.E. de Bra:

Lid interfacultaire commissie BMGT

Lid programmaraad PAO Informatica

Lid bestuur Onderzoekschool SIKS

Lid stuurgroep en examencommissie van de studierichting Informatie- en Bibliotheekweten­schap aan de Universitaire Instelling Antwerpen

Lid Instituut voor Informatica van de Universiteit Antwerpen

Referent 'Data and Knowledge Engineering'

Lid voorbereidingscommissie voor de afstudeerrichting Bedrijfsinformatica

Coördinator thema informatie- en communicatiesystemen onderzoekschool BETA

Referent 'Formal Aspects of Computing'

Referent 'Information Processing Letters'

Referent 'Science of Computer Programming'

Reviewer 'Zentralblatt für Mathematik'
Dr. A. van Deursen:

Editor Electronische nieuwsbrief Algebraic Methodology and Software Technology 'AMAST Links'

Referent 'Data & Knowledge Engineering'

Adviseur Algorithmic Research
Dr.ir. J.P.H.W. van den Eijnden:

Extern adviseur bij EXIN Examencommissie HP2

Reviewer 'Mathematical Reviews'

Referent 'Conference on Typed Lambda Calculus and Applications (TLCA)'

Referent ''Proceedings ESPRIT-BRA Workshop TYPES

Referent 'CONCUR '94'

Referent 'Nordic Journal of Computation'

Referent 'Annals of Pure and Applied Logic'
Prof.dr.dipl.ing. D.K. Hammer:

Lid promotiecommissie S.K. Jung 1994

Lid promotiecommissie G.J.M. Smit 1994

Lid promotiecommissie J.J.M. Trienekens 1994

Promotor H.J.J.H. Schepers 1994

Lid promotiecommissie W. Hofman 1994

Lid promotiecommissie M. Wiecorek 1994

Lid promotiecommissie L. Lucardie 1994

Asociate editor 'Journal of Real-Time Systems'

Lid organisatiecommissie 2nd IEEE Workshop on Parallel and Distributed Real-Time Sys­tems, Cancun, Mexico, april 1994

Lid program committee Symposium, of Quality Software Development Tools, Washington,

USA, juni 1994

Lid program committee IEEE International Workshop on Object-Oriented Real-Time Depen­dable Systems, Dana Point, California, USA, oktober 1994

Program Co-Chair 1st Workshop on Concurrent Object-Based Systems at the 6th IEEE Symposium, on Parallel and Distributed Processing (SPDP'94), Dallas, Texas, USA, oktober 1994

Co-organizer of the first Conference of the Dutch Action Learning Association, Wageningen, november 1994

Lid program committee 1st International Workshop on Real-Time Computing Systems and Applications, Seoul, Korea, december 1994

Lid program committee 4th International Workshop in Responsive Computer Systems (RCS'95), Berlijn, Duitsland, maart 1995

Board member of the post-graduate designer course for Computer-Aided Design and Mani­facturing of Discrete Products

Lid onderzoekprogramma DenK, zwaartepunt Samenwerkingsorgaan Brabantse Universitei­ten
Prof.dr. K.M. van Hee:

Lid promotiecommissie W. Koorn (UvA) 1994

Lid promotiecommissie Schepers (TUE) 1994

Lid promotiecommissieYi Ping Yang (Univ. Versaille) 1994

Promotor W. Hofman (TUE) 1994

Promotor P. Rambags (TUE) 1994

Promotor W. Nuyten (TUE) 1994
Prof.dr. P.A.J. Hilbers:

Lid werkgroep High Performance Computing and Networking, Simulation and Design

Lid program committee Parle94

Lid promotiecommissie P.J. Zwietering (TUE) 1994

Lid beoordelingscommissie Onderzoeksvoorstellen SION

Reviewer 'EU Europort 2 PACC'

Lid kerncommissie K. Esselink (RUG)
Dr. J.J.M. Hooman:

Co-promotor J.A.A. Coenen (TUE) 1994

Lid promotiecommissie M.J. Wieczorek (KUN) 1994
Dr. A. Kaldewaij:

Voorzitter bestuur Christiaan Huijgens College, Eindhoven

Lid promotiecommissie N. Drost (UvA) 1994

Lid promotiecommissie R. Huis in 't Veld (TUE) 1994

Promotor E. Poll (TUE) 1994

Lid promotiecommissie D.H. Fijma (UT) 1994

Lid promotiecommissie M. Pennings (RUU) 1994

Lid opleidingsgroep OOTI

Dr. E.J. Luit:

Referent '2e International Workshop on Parallel and Distributed Real-Time Systems'

Referent '3e International Workshop on Parallel and Distributed Real-Time Systems'

Referent 'Real-Time Systems'

Referent 'Computers in Industry'

Reviewer 'Informatie'

Reviewer 'Formal Aspects of Computing'

Referent 'PARLE 94 Conferentie'

Referent 'ASYNC94 conferentie'
Dr. S. Mauw:

Lid Examencommissie EXIN AMBI module HP4 (tot mei 1994)

Associate rapporteur ITU-TS working group Q.9/10

Lid promotiecommissie J.J. Brunekreef (UvA) 1994

Lid Program committee ACP94
Dr. R.P. Nederpelt:

Lid promotiecommissie V. van Oostrom (VUA) 1994

Lid promotiecommissie J. Jaspars (KUB) 1994

Lid promotiecommissie E. Poll, (TUE) 1994

Lid promotiecommissie V.A.J. Borghuis (TUR) 1994

Reviewer 'Mathematical Reviews'

Penningmeester bestuur Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen
Ir. M.P. van Ouwerkerk-Dijkers:

Lid raad Opleidingen Koninklijk Instituut van Ingenieurs

Lid bestuur Catharina van Tussenbroekfonds

Lid werkgroep Landelijk Beleid Vereniging van Vrouwen met Academische Opleiding

Lid bestuur Annie van Dierenschool, Tilburg

Lid TUE-commissie Onderwijs Sevice Centrum

Lid commissie Studievoorlichting

Lid commissie Introductie

Lid commissie Facultaire Opstartdagen

Lid Begeleidingscommissie Pré Intro

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

Voorzitter tentoonstellingscommissie Studium Generale

Lid Begeleidingscommissie Studium Generale

Lid Gemeenschappelijke commissie Biomedische en Gezondsheidstechnieken (BMGT)

Referent 'The Visual Computer'

Referent 'Conferentie Eurographics 1995'

Referent 'ACM Solid Modeling'

Lid adviecommissie CWI 'Interactieve sytemen'

Lid adviescommissie BMGT 'Studierichting BMT-ingenieursopleiding'

Prof.dr. J. Paredeans:

Lid promotiecommissie E. Martin (Fernuniv. Hagen, Duitsland) 1994

Lid promotiecommissie C. Thuyn (UIA) 1994

Lid promotiecommissie E. van Gestel (KU Leuven, België) 1994

Lid promotiecommissie P. Spruyt (VUA) 1994

Lid promotiecommissie P. Rambags (TUE) 1994

Lid promotiecommissie R. Bal (UT) 1994

Lid program committee of the Second International Workshop on Advanced Visual Interfa­ces, AVI 94, Bari, Italië, 26-28 mei 1994

Prof.dr. M. Rem:

Lid Opleidingsgroep Ontwerpersopleiding Communicatie- en Informatietechniek

Redacteur 'Science of Computer Programming'

Redacteur 'Integration'

Redacteur CWI Monographs'

Redacteur Cambridge International Series on Parallel Computation'

Voorzitter SION Beoordelingscommissie Projectvoorstellen

Promotor T. Verhoeff (TUE) 1994

Lid promotiecommissie R.J. Huis in 't Veld (TUE) (fac.E) 1994

Lid promotiecommissie P. Lucassen (RUG) 1994

Lid promotiecommissie M. Seutter (KUN) 1994

Lid promotiecommissie T.M. Willems (TUE) (fac.W) 1994

Voorzitter TUE-Bestuurscommissie Techniek voor de Toekomst (tot augustus 1994)

Voorzitter TUE-Bestuurscommissie Technology Assessment

Lid Redactiecommissie 'Matrix'

Lid CCTO (Certificatiecommissie Technologische Ontwerpers)

Directeur onderzoekschool i.o. IPA

Voorzitter Commissie Internationale Informatica Olympiade '95
Dr. L.J.A.M. Somers:

Lid promotiecommissie W. Hofman (TUE) 1994

Lid interfacultaire werkgroep Procesbesturing

Scientific associate to CERN, Geneva

Referent 'Computers in Industrie'

Referent '1st European Dependable Computing Conference'

Referent '3rd Workshop on Parallel and Distributed Sytems

Adviseur faculteit Technische Natuurkunde
Dr. R.C. Veltkamp:

Editor 'CWI Quarterly'

Referent First International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC94)

Referent 'Information Processing Letters' (IPL)

Referent 'Computing Science in the Netherlands'

Lid Program Committee for final ACiD-WG event

Voorzitter Scientific Committee IOI'95

Lid Program committee Final ACiD 'event' 30-31 mei 1995
Dr.ir. H.M.M. van de Wetering:

Lid Opleidingsgroep Computergesteund ontwerpen en fabriceren van discrete produkten

A simplified proof of Girard's paradox (22.02.1994)

Why typed lambda calculus is the most natural system for Natural Deduction (08.03.1994)

Higher-Order Rewriting Systems (22.03.1994)

Information Highways needs strict Information Paradigms. (19.04.1994)

The come back of process-oriented design methods for information systems (19.04.1994)

Quotients in simple type theory. (03.05.1994)

Optimaliseren en Leren in Bolzmann-Machines (17.05.1994)

Object-Oriented RL (31.05.1994)

A formalization of the Ramified Type Theory (08.11.1994)

De relatie tussen semantische tableaus en resolutie-calculi (22.11.1994)

Bewijstechnieken voor propositionele logica met toepassingen (06.12.1994)

Parallelization of Multi-Grid (12.01.1994)

Analysis of a laminar, one-dimensional flame (26.01.1994)

Parallel Runge-Kutta-Nystrom (RKN) methods (09.02.1994)

Modelling and numerical simulation of viscous sintering (23.02.1994)

Drs. A.J. Geurts (TUE)

A Fortran Subroutine for Column Reduction of Polynomial Matrices (09.03.1994)