4 Overige onderwijs- en onderzoekactiveiten

4

Overige onderwijs- en onderzoekactiveiten

4.1

Symposia, cursussen, gastdocentschappen Dr. A.T.M. Aerts organiseerde de PAO-cursus "Communicerende Database Systemen", 11, 12, 18 en 19 november 1991, te Eindhoven. Deze cursus werd tevens verzorgd door dr. P.M.E. de Bra en dr. H.J. Pels (Bdk). Dr. A.T.M. Aerts coördineerde en droeg bij aan het blok "Informatie Management" van de opleiding Transport en Logistieke Dienstverlening van het TIAS, Tilburg. Prof.dr. R.C. Backhouse organiseerde een Eurics workshop te Ameland, 22-27 september 1991. Dr. A. Bijlsma was lid van het organisatiecomité van het symposium "De ingenieuze informatica: op weg naar 2000", 26 september 1991. Dr. F.S. de Boer organiseerde samen met J.N. de Kok en P. Panangaden de Postconference Workshop on Semantic Models for Asynchronous Communication in conjunctions with the International Logic Programming Symposium, San Diego, California, 1 november 1991. Dr. P.M.E. de Bra organiseerde samen met prof.dr.dipl.ing. D.K. Hammer en dr. O. van Roosmalen de Post-Academische cursus Object-Oriented Methods. Deze cursus werd voor de eerste maal gegeven voor de Philips Akademie, Nürnberg, Duitsland, 1-4 juli 1991. Dr. P.M.E. de Bra organiseerde een "Database Club" (lees en voordrachten-club) binnen de vakgroep Informatica. Dr. P.M.E. de Bra organiseerde een "User-Interface Club" (leesclub) binnen de faculteit Wiskunde en Informatica. (vanaf juni 1991). Dr. P.M.E. de Bra was mede-organisator van de workshop van het AIO netwerk informatiesysytemen, 3-7 juni 1991. Dr. P.M.E. de Bra verzorgde het gastcollege "Realisatie van een Gegevensbank" aan de Universitaire Instelling Antwerpen, in de opleiding Documentatie- en Bibliotheekwetenschap. Drs. C. Claus en drs. B.M. de Reus verzorgden een cursus datamodellering aan de partners in het PROOFS-project (Esprit project 5342), ITI-Delft, 17-18 september 1991. Drs. C. Claus gaf een demonstratie van ExSpect op een SUN-workstation tijdens het congres "10 jaar informatica", in de Reehorst te Ede, 26 september 1991. Drs. C. Claus gaf een demonstratie van ExSpect op een SUN-workstation tijdens de VWOvoorlichtingsdagen, TUE, 15 oktober 1991. Prof.dr.dipl.ing. D.K. Hammer gaf de cursus "Effectief automatiseren" aan de Techn. Universität Wien, 22-28 januari 1991.

Lotgevallen W&I 1991 – p.128

Prof.dr.dipl.ing. D.K. Hammer gaf de cursus DOS, BIBA te Bremen, Duitsland, 11-14 november 1991. Prof.dr.dipl.ing. D.K. Hammer gaf de cursus Computer Netwerken, Philips Akademie te Nürnberg, Duitsland, 24-28 november 1991. Dr. C. Huizing, dr. J. Hooman en mw M. Munter organiseerden de workshop: "Real-Time: theory in Practice" in Hotel de Plasmolen te Mook, 3-7 juli 1991. A. Korlaar was docent van All Union Summerschool 1991 on Control Problems, Alushta, Krim, GOS, 15-26 mei 1991. Dr.ir. M. van Lierop organiseerde het symposium "Computer, Poetsdoek van de Toekomst ?" TUE, 21 februari 1991. Dr. R.P. Nederpelt organiseerde het Zuidelijk Interuniversitair Colloquium. Mw.ir. M.P. Ouwerkerk-Dijkers organiseerde het TU-lustrum "10 jaar Informatica". Dr.ir. C.W.A.M. van Overveld verzorgde enkele gastcolleges voor de stichting voor Computeranimatie Nederland (SCAN). Drs. B.M. de Reus ondersteunde de logistieke modellering op de luchthaven Schiphol, septemberoktober 1991. Dr. O. van Roosmalen prensenteerde "Een ontwerpmethode voor real-time kennissystemen", NAIC/AIT, VUA, Amsterdam, 27 november 1991. Ir. H.M.J.L. Schols, prof.dr. M. Rem en prof.dr. C.E. Molnar organiseerden de "Workshop on Design and Inplementation of Asynchronous Circuits", Amsterdam, 10-14 november 1991. Dr. L.J.A.M. Somers en dr. M. Voorhoeve verzorgden cursussen in PROOFS verband: - te Eindhoven, 6 februari 1991, - te Parijs, 6-7 maart 1991. Dr. P.D.V. van der Stok ontwierp een controlesysteem voor de te ontwikkelen electron opslagring: EUTERPE, aan de faculteit Technische Natuurkunde. Dr. M. Voorhoeve verzorgde, ondersteund door drs. B.M. de Reus, een cursus in PROOFS verband, Perugia, Italie, 17 december 1991 . Dr. M. Voorhoeve verzorgde een ExSpect cursus, Den Haag, 20 februari 1991. Drs. J.G.M. Donkers organiseerde de 2e ronde van de Nederlandse Wiskunde Olymiade aan de TUE, 6 september 1991. Drs. J.G.M. Donkers verzorgde het trainingskamp van de Wiskunde Olympiade te Valkenswaard, 27-31 mei 1991. Drs. J.G.M. Donkers verzorgde de training en begeleiding van de Nederlandse deelnemers aan de Internationale Wiskunde Olympiade. Drs. J.G.M. Donkers verzorgde de begeleiding van de Nederlands ploeg bij de Internationale Wiskunde Olympiade te Sigtune in Zweden, 12-23 juli 1991.


Drs. W.H.J.H. van Meeuwen verzorgde en organiseerde samen met prof.dr. F.H. Simons de nascholingscursus "Computeralgebra". Dr.ir. H.C.A. van Tilborg was mede-organisator van het symposium "Gegevensbeveiliging in de Industrie" te Eindhoven, 6 juni 1991. Dr.ir. J.K.M. Jansen verzorgde de cursus "Eindige Elementen Methode" voor het Instituut Wiskundige Dienstverlening te Eindhoven (IWDE). Dr.ir. J.K.M. Jansen verzorgde in samenwerking met het instituut Vervolgopleidingen de PATOcursus "De Wiskundige basis van benaderingsoplossingen". Ir. J.G.M.M. Smits verzorgde samen met prof.dr. F.H. Simons de cursus "Mathematica" voor docenten van de Hogeschool Utrecht, 22 en 25 oktober 1991. De vakgroep Analyse heeft een aantal bijeenkomsten belegd met groepen binnen en buiten de universiteit: Symposium numerieke wiskunde in de werktuigbouw, 15 februari 1991. Bijeenkomst met de vakgroep Transportfysica (N), 12 juni 1991. Bijeenkomst met de groep Fabrieks- & Apparatenbouw (W), 26 september 1991. Bijeenkomst numerieke simulatie aan vlammen/verbranding, 15 november 1991. Bijeenkomst met de Applied Mathematics Group (Philips Nat. Lab.), 13 december 1991. Dr. H.G. ter Morsche was i.v.m. ECMI-opleiding gastdocent aan de University of Strathclyde, Glasgow, Schotland, 19-26 april 1991. Ir. F.P.A. Coolen organiseerde samen met drs. R.J.G. Wilms het Colloquium Kansrekening en Statistiek. Dr.ir. J.L. de Jong was (mede-)docent van de cursus "Technieken voor de Mathematische Programming" van het Landelijk Netwerk Mathematische Besliskunde te Utrecht. Dr.ir. J.L. de Jong was docent van het college "Linear and Nonlinear Programming" in de cursus "Telecommunication Engineering" van het Eindhovens International Institute. Dr.ir. J.L. de Jong was lid van het organisatie-commité van het 14th International Symposium on Mathematical Programming te Amsterdam, 5-9 augustus 1991. Dr.ir. C.A.J. Hurkens organiseerde de AIO-workshop LNMB te Eindhoven, 15-19 juni 1991. Prof.dr. J.K. Lenstra organiseerde als lid van het International Program Committee PARLE'91: "Conference on Parallel Architectures and Languages Europe" te Eindhoven, 10-13 juni 1991. Prof.dr. J.K. Lenstra organiseerde het 14th International Symposium on Mathematical Programming te Amsterdam, 5-9 augustus 1991. Dr. M.W.P. Savelbergh organiseerde de 2e Nationale Workshop van het Landelijk Netwerk Mathematische Besliskunde te Eindhoven, 17-19 juni 1991. Dr. M.W.P. Savelbergh organiseerde het Symposium on Polyhedral Combinatorics te Eindhoven, 21 november 1991.


Prof.dr. J. Wessels was lid van de National Advisory Board voor de 22e conferentie "Stochastic Processes and their Applications" te Amsterdam. Prof.dr. J. Wessels organiseerde als lid van het International Program Committee de IIASAWorkshop "User-oriented Methodology and Techniques of Decision Analysis and Support te Serock, Polen, september 1991. Prof.dr. J.Wessels was lid van de organisatie- en programmacommissie van de IIASA-Workshop "Advances in Methodology and Software in Decision Support Systems" te Laxenburg, Oostenrijk, juli 1991. Prof.dr. J. Wessels was lid van het Program Committee IFORS-Special Conference "Transition to Advanced Market Economics" te Warschau, Polen. Prof.dr. J. Wessels was lid van het Program Committee IIASA-Conference "Intelligent Decision Support Systems" te Terskol, Oekraine. Prof.dr. J. Wessels was voorzitter van de organisatie- en programmacommissie IIASA-Workshop "User-oriented Methodology for decision support" te Laxenburg, Oostenrijk. Drs. R.J.G. Wilms organiseerde samen met ir. F.P.A. Coolen het Colloquium Kansrekening en Statistiek. 4.2

Promoties ir. I.J.B.F. Adan A compensation approach for queueing problems. Technische Universiteit Eindhoven, 19.11.1991 Promotoren: prof.dr. J. Wessels & prof.dr. W.H.M. Zijm. M. Sc. A.E. Eiben A Method for Designing Decison Support Systems for Operational Planning. Technische Universiteit Eindhoven 02.07.1991 Promotoren: prof. dr. K.M. van Hee & prof.dr. E.H.L. Aarts. drs. C. Huizing Semantics of Reactive Systems: Comparison and Full Abstraction. Technische Universiteit Eindhoven, 08.03.1991 Promotoren: prof.dr. W.P. de Roever & prof.dr. K.M. van Hee. drs. J.J.M. Hooman Specification and Compositional Verifications of Real-Time Systems,proefschrift. Technische Universiteit Eindhoven, 15.05.1991 Promotoren: prof.dr. W.P. de Roever & prof.dr.dipl.ing. D.K. Hammer. ir. W.E.H. Kloosterhuis The Enabling Model: a Tool for Performance Analysis of Concurrent Mechanisms. Technische Universiteit Eindhoven, 18.11.1991 Promotor: prof.dr. M. Rem. drs. S.L. van der Velde Machine Scheduling and Lagrangian relaxation. Technische Universiteit Eindhoven, 05.04.1991 Promotor: prof.dr. J.K.Lenstra


drs. G.J.M. van Wee Covering Codes, Perfect Codes, and Codes from Algebraic Curves. Technische Universiteit Eindhoven, 04.06.1991 Promotoren: prof.dr.ir. J.H. van Lint & dr.ir. H.C.A. van Tilborg. ir. H.M.M. van de Wetering Chain coding in Computer Graphics. Technische Universiteit Eindhoven 22.11.1991 Promotoren: prof.dr.dipl.ing. D.K. Hammer & prof.dr. F.J. Peters. 4.3

Bezoek aan internationale congressen en buitenlandse instituten

4.3.1

Vakgroep Discrete Wiskunde A. Blokhuis: 20.01-26.01

:

16.06-21.06 02.09-07.09 01.10-10.10

: : :

P. Bours: 24.06-28.06

:

16.12-17.12

:

J.G.M. Donkers: 12.07-23.07

:

Internationale Wiskunde Olympiade, Sigtune, Zweden.

I.M. Duursma: 15.12-17.12

:

okt.-dec.

:

International Winter Meeting on Coding and Information Theory, Universiteit Essen, Duitsland. Diverse bezoeken aan het seminar "Algebraic geometric codes", Universiteit Essen, Duitsland.

M.J.M. van Eupen: 15.12-17.12 :

International Conference on "Sets, Graphs and Numbers", Budapest, Hongarije. Conference on Extremal Problems for Finite Sets, Visegrad, Hongarije. Conference on Intuitive Geometry, Szeged, Hongarije. Tempus uitwisseling, Budapest, Hongarije. IEEE International Symposium on Information Theory, Budapest, Hongarije. International Winter Meeting on Coding and Information Theory, Essen, Duitsland.

International Winter Meeting on Coding and Informationn Theory, Universiteit Essen, Duitsland.

J.H. van Lint: 19.03-25.03 08.04-10.04 30.04-02.05 15.05-19.05 05.05 14.06-19.06 14.07-17.08 23.10

: : : : : : : :

4th Auburn Combinatorial Conference, Auburn (Alab.), USA. ICMI Executive Committee, Madrid, Spanje. ISCU/CTS, Parijs, Frankrijk. Conf. des Recteurs Européennes, Leningrad, Rusland. Deutsche Forschungs Gemeinschaft, Bielefeld, Duitsland. Cursus "Conf. des Recteurs Européennes", Gdansk, Polen. Distinguished visitor S. Afr. Math. Soc., Zuid Afrika. Graduiertenkolleg, Essen, Duitsland.

M. Struik: 24.06-28.06

:

16.12-17.12

:

1991 IEEE International Symposium on Information Theory, Budapest, Hongarije. International Winter Meeting on Coding and Information Theory, Essen, Duitsland.


H.C.A. van Tilborg: 24.02-09.03 : 20.07-07.09 : 08.04-11.04 : 24.06-28.06 : 30.08 : 30.09-06.10 : 17.12

:

G.J.M. van Wee: 16.05 : 4.3.2

IBM Almaden Research Center, USA. Universiteit van Pretoria, Zuid Afrika. Eurocrypt'91, Brighton, UK. IEEE Int. Symposium on Inf. Theory, Budapest, Hongarije. COMSIG-91, Pretoria, Zuid Afrika. The Fourth International Colloquium on Coding Theory, Dilijan, Armenië. International Winter Meeting on Coding and Information, Essen, Duitsland. Algebraïsch-Geometrische Codes, Essen, Duitsland.

Vakgroep Analyse J. Boersma: 05.09

:

Symposium over Speciale Functies, RU Gent, België.

J.H.M. ten Thije Boonkkamp: 07.10-09.10 : Conferentie Numerieke Wiskunde, Woudschoten. P.L. Cijsouw: 19.04-22.04 03.11-06.11 13.12-15.12

: : :

Strathclyde University, Glasgow, UK. Chalmers University, Göteborg, Zweden. The Technical University of Denmark, Lyngby, Denemarken.

A.J. Geurts: 11.06-12.06 22.01-26.01

: :

Numerical Algorithms Group (NAG), Oxford, UK. University of Toronto, Canada.

E.F. Kaasschieter: 02.04-04.04 : 07.10-09.10 09.12-13.12

: :

H.K. Kuiken: 09.04-12.04 09.07-12.07

: :

R.M.M. Mattheij: 08.07-12.07 : 27.08-31.08

:

30.06-03.07 04.07-06.07 13.07-16.07 10.10-15.10

: : : :

J.C. van der Meer: 16.09-20.09 :

IMACS International Symposium on Iterative Methods in Linear Algebra, Brussel, België. Zestiende Conferentie Numerieke Wiskunde, Zeist. Conference on Mathematical Problems in Environmental Protection and Ecology, Trento, Italië. British Applied Mathematics Colloquium, Oxford, UK. 2de ICIAM, Washington, USA. International Conference on Industrial and Applied Mathematics (ICIAM), Washington (DC), USA. European Conference on Mathematics in Industry (ECMI), Limerick, Ireland. University of British Columbia, Vancouver (BC), Canada. University of Washington, Seattle (WA), USA. Yale University, New Haven (CN), USA. Universita di Roma, Rome, Italië. Workshop on Bifurcation Theory and its Applications, University of Warwick, UK.


A.A. Reusken: 25.02-26.02 02.04-04.04

: :

29.04-03.05 03.07 27.07-01.03

: : :

Universität Zürich, Zwitserland. IMACS International Symposium on Iterative Methods in Lineaire Algebra, Brussel, België. 6. Mehrgitterseminar, Technische Universität, Chemitz, Duitsland. Universität Bochum, Duitsland. Universität Heidelberg, Duitsland.

G.A.L. van de Vorst: 02.07-04.07 : Conference on Computational Modelling of Free and Moving Boundary Problems, Southampton, UK. 07.10-09.10 : Conferentie Numerieke Wiskunde 1991, Zeist. 4.3.3

Vakgroep Besliskunde en Stochastiek E.E.M. van Berkum: 11.11-13.11 : Congres "Bijeenkomst stochastici", Lunteren. J.H.J. Einmahl: 11.11-13.11

:

Congres "Bijeenkomst stochastici", Lunteren.

L. Habets: 11.12-13.12

:

30e Conference on Decision and Control (georganiseerd onder auspiciën van IEEE), Brighton, UK.

M.L.J. Hautus: 20.03-22.03 04.04-05.04 18.06

: : :

Benelux Meeting on Systems and Control, Blankeberge, België. Nederlands Wiskundig Congres, EUR. Systeemtheoriedag, UT.

C.A.J. Hurkens: 21.11 13.12

: :

Symposium on Polyhedral Combinatorics, TUE. Symposium on Complexity Aspects of Combinatorial Optimization Problems, RUG.

R. Kool: 11.06-12.06 15.07-17.07

: :

Numerical Algorithms Group Ltd., Oxford, UK. IFAC Symposium on Computer Aided Design in Control Systems, University of Wales, Swansea, UK.

P. Van der Laan: 11.11-13.11 : 27.03 : 19.03-20.03 : 02.09-06.09 11.02

: :

26.09

:

29.05-01.06

:

J.K. Lenstra: 13.01-19.01

:

Congres "Bijeenkomst Stochastici", Lunteren. Statistische Dag, Congres van de VVS, Utrecht. Biometrisches Kolloquium, Biometric Society, University of Hamburg, Duitsland. European Meeting of Statisticians, Barcelona, Spanje. Symposium "Wiskunde en Informatica: Fundamenteel Onderzoek en Maatschappelijk Belang", CWI, Amsterdam. Symposium "Kwaliteit Bedrijven", bij de opening van het Frits Philips Institute for Quality Management, Eindhoven. Symposium on Biostatics and Statistics in Honour of Charles W. Dunnett, McMaster University, Hamilton, Ontario, Canada. Conference on Combinatorial Optimization, Oberwolfach, Duitsland.


11.02

:

27.05-31.05

:

14.06 & 20.12 17.06-19.06

: :

20.06-27.06 05.07

: :

17.07-19.07 05.08-09.08

: :

08.09-04.10 & 21.10-16.11 16.10 03.11-06.11 06.11--8.11

:

13.12

:

J. Rijpkema: 10.04-13.04

:

: : :

M.W.P. Savelsbergh: 18.04-29.04 : 20.06-03.07 : 04.07-12.07 : 05.08-09.08 : F.W. Steutel: 10.06-14.06

:

14.11

:

A.A. Stoorvogel: 17.04 : 21.05 20.05-24.05

: :

27.05-30.05

:

17.06-22.06

:

23.06 24.06-25.06 08.07-12.07 12.08-14.08

: : : :

Symposium t.g.v. het 45-jarig bestaan van de Stichting Mathematisch Centrum, Amsterdam. Dipartimento di Elettronica, Informatica e Sistemistica, Universita di Bologna, Bologna, Italië. ParTool Workshops, Garderen. Second National Workshop Landelijk Netwerk Mathematische Besliskunde, TUE. NP-Completeness: the first 20 years, Erice, Italië. Siebenter Berliner Algoritmen-Tag, Technische Universität Berlin, Berlijn, Duitsland. Euro XI, Aken, Duitsland. 14th International Symposium on Mathematical Programming, Amsterdam. School of Operations Research and Industrial Engineering, Cornell University, Ithaca, USA. Najaarssymposium van het Wiskundig Genootschap CWI, Amsterdam. ORSA/TIMS National Meeting, Anaheim, USA. Institute for Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, USA. Second Symposium on Combinatorial Optimization, RUG. 6th European Seminair on Mathematics in Engineering Education, postersessie, Budapest, Hongarije. Georgia Institute of Technology, Atlanta, USA. Georgia Institute of Technology, Atlanta, USA. IBM Thomas J. Watson Research Center, Yorktown Heights, USA. 13th Nationale Workshop van het Landelijk Netwerk Mathematische Besliskunde, Eindhoven. 20th Conference on Stochastic Processes and their Applications, Nahariya, Israël. College "Infinitive divisibility" voor aio-netwerk Stochastiek, Lunteren. Department of Electrical and Computing Engineering, Wayne State University, USA. Boeing Rivertec, Seattle, WA, USA. Department of Aerospace Engineering, University of Washington, USA. Department of Electrical Engineering, Washington State University, USA. International symposium on the mathematical theory of networks and systems, Kobe, Japan. Department of Electrical Engineering, Chiba University, Chiba, Japan. Workshop on Robust Control, Tokyo, Japan. ICIAM 1991 conference, Washington DC, USA. AIAA Conference on Guidance, Navigation and Control, New Orleans, LA, USA.


4.3.4

12.11

:

13.11-15.11

:

11.12-13.12

:

J. van der Wal: 22.07-26.07

:

IBM Workshop on Optimization in Industrial Environments, Oberlech, Oostenrijk.

J. Wessels: 16.01-18.01

:

Sixteenth Conference on the Mathematics of Operations Research, Lunteren. Working Group on Decision Analysis, Warschau, Polen. European Advanced School of Logistics, Verona, Italië. International Institute for Applied Systems Analysis, Laxenburg, Oostenrijk. Workshop on Advances in Methodology and Software in Decision Support Sytems, Laxenburg, Oostenrijk. Workshop on user-oriented methodology and techniques of decision analysis and support, Serock, Polen. Technische Universiteit Warschau, Warschau, Polen. European Advanced School of Logitics, Verona, Italië. Scoping conference on system analytic methods for processes of international negotiations. ASCEND 21 (a research agenda for science on environment and development), Wenen, Oostenrijk.

14.01-17.01 20.02-22.02 21.04-28.04 & 01.07-31.12 22.07-24.07

: : :

08.09-13.09

:

03.10-05.10 11.10-13.10 09.10-10.10

: : :

25.11-29.11

:

P.J. Zwietering: 02.12-13.12

:

:

Department of electrical Engineering, Texas A&M University, College Station, TX, USA. Department of Electrical Engineering, Rice University, Houston, TX, USA. CDC conference, Brighton, UK.

Bezoek aan prof. Wessels werkzaam aan het IIASA (International Institute for Applied Systems Aanlysis), Laxenburg, Oostenrijk.

Vakgroep Informatica A.T.M. Aerts: 02.07-04.07

:

International Workshop on Specification of Database Systems (SODS-91), Glasgow, Schotland.

J.C.M. Baeten: 19.11-22.11

:

pre-REACT Workshop, Kiel, Duitsland.

F.S. de Boer: mei 1991 juni 1991

: :

Chalmers Workshop on Concurrency, Baastad, Zweden. ICLP Pre-conference Workshop on Concurrent Logic Programming, Parijs, Frankrijk.

V.A.J. Borghuis: 01.02-06.02 : 15.07-18.07 : 17.12-20.12 :

5th Jumelage Meeting on Typed Lambda Calculus, Parijs, Frankrijk. LICS "91, Amsterdam. 8th Amsterdam Colloquium, Amsterdam.

P. de Bra: 16.05 27.05-07.06 14.07-04.08

Sion Database Dag, TUT, Twente. AT&T Bell Laboratories, Murray Hill, NJ, USA. AT&T Bell Laboratories, Murray Hill, NJ, USA.

: : :


29.05-31.05

:

SIGMOD/PODS congres, Denver, CO.

J.Coenen 09.01-11.01

:

02.05-03.05 25.03-29.03 03.06-06.06 08.07-12.07

: : : :

19.08-26.08

:

02.09-06.09 30.10-31.10 11.12-13.12

: : :

BCS-FACS Fourth refinement workshop, Wolfson College, Cambridge, Engeland. SION/STW "Fault Tolerance" workshop, Mook. ESPRIT PROJECT 3096 5th Plennnary Meeting, Mook. REX workshop "Real-time: Theory in Practice", Mook. Werkbezoek Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik II, Kiel, Duitsland. Werkbezoek Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik II, Kiel, Duitsland. ESPRIT PROJECT 3096 6th Plennary Meeting, Sigtuna, Zweden. SION/STW "Fault Tolerance" workshop, Mook. DEON '91, First International Workshop on Deontic Logic in Computer Science, Amsterdam.

D.R. Dams: 04.03-18.03 03.06-07.06 09.06-21.06 23.07-04.08

: : : :

26.08-29.08

:

09.10-11.10

:

H. Doornbos: 16.09-17.09

:

STOP workshop, Nijmegen.

: :

A.E. Eiben: september

Institut de la Communication Parlée, Grenoble, Frankrijk. REX Workshop "Real-time: Theory in Practice", Mook. GULP Conference on Logic Programming & Universitá di Pisa, Italie. International Summer School on Logic and Algebra of Specification, Marktoberdorf, Duitsland. International Conference on Concurrency Theory Concur '91, Amsterdam. Workshop Static Analysis. (Journées de Travail sur l'Analyse Statique en Programmation Equationnelle, Functionnelle et Logique), Bordeaux, Frankrijk.

november november december

: : :

Planning and Schedulingdag, RIKS, Maastricht. Wetenschappelijk Klankbord: TIPSY (Team Interactive Planning Systems), 3 bijeenkomsten. Computing Science in the Netherlands, Utrecht. Nederlandstalig Artificial Intelligence Conferentie, Amsterdam. First European Conference on Artificial Life, Parijs, Frankrijk.

H. ten Eikelder: 01.02-06.02

:

5th Jumelage Meeting on Typed Lambda Calculus, Parijs, Frankrijk.

R. Gerth: 10.03-15.03

:

03.06-08.06 04.07-06.07 18.07-20.07

: : :

26.08-29.08 02.09-06.09 19.11-23.11

: : :

Dagstuhl seminar on "Concurrent Systems: Semantics, Specification and Synthesis", Dagstuhl, Duitsland. REX Workshop "Real-time: Theory in Practice", Mook. SPEC-ONR workshop on concurrency, Auch, Frankrijk. International Conference for Young Computer Scientists, Beijing, China. Concur '91. SPEC workshop and revieuw, Sigtuna, Zweden. SPEC-REACT pre-workshop, Kiel, Duitsland.


D.K. Hammer: 21.02-23.02 02.05-03.05 30.10-31.10 04.03 01.04-22.04

: : : : :

Gericht omgaan met IT, Vrije Hogeschool, Driebergen. Fault-Tolerance, Nijmegen. Fault-Tolerance, Nijmegen. Docentencursus, Vrije Hogeschool, Driebergen. Studiereis Canada, begeleiding GEWIS.

C. Hemerik: 01.02-06.02 15.07-18.07 22.03

: : :

5th Jumelage Meeting on Typed Lambda Calculi, Parijs, Frankrijk. Conferentie Logic in Computer Science (LICS'91), Amsterdam. Tomita Workshop, UT, Enschede.

R. Hoogerwoord: 16.02-16.03 :

Department of Computer Science van de Univerity of Waterloo, Waterloo, Ontario, Canada. Department of Computer Science van de University of Calgary, Calgary, Alberta, Canada.

04.03-06.03

:

J.J.M. Hooman: 11.03-15.03

:

25.03-28.03 02.05-03.05 03.06-07.06 10.06-13.06

: : : :

18.07-20.07 05.08-07.08 25.10-26.10

: : :

30.10-31.10 04.11-05.11 19.11-22.11

: : :

K. Huizing: 26.03-29.03 03.06-07.06 19.11-22.11

: : :

Meeting ESPRIT BRA project 3096 (SPEC), Mook. REX Workshop on "Real-Time: Theory in Practice", Mook. Preperatory Meeting of North European Partners for BRA2 project REACT, Kiel, Duitsland.

J. Koster: 27.05-29.05 13.06 29.11

: : :

PCA, Bonn, Duitsland. Bezoek presentatie T9000, Kurhaus, Scheveningen. Presentatie WGPA-dag, Nijmegen.

Dagstuhl Seminar on "Concurrent Systems: Semantics, Specification and Synthesis", Dagstuhl, Duitsland. Bijeenkomst ESPRIT-BRA project 3096 (SPEC), Mook. Bijeenkomst STW/SION project "Fault Tolerance", Mook. REX Workshop "Real-Time: Theory and Practice" Mook. Conferentie PARLE '91 Parallel Architectures and Languages Europe, Veldhoven. Conferentie ICYCS '91 "Towards The Future", Beijing, China. Institute of Software, Academia Sinica, Beijing, China. Sixth International Workshop on Software Specification and Design, Como, Italië. Bijeenkomst STW/SION project "Fault Tolerance", Mook. Universiteit Oldenburg, Duitsland. Bijeenkomst BRA2-project REACT, Kiel, Duitsland.

F.E.J. Kruseman Aretz: 22.03 : Workshop "Tomita's Algorithm: Extentions and Applcations", UT. 10.06-13.06 : PARLE '91 conferentie, Veldhoven. 26.09 : Deelname symposium "De ingenieuze informatica: op weg naar 2001", Ede. R. Kuiper: 17.02-28.02 10.03-15.03

: :

03.06-8.06

:

Werkbezoek, University of Manchester, Engeland. Dagstuhl seminar on "Concurrent Systems: Semantics, Specifications and Synthesis", Dagstuhl, Duitsland. REX Workshop "Real-Time: Theory in Practice", Mook.


juni 04.11-18.11 19.11-23.11

: : :

W.J.M. Lemmens: 25.11-29.11 :

GMD, Bonn, Duitsland. Institute of Computer Science, Polish Acad. of Sci., Polen. SPEC-REACT pre-workshop, Kiel, Duitsland. "Object-oriented design", UT.

R.H. Mak: 03.04-04.04

:

03.06-05.06

:

IEEE/proRISC Symposium on Circuits, Systems and Signal Processing, Veldhoven. PRG. Univ. Oxford, Oxford, U.K.

R.P. Nederpelt: 12.07

:

Summer School Lambda Calculus, Nijmegen.

: : :

Nederlandstalige Artificial Intelligence Conferentie, Amsterdam. Planning & Scheduling-dag, RIKS, Maastricht. Wetenschappelijk Klankbord: TIPSY (Team Interactive Planning Systems), 3 bijeenkomsten. DSS Workshop, Noordwijkerhout.

W.P.M. Nuijten: november september 26.06-27.06

:

C.W.A.M. van Overveld: 01.09-02.09 : International Workshop on computer animation, Wenen, Oostenrijk. J. Paredaens: 10.12

:

Database-dag, Amsterdam.

A. Peeters: 10.11-14.11

:

Workshop on Designs and Implementation of Asynchronous Circuits, Amsterdam.

E.A.J. Peeters: 15.07 16.07 17.07-19.07

: : :

Object based concurrent computing, Geneve, Zwitserland. PhD-research in Object Oriented Systems, Geneve, Zwitserland. ECOOP, Geneve, Zwitserland.

O. van Roosmalen: 03.10-04.10 : 27.11-28.11

:

L.J.A.M. Sommers: 25.03-27.03 :

First international Workshop on responive computer systems, Golfe Juan, Frankrijk. Nederlandse AI conferentie en AI toepassingen (NAIC/AIT), Vrije Universiteit Amsterdam. 5th Software Engineering Environments conference, Aberystwyth, Wales. XII-th international conference on application and theory of Petri nets, Gjern, Denemarken. VDM'91, Formal Software Development Methods, 4th International Symposium of VDM Europe, Noordwijkerhout.

24.06-28.06

:

21.10-25.10

:

E. Verbeek: 25.09-27.09

:

Conferentie PCTE '91, Kijkduin.

T. Verhoeff: 16.01-21.01

:

Computing Laboratory, Oxford University, UK.


03.04-04.04

:

01.06-05.06

:

22.10-25.10

:

P.A.C. Verkoulen: 26.06-28.06 : A.C.F.M. de Vet: 09.09-12.09 :

4.3.5

IEEE/proRISC Symposium on Circuits, Systems and Signal Proccessing, Veldhoven. Computing Laboratory, meeting to set up an ESPRIT project, Oxford University, UK. Dept. of Comp. Sc., University of Waterloo, Canada. 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denemarken. IFIP TC8/WG8.3WG8.4 Working Conference on Support Functionality in the Office Enviroment, Canterbury, Kent, U.K.

G. Wolf: 22.07-24.07 26.06-27.06

: :

IIASA workshop, Wenen, Oostenrijk. DSS workshop, Noordwijkerhout.

Ping Zhou: 03.06-07.06 25.10-26.10

: :

19.11-22.11

:

REX 1991 workshop "Real-time: Theory in Practice", Mook. The Sixth International Workshop on Software Specification and Design, Como, Italië. Explanation of ongoing Work, Kiel, Duistland.

Ontwerpersopleiding Wiskunde voor de Industrie H.A.F. Leermakers: jan t/m juli :

Kaukas Kymmene Oy, Lappeenranta, Finland.

M.A. Hooijkaas: januari

:

GMD, St. Augustin, Duitsland.

S.J.H. Beukers: febr t/m mei 27.08-31.08

: :

Strathclyde University, Glasgow, UK. Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland.

A.A.F. Bloemen: 27.08-31.08 : okt t/m/ dec

:

Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland. Johannes Kepler Universität Linz, Linz, Oostenrijk.

J.H.M. van den Bosch: 27.08-31.08 : Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland. okt. t/m dec. : University of Southampton, Southampton, UK. J.W. Knobbe: maart t/m juni 27.08-31.08

: :

Johannes Kepler Universität Linz, Linz, Oostenrijk. Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland.

R.J. de Lange: 27.08-31.08

:

okt. t/m dec.

:

Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland. Johannes Kepler Universität Linz, Linz, Oostenrijk.


J.E.O. Meuwissen: okt. t/m dec. : 29.11-31.11 :

Université Joseph Fourier, Grenoble, Frankrijk. Neuro-Nimes 91, International Conference on Neural Networks, Nimes, Frankrijk.

M.J.M.M. van Asperdt: 21.05-23.05 : Cursus "State of the art and evolution of computer security and industrial cryptography", Katholieke Universiteit Leuven, Leuven, België. 23.06-28.06 : IEEE International Symposium on Information Theory, Budapest, Hongarije. F.H.C. Holland: 27.08-31.08

:

S.A.W. Roijakkers: 21.05-23.05 : 23.06-28.06 4.4

:

Sixth Conference of the European Consortium for Mathematics in Industry, Limerick, Ierland. Cursus "State of the art and evolution of computer security and industrial cryptography", Katholieke Universiteit Leuven, Leuven, België. IEEE International Symposium on Information Theory, Budapest, Hongarije.

Ontvangen gasten (Tussen haakjes is achter de naam van de gast die van de gastheer vermeld.)

4.4.1.

Vakgroep Discrete Wiskunde -

Dr. S. Bezrukov; Institute for Problems of Information Transmission, Moskou, GOS; 01.11.-31.12.1991, (A. Blokhuis). Miss Ildikò Horvàth; Hongaarse studente; uitwisselingsprogramma TEMPUS; 01.1031.12.1991 (A. Blokhuis) Gyòrgy Csizmadia; Hongaarse student; uitwisselingsprogramma TEMPUS; 01.10.199101.04.1992 (A. Blokhuis) C.D. Godsill, University of Waterloo, Canada; januari-februari 1991 (A.E. Brouwer). Venkov; Leningrad, GOS; 25.02-26.-2-1991 (A.E. Brouwer). P.J. Cameron; Queen Mary & Westfield College, Londen, Engeland; 11.03 & 12.061991 (A.E.Brouwer). V.I. Levestein; University of Moskou, GOS; september-oktober 1991 (A.E. Brouwer). G.A. Kabatyanski; University of Moskou, GOS; 29.10.-20.12.1991 (A.E. Brouwer). S.L. Bezrukov, University of Moskou, GOS; november-december 1991 (A.E. Brouwer). K. Metsch; Giessen, Duitsland; 1 november 1991 (A.E. Brouwer). Peter A. van Pinxteren; Ballaret University College, Vretoria, 3353 Australia; 25.0926.09.1991 (J. Donkers) K. Imamura; Kyushu Institute of Technology, Department of Computer Science and Electronics,Lizuka 820, Japan; 01.03-31.12-1991 (R. Pellikaan). C. Munuera; Universida de Valladolid, Valladoid, Spanje; 05.11.1990-01.03.1991 (R. Pellikaan). J.P. Pederson; Mathematisk Institut, Danmarks Tekniske Højskole, Denemarken; 01.0113.07.1991 (R. Pellikaan). T. Høholdt, H. Elbrønd Jensen en C. Dahl Jensen; 23.03-26.03.1991 (R. Pellikaan).


-

K. Sakurai; Development department, Mitsubishi Electric Corporation, Japan (R. Pellikaan). S. Sakata; Toyohashi University of Technology, Tempaku-cho, Toyohashi 441, Japan; 06.07.1991 (R. Pellikaan). Dr. G. Khachatrian; Computing Center of Armenian, Academy of Science, Armenië, 22.05-30.05.1991 (H. van Tilborg) Dr. Gerard Cohen; Ecole National Superieure des Télécommunications, Parijs, Frankrijk; 04.06-05.06.1991 (H. van Tilborg) I.I. Dumer; Institute for problems of Information Transmission, Moscow, GOS, 01.0719.07.1991 (H.van Tilborg) Dr. Khaled Abdel-Ghaffar; University of California, Davis, USA; 03.07.1991 (H. van Tilborg)

4.4.2

Vakgroep Analyse -

Prof. E.V. Jull; University of British Columbia, Vancouver, Canada; 08.09-10.09.1991 (J. Boersma). Prof. V. Ptak; Tjechische Academie van Wetenschappen, Praag, Tsjecho-Slowakije, 09.09-10.09.1991 (J. de Graaf). Dr. B. Maruszewski; Technical University of Poznan, Insitute of Applied Mechanics, Poznan, Polen; 15.08-15.09.1991 (A.A.F. van de Ven). Prof. S. Mckee; Strathclyde University, Glasgow, UK; 15.03-22.03.1991 (P.L. Cijsouw). Prof. H.W. Engl; Johannes Kepler Universität, Linz, Oostenrijk; 08.09-15.09.1991 (P.L. Cijsouw). Dipl. ing. G. Landl; Johannes Kepler Universität, Linz, Oostenrijk; 08.09-14.09.1991 (P.L. Cijsouw). De Educational Committee van ECMI; diverse landen; 07.09-09.09.1991 (P.L. Cijsouw). Dr. Audras Varga; Roemenie (tijdelijk Universiteit van Bochum); 03.02-05.02.1991 (A.J. Geurts)

4.4.3

Vakgroep Besliskunde en Stochastiek -

Prof.dr. D.M. Mason; University of Delanare, USA; 05.05-10.05.1991 (J.H.J. Einmahl). Prof. Shou Jilin,Xian Jiaotong University, Xi'an, China (J.H. van Geldrop). Prof.dr. Xu Chengxian; Xian Jiaotong University, Xian, China; 17.10.1991-13.01.1992 (J.L. de Jong). Prof. P.J. Scheitzer; University of Rochester, USA; 19.11 & 19.12.1991 (G.J. van Houtum). Dr. Andras Varga; Roemenië; 03.02-05.02.1991 (R. Kool). Prof.dr. Dieter Rasch; Akademie der Landwirtschaftswissenschaften, Rostock, Duitsland; 10.01-12.01.1991 (P. van der Laan). Liane Fechter; Rostock, Duitsland; 05.02.1991 (P. van der Laan). Prof. Tadeusz Calinski, University Poznan, Polen; 01.10-04.10.1991 (P. van der Laan). Prof. S. Chakraborti; University Alabama; USA, 16.10.1991 (P. van der Laan). Prof. A.H. El Mawaziny; The University in Cairo, Egypte (N. Linssen). Prof. C. Martel; University of California, USA; 21.01.1991 (J.K. Lenstra). Dr. E.G. Coffman Jr.; AT&T Bell Laboratories, Murray Hill, USA; 25.02-26.02.1991 (J.K. Lenstra). Dr. D.S. Johnson; AT&T Bell Laboratories, Murray Hill, USA; 17.06-19.06.1991 (J.K. Lenstra). Dr. M. Yannakakis; AT&T Bell Laboratories Murray Hill, USA; 17.06-19.06.1991 (J.K. Lenstra).


4.4.4

G.C. Sigismondi; Georgia Institute of Technology, Atlanta, USA; 12.09-15.09.1991 (M. Savelbergh). Prof. M.Ya. Kelbert; GOS; 17.11.1991 (F.W. Steutel). Dr. K. van Harn; VUA (F.W. Steutel). Prof. T.P. Hill, Georgia Institute of Technology; 22.03.1991 (J. van der Wal). Prof. P.J. Schweitzer; University of Rochester; 18.12-19.12.1991 (J. van der Wal). Prof. A. Agnetis; Universita degli Studi di Roma, Italië; 03.06-07.06.1991 (J. Wessels). Prof. Shou Jilin, Xian Jiaotong University, Xi'an, China; mei-oktober 1991 (C. Withagen) Prof. David Levhari,; Hebrew University, Jerusalem, Israël; juni-juli 1991 (C. Withagen).

Vakgroep Informatica -

Graham Hutton, Glasgow University, Schotland; jan.-feb. 1991, 01.10-13.10.1991 (R.C. Backhouse) Martin Simons, Institute für Informatik, Karlsruhe, Duitsland, okt.-nov.-dec.1991 (R.C. Backhouse) Dr. J. Parrow, Swedish Institute for Computer Science, Zweden, 12.11.1991 (J.C.M. Baeten) Yoramk, The Hebrew University, Israel, 24.06-28.06.1991 (P. de Bra). Michael Kifer, Stony Brook, USA, 11.01-12.01.1991 (P. de Bra) Prof.dr. M.G. Gouda, University of Texas, Austin, USA; 01.12.1990-01.02.1991 (W.H.J. Feijen) Dr. C.S. Scholten, eredoctor TUE, Nederland; wekelijks te gast bij ETAC (W.H.J. Feijen) Dr. H. Schirmeier, TeKaDe Philips Communication Industry, Neurenberg, Duitsland; 07.03.1991 (D.K. Hammer) Prof.dr. M. Joseph, University of Warwick, Engeland; 14.05-15.05.1991 (D.K. Hammer) Dr. J. Oosterhaven, voorzitter Nederlands Genootschap voor Informatica, Wageningen, Nederland; 25.10.1991 (D.K. Hammer) Prof.dr. J. Bresenham, Winthrop College, North Carolina, USA; 21.11-22.11.1991 (D.K. Hammer/H. v.d. Wetering) Urmas Rahu, Tallin University, Estland; 01.02-01.05.1991 (W.P.M. Nuyten) Prof.dr. J. Bresenham, Winthrop College, North Carolina, USA; 21.11-23.11.1991 (C.W.A.M. van Overveld) Charles E. Molnar, Washington University, Verenigde Staten; 15.03-28.03.1991 (M. Rem/M. Schols) Frits Schalij, Philips Natlab, Nederland; 12.09 en 19.09.1991 (M. Rem/M. Schols) Joep Kessels, Philips Natlab, Nederland; 12.09 en 19.09.1991 (M. Rem/M. Schols) Steven Molnar, University of North Carolina, Verenigde Staten; 07.11-19.11.1991 (M. Rem/M. Schols) Jo C. Ebergen, Universiry of Waterloo, Canada; 07.11-20.11.1991 (M. Rem/M. Schols) Robert F. Sproull, Sun Microsystems Laboratories, Verenigde Staten; 14.11-16.11.1991 (M. Rem/M. Schols) Fred U. Rosenberger, Washington University, Verenigde Staten; 15.11.1991 (M. Rem/M. Schols) Walter Bosch, Washington University, Verenigde Staten; 15.11-24.11.1991 (M. Rem/M. Schols) Charles E. Molnar, Washington University, Verenigde Staten; aug.1991-aug.1992 (T. Verhoeff)


4 Overige onderwijs- en onderzoekactiveiten

Recommend Documents