Faculteit

Voordrachten
Backhouse, R.C.:

- Galois connections. Colloquium Philips Natlab, Eindhoven, 03 maart 1993.

- Induction and recursion on datatypes. Workshop on Categories of Relations in Computer Science, Oxford, juli 1993.

- Constructive Lattice Theory. Workshop on Categories of Relations in Computer Science, Oxford, juli 1993.

- The Mathpad document preparation system. Colloquium CWI, 07 september 1993.

- Constuctive Lattice Theory. Workshop on Categories of Relations in Computer Science, Oxford, juli 1993.

Backhouse, R.C.; Doornbos, H.; Hoogendijk, P.:

- Generators and Commuting Relators. ERCIM Workshop on Development and Transforma­tions of Programs, Nancy, Frankrijk, 02 - 04 november 1993.

Backhouse, R.C.; Woude, J. van der:

- Domain operators and domain kinds. STOP workshop on Galois connections, Utrecht, 13-14 september 1993.

Baeten, J.C.M.:

- Discrete time process algebra. CONCUR2 Workshop, Veldhoven, 20 april 1993.

- Real time algebra with infinitesimals. CONCUR2 Review, Aalborg, Denemarken, 21 september 1993.

- Informatica: theorie en praktijk. UNIFACE marktdag, Veldhoven, 28 oktober 1993.

- Process algebra with time. OCATE, Portland, USA, 12 november 1993.
Bailey, A.:

- Automatic Verification of Speed-Independent Circuit Designs Using the Circal System.

Ad­vanced Research Working Conference, CHARME'93, Arles, France, mei 1993.
Boiten, E.A.:

- Parsing in ISBES. Formal Methods in Programming and Their Applications, Novosibirks, Rusland, 29 juni - 02 juli 1993.

- Transformational derivation of (parallel) programs using skeletons. ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankrijk, 02-04 november 1993.
Dams, D.R.:

- Generation of Reduced Models for Checking Fragments of CTL. IMAG, Grenoble, Frankrijk, 08 - 12 maart 1993.

- Freeness Analysis for Logic Programs - And Correctness? Colloquium, CWI, Amsterdam, 08 juni 1993.

- Freeness Analysis for Logic Programs - And Correctness? ICLP'93 Boedapest, Hongarije, 21 - 25 juni 1993.

- Generation of Reduced Models for Checking Fragments of CTL. CAV'93, Elounda, Kreta, 28 juni - 01 juli 1993.

- Abstract Interpretation of Reactive Systems. OFFIS en Universiteit Oldenburg, Duitsland, 06 - 10 december 1993.

Dignum, F.:

- A Language for modelling Knowledge Bases. Interuniversitaire werkgroep Logica en Informatiesystemen, april 1993.

- Permission to Fail. Voordracht voor de Landelijke werkgroep Logica en Recht, september 1993.

- Kennissytemen, linguistiek en logica. Zuidelijk Interuniversitair Colloquium, TUE, eindhoven, 18 februari 1993.

Doornbos, H.:

- Inductivity with respect to relators. Mathematics of Programming (MoP) Meeting, Utrecht, 30 juni 1993.

- Induction and recursion on Datatypes. Informel meeting on Categories of Relations in Computing Science, Oxford, Engeland, 05 - 09 juli 1993.

- Galois connections and wlp/wp semantics. Workshop on Galois Connections, Utrecht, 13 - 14 september 1993.

Gerth,R.:

- Sequential consistency as interface refinement. REACT 'Refinement' bijeenkomst, Uppsala, 18 februari 1993.

- Verifying a sequential consistent memory protocol. Second Workshop on Protocol Verification, Mierlo, 9 maart 1993.

- Verfying a sequential consistent memory protocol. ATT Bell Labs, Murray Hill, NJ, 20 april 1993.

- Generation of reduced models for checking fragments of CTL. ATT Bell Labs, Murray Hill, NJ, 20 april 1993.

- Overvieuw of sequential concistency proofs. REACT 'CAV' bijeenkomst, Grenoble, 18 mei 1993.

- Transformations preserving properties and properties preserved by transformations in fair transition systems. CONCUR'93, Hildesheim, 24 augustus 1993.

- Distributed shared memory protocols. Philips Natlab. Eindhoven, 10 november 1993.

Geuvers, J.H.:

- Conservativity in Barendregt's Cube. Lambda intercity seminar, Utrecht, september 1993.

- Conservativity between typed lambda calculi. HCM meeting Typed lambda calculus and Linear Logic, Rome, november 1993.

- Being precise about the formulas-as-types / proofs-as-terms embedding. Lambda intercity seminar, Utrecht, december 1993.

Hammer, D.K.:

- Het ontwerpen van "lean" informatie voorzieningen. Lezingencyclus ontwerpmethodologie, TUE, Eindhoven, 12 januari 1993.

- Proces-georienteerd ontwerpen. Lezingencyclus ontwerpmethodologie, TUE, Eindhoven, 19 januari 1993.

- The Dependable Distributed Operating System DEDOS. Universiteit Twente, 19 maart 1993.

- Lean Software engineering. Philips Natlab, Eindhoven, 25 maart 1993.

- Lean engineering. CIM-bedrijfskunde, 28 mei 1993.

- Lean Information Management. PTT Nederland, Den Haag, 16 juni 1993.

- The DEDOS System. Technische Universiteit Clausthal, vakgroep Informatica, prof. Klaus Ecker, 20 augustus 1993.

- Information Management in Lean Enterprises. Workshop organized by Trigon Austria, Graz: Salzburg, Austria, 2 september 1993.

- Op weg naar samenwerking. Intreerede TUE, Eindhoven, 10 oktober 1993.

Hee, K.M. van:

- Theorie en Praktijk. Organisatiekring Bakkenist Management Consultants, Amsterdam, 18 januari 1993.

- Simuleren met ExSpect. SOR-dag, Vereniging voor Statistiek, Hoogovens, IJmuiden, 29 januari 1993.

- Ontwikkelingen in CASE-tools. Oracle symposium, Zeist, 28 april 1993.

- Specificeren en analyseren met ExSpect. Landelijke Specificatie Dag, werkgroep Logica en Informatiesystemen, Eindhoven, 25 juni 1993.

- PROOFS method. ESPRIT final meeting, Florence, 9 september 1993.

- Organisatie Analyse met ExSpect. Bakkenist Management Consultants, Groningen, 9 november 1993.

- Object-georienteerd modelleren met ExSpect. IKS-workshop, Universiteit Twente, 24 november 1993.

Hee, K.M. van; Aalst, W. van der:

- Modelleren en specificeren met ExSpect. AIO-netwerk informatiesytemen, Papaendal, Arnhem, 2 april 1993.

Hemerik, C.:

- Geïntegreerde ontwikkeling van programma's en bewijzen in getypeerde lambdacalculi. Philips Natlab, Eindhoven, 12 mei 1993.

Hoogendijk, P.:

- Generators, Destructors & Natural Transformations. Mathematics of Programming (MoP) Meeting, Eindhoven, 31 maart 1993.

- Generators, Destructors & Natural Transformations. Informal Meeting on Categories of Relations in Computer Science, Oxford, Engeland. 05 - 09 juli 1993.
Hooman, J.J.M.:

- A Membership Protocol: Specification and Proof. 1st Eurics workshop on reliability in distributed systems, TUE, Eindhoven, 29 januari 1993.

- Compositional Verification of a Membership Protocol. Second Workshop on Protocol Verification, Mierlo, 9 maart 1993.

- Specification and Verification of Distributed Real-Time Systems. Informatica colloquium, Philips Natlab., Eindhoven, 17 maart 1993.

- Specification and Verification of a Distributed Real-Time Arbitration Protocol. 14th IEEE Real-Time Systems Symposium, Durham, 3 december 1993.
Huizing, C.:

- Uniform Treatment of Parallelism. Meeting ESPRIT BRA project REACT, De Lutte, 18-20 oktober 1993.

Kloks, A.J.J.:

- Treewidth of chordal bipartite graphs. STACS'93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Wirzburg, Duitsland, 24 - 28 februari 1993.

- Treewidth of circle and other graph classes. Friedrich-Schiller-universität, Jena, 15 - 26 juni 1993.

- Treewidth and Pathwidth of permutation graphs. ICALP'93, 20th International colloquium on Automata,Languages and Programming, Lund, Zweden, 05 - 09 juli 1993.

- Computing treewidth and minimum fill-in: All you need are the minimal separators. ESA'93, First Annual European Symposium on Algorithms, Bad Honnef, Duitsland, september 1993.

- Separators in graph. Oberwolfach meeting, Oberwolfach, november 1993.

- Treewidth of circle graphs. ISAAC'93, 4th International Symposium, Hong Kong, december 1993.
Kruseman Aretz, F.E.J.:

- Binair-decimaal-conversie. Symposium Bouwen op Wetenschap, Philips Natlab., Eindho­ven, 28 april 1993.

Lukkien, J.:

- Multiplexing, Routing and Remote Process Calls. Voordracht voor de werkgroep 'Mathe­matics of programming', onderzoekers RUU en TUE., november 1993.

- Processornetwerken en parallelle programma's. Voordracht in het kader van de Japanse

studiereis van de studentenvereniging GEWIS, 05 januari 1993.

Mauw, S.:

- Specificeren moet je jong leren en jongleren moet je specificeren. Specificatiedag, september 1993.

- A Formal semantics for synchronous Interworkings. Sixth SDL Forum, Darmstadt, oktober 1993.

- An algebraic semantics for Message Sequence Charts. ITU-TS meeting working group Q.9/10, Geneva, oktober 1993.

Nederpelt, R.:

- Checking mathematical proofs with a computer. CWI, Amsterdam, 11 mei 1993.

Nuijten, W.P.M.:

- Constraint Satisfaction for Production Planning. Johnson Matthey, Maastricht, 18 januari 1993.

- Consistency Checking for Job Shop Scheduling. RUL, Maastricht, 10 maart 1993.

- Constraint Satisfaction voor de Procesindustrie. Fygir, Rijswijk, 12 oktober 1993.

- Job Shop Scheduling by Constraint Satisfaction. RIKS, Maastricht, 17 november 1993.
Overveld, C.W.A.M. van:

- Relaxation, Jack of all trades (part II). Graphics colloquium, Philadelphia, 5 februari 1993.

- Constraints, relaxation and computer animation. CWI-colloquium, 15 september 1993.

- Surface modelling using bicubic Coons patches. Workshop Direct Manipulation Techni­ques in Curved Surface Design, TUE, Eindhoven, 8 november 1993.

- Adaptieve triangulatie van impliciete oppervlakken. Nationale Geometrie-dag, UU, 21 december 1993.
Paredaens, J.:

- Generic Graph Machines. Seminar on Graph Transformations in Computer Science, Dagstuhl, Duitsland, 03-08 januari 1993.

- Grafische Interfaces voor Object Georienteerde Databases. Industriele Hogeschool, Brussel, 15 januari 1993.

- G-Log, een Grafische Deductief Formalisme. Jaasrvergadering van de Inter Universitaire Werkgroep Logica en Informatiesystemen van het SOBU, Eindhoven, 19 januari 1993.

- Grafische Interfaces voor Object Georienteerde Databases. Stedelijke Instelling voor Economisch Hoger Onderwijs, Antwerpen, 11 maart 1993.

- Video-presentatie, A Graph-Oriented Object Database System, ACM Sigmond, Washington D.C., 26 mei 1993.

Peeters, E.A.J.:

- Direct Manipulation in a Interactive Animation System. Workshop Modeling Curved Surfaces using Direct Manipulation Techniques, TUE, Eindhoven, 8 november 1993.

- Design and Implementation of anObject-Oriented, Interactive Animation System. TOOLS 12 conferentie, Melbourne, Australië, 02 december 1993.
Poll, E.:

- Een programmeertaal en programmalogica gebaseerd op getypeerde lambda calculus. Zuidelijk Interuniversitair Logica Colloquium, TUE, Eindhoven, februari 1993.

- A Typechecker for Bijective Pure Type Systems. Lambda Intercity, Utrecht, november 1993.

- Pure Type Systems with Definitions. HCM Meeting Typed Lambda Calculus, Rome, december 1993.

Roosmalen, O. van:

- Tour d'Horizon van de technische informatica. NGI regio zuid, Eindhoven, 23 september 1993.

Somers, L.J.:

- ExSpect. Estec/ESA, Noordwijk, 22 februari 1993.

- ExSpect. FME'93 Odense (Formal Methods Europe '93 Symposium), 21-23 april 1993.

- ExSpect. Petri'93, 14th international conference on application and theory of Petri nets, Chicago, USA, 21-25 juni 1993.

- ExSpect. FORTE'92, 6th international conference on formal description techniques, Boston, USA, 26-29 oktober 1993.
Stok, P.D.V. van der; Berk, F. van den; Deckers, R.; Vijver, Y. van de; Botman, J.I.M.; Timmermans, C.J.:

- Object-Oriented Design for Accelerator Control. 8th Conference on Real-Time Computer Applications in Nuclear, Particle and Plasma Physics, Vancouver, 08-11 juni 1993.

Thijssen, P.T.A.:

- TUE view on Health Monitoring. IMAGES 2000 meeting, München, 19-20 oktober 1993.

Veltkamp, R.C.:

- Computational Morphology. TUE Computer Science colloquium, 16 april 1993.

- 3D Computational Morphology. Eurographs'93 Conference, Barcelona, 08-10 september 1993.

- Computational Geometry in Shape Analysis. Technical University Catalunya, Barcelona, 13 september 1993.

- Potentials and force fields in surface modeling. Workshop Modeling Curved Surfaces using Direct Manipulation Techniques, TUE, Eindhoven, 8 november 1993.

- Geometric Constraint Satisfaction. Universiteit van Amsterdam, 25 november 1993.

Verhoeven, M.G.A.:

- Parallel Local Search. KSLA, Amsterdam, 16 juni 1993.

- Parallel local search for the traveling salesman problem. Workshop MasPar Challenge, Leiden, 14 december 1993.
Verhoosel, J.P.C.:

- Deterministic Scheduling of Distributed Hard Real-Time System using Windows. First Workshop on Parallel and Distributed Real-Time Systems, april 1993.

- Assignment and Scheduling of Object-Oriented Distributed Hard Real-Time Systems. New Jersey Institute of Technology, oktober 1993.
Verkoulen, P.A.C.:

- Object-Oriented Concepts and Petri Nets. Aarhus University, Denmark, 23-29 april 1993.

- Integrated Information Systems Design - An Approach Based on Object-Oriented Concepts and Petri Nets. Zuidelijk Interuniversitair colloquium over Logica en Theoretische Informatica, TUE, Eindhoven, 14 december 1993.
Wesselink, J.W.:

- Constrained variational triangular surface design. Workshop Modeling Curved Surfaces using Direct Manipulation Techniques, TUE, Eindhoven, 8 november 1993.

- Constrained variational Triangular Surface Design. CSN93, Utrecht, 10 november 1993.
Wetering, H.:

- Chain Coding and Surface Modelling. Workshop Direct Manipulation Techniques in Curved Surface Design, TUE, Eindhoven, 8 november 1993.

- Computer Animation. European Week '93, TUE, Eindhoven, 29 maart 1993.

Woude, J. van der:

- Algebraic programming. Workshop on collection types, Morristown NJ, 06-09 februari 1993.

- A Relational perspective on types of laws. Workshop on categories of relations in computer science, Oxford, 02-07 juli 1993.

- Fusion and all that jazz. STOP Workshop on Galois connections, Utrecht, 13-14 september 1993.
Watson, B.W.; Zwaan, G.:

- A taxonomy of Keyword Pattern Matching Algorithms. Informatica Colloquium, fac. Wiskunde en Informatica, EUT, Eindhoven, 29 oktober 1993.

BIJLAGE C

OVERIGE ONDERWIJS- EN

ONDERZOEKACTIVITEITEN

1. Symposia, cursussen, gastdocentschappen, advisering
Vakgroep Analyse
Prof.dr.J.Boersma:

  Advisering aan overige faculteiten.

Ir. J.J.A.M. Brands:

  Was begeleider modellenprakticum Wiskunde voor de industrie.

Prof.dr. P.L. Cijsouw:

  Advisering faculteit B.

Prof.dr.ir. J. de Graaf:

  Verzorgde de cursus "Ordinary and Partial Differential Equations" aan Departamento de Matematica Universidade de Coimbra, Portugal,08 februari   08 maart 1993.

  Verzorgde de cursus "Proper and improper eigenfunctions: Dirac's formalism" in het kader van Maete Class van het Mathematical Research Institute (MRI) van Groningen   Utrecht   Twente, september   december 1993.

  Coördinator namens de TUE bij het Europese GALOIS Analyse project, 1993.

Dr. R.R. van Hassel:

  Advisering aan faculteit N., vakgroep Transportfysica.

Dr.ir. J.K.M. Jansen:

  Organiseerde de workshop Electrochemische Bewerkingen, 25 november 1993.

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

  Organiseerde de colloquiumdag tussen de groep Numerieke Wiskunde en de Applied Mathematics Group (Philips Nat.Lab.) op 29 januari 1993.

  Organiseerde de colloquiumdag tussen de Applied Mathematics Groep (Philips Nat.Lab.) en de vakgroep Analyse op 10 december 1993.
Dr. J. Molenaar:

  Verzorgde de PAO N cursus " Chaos en voorspelbaarheid", 03   05 maart 1993.

Dr. H.G. ter Morsche:

  Verzorgde de cursus "Digitale signaalbewerking; een wiskundige aanpak", 09, 16 en 23 juni 1993.

  Advisering aan Yachty Consults, Eindhoven en Anthonissen, Maasbree.
Dr. A.A. Reusken:

  Organiseerde symposium "Applications of multigrid methods", TUE, Eindhoven, 25 november 1993.

  Organiseerde werkseminarium Numerieke Wiskunde, 1993.
Dr. S.W. Rienstra:

  Organiseerde in samenwerking met PAON de cursus "Environmental Modelling, 13   16 december 1993 en de cursus "Eindige Elementen Methode", 26   29 maart 1993.

Laatst genoemde cursus vond geen doorgang vanwege te geringe belangstelling.

  Organiseerde in faculteitsverband, mede gefinancierd door Comett, 5 cursussen "Industriële

Wiskunde met de PC":

- "Toegepaste Statistiek en Data Analyse"

  "Kwaliteitscontrole: Toepassing van Statistische Methoden"

  "Voorraadbeheersing in de praktijk"

  "Optimaliseringsmethoden in de Logistiek"

  "Digitale Signaalbewerking: een Wiskundige Aanpak"

Alleen de cursussen "Digitale Signaalbewerking" en "Toegepaste Statistiek" zijn gehouden; voor de andere cursussen was onvoldoende belangstelling.

  Advisering aan: Weld Equip; St. Antonius; Pneutec en Shell.

Prof.dr.ir. F. Schurer:

  Was in het kader van ECMI programmacoördinator voor ERASMUS en COMETT.

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

  Organiseerde het colloquium "Numerieke Verbrandingsleer", 1993.

  Leverde een bijdrage aan de syllabus voor de cursus "Inleiding Numerieke Stromingsleer" t.b.v. 2e fase opleiding Proces en Produktontwerp.
Vakgroep Besliskunde en Stochastiek
Dr.ir. I.J. B.F. Adan:

  Ontwikkelde samen met prof.dr. A.G. de Kok (Wsk/Bdk) en dr.ir. L. Fortuin (Bdk) cursusmateriaal voor de COMETT cursus "Voorraadbeheersing in de praktijk", 1993.

Dr. J.H.J. Einmahl:

  Verzorgde de cursus "Empirical and related processes with applications", voor Landelijk AIO netwerk Stochastiek te Utrecht, 1993.

Dr.ir. C.P.M. van Hoesel; prof.dr. J.K. Lenstra; S.R. Tiourine:

- Advisering Van Geel, Boxtel.

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

  Docent ECMI Modelling Week in Grenoble, Frankrijk, 5   12 september 1993.

  Organiseerde sessie "Linearization and Approximation Methods in Nonlinear Control Systems", 12th Benelux Meeting on Systems and Control, Houffalize, België, 1993.
Dr.ir. C.A.J. Hurkens:

  Organiseerde scholierenmanifestatie, 12   15 oktober 1993.

  Trof voorbereidingen voor CO94, conferentie op het gebied van de Combinatorische Optimalisering, te houden in Amsterdam van 5   8 april 1994, 1993.
Dr.ir. J.L. de Jong :

  Advisering Shell Nederland Chemie, Moerdijk.

Prof.dr. A.G. de Kok:

  Organiseerde Symposium OR en Europeese Logistiek, 1993.

Prof.dr. P. van der Laan:

  Begeleider Japan reis GEWIS, Wiskunde en Informatica studenten, 2   24 april 1993.

- Nam deel aan de cursus Onderzoekmanagement van de VSNU, 16 - 18 maart 1993.
Dr. J.J.M. Rijpkema:

  Verzorgde opzet en uitvoering van COMETT cursus 'Toegepaste Statistiek en Data analyse'4, 12 en 18 mei 1993.

  Verzorgde voorbereiding van COMETT cursus 'Kwaliteitscontrole, Toepassing van Statistische Methoden', 1993.

  Projectleiding ten behoeve van het Comett project 'Continuing Education cursussen Industriële Wiskunde', 1993.

  Mede organisator van SEFI 7, European Seminar on Mathematics in Engineering Education, Eindhoven, 14   16 april 1993.

  Mede organisator van ICOTS 4, International Conference on Teaching Statistics, Marrakech, 25   30 juli 1993.

Dr. W.Z. Venema:

  Advisering Encompass Europe NV, Rotterdam.

Dr.ir. J. van der Wal:

- Advisering Ministerie Buitenlandse Zaken.

Prof.dr. J. Wessels:

  Programmaleiding en organisatie van de Workshop 'Advances in methodology and software for Decision Support Systems', Laxenburg, Oostenrijk, 26   29 september 1994.

  Programmaleiding en organisatie van de Workshop 'The use of neural nets for decision support', Laxenburg, Oostenrijk, 30 september   2 oktober 1993.
J.T.M. Wijnen:

  Organisatie scholierenmanifestatie, 1993.

  Verzorgde cursus Statistiek voor de Ontwerpersopleiding 'Proces  en productontwerp', 1993.

  Lezingendag 'Statistiek en Ethiek' van de Medisch biologische sectie van de VVS, 19 november 1993.

  Advisering aan faculteiten B, T, W, W&MW; TNO; diversen.
Vakgroep Discrete Wiskunde
Dr. A. Blokhuis:

  Organiseerde mede studentenuitwisseling met de Eötvös Lorand Universiteit in Boedapest, in het kader van TEMPUS.

Prof.dr. A.M. Cohen:

  Organiseerde samen met M.M.A. van Leeuwen, Seminar Computer Aided Mathematics two weekly, CWI, Amsterdam, 1993.

  Organiseerde samen met H. Kraft en P. Littelmann, workshop on 'Computational Methods in Lie Theory', Basel, 8   13 maart 1993.

  Organiseerde DAM DAG on Coxeter Groups, Eindhoven, 8 oktober 1993.

- Organiseerde RIACA workshop, Amsterdam, 19   20 novem,ber 1993.
Drs. J.G.M. Donkers:

  Verzorgde trainigskamp Wiskundeolympiade, Valkenswaard, 14   18 juni 1993.

  Verzorgde trainigsdagen Olympiadeploeg, 5   7 juli 1993.

  Begeleiding Nederlandse ploeg Internationale Wiskundeolympiade, Istanbul, 16   23 juli 1993.

  Organisatie en correctie tweede ronde Nederlandse Wiskundeolympiae, TUE, 17 september 1993.

  Verzorgde trainingskamp Wiskundeolympiade , Valkenswaard, 10   12 december 1993.

Drs. W.H.J.H. van Meeuwen:

  Verzorgde en organiseerde samen met F.H. Simons een middag voor nascholing

wiskundedocenten'Computeralgebra in eerstejaars wiskundeonderwijs', 10 maart 1993.

  Verzorgde twee middagen waarop middelbare scholieren kennismaken met Mathematica, 9 juni en 26 november 1993.

Dr. G.R. Pellikaan:

  Organiseerde samen met S. Sakata de sessie 'Algebraic geometric codes and their applications' voor het congres: 1993 IEEE Information Theory Workshop (ITW'93), Shizuoka, Japan, 7 juni 1993.

  Organiseerde samen met M. Perret en S.G. Vladut het congres 'Arithmetic, Geometry and Coding Theory 4, Luminy, Frankrijk, 28 mei   2 juli 1993.

  Coördinator van de studentenuitwisseling in het Galois netwerk in het kader van ERASMUS van de Europese Unie.

  Coördinator van het HCM project 'Algebraïc Geometry and Coding Theory' van de Europese Unie.
Prof.dr.ir. H.C.A. van Tilborg:

  Advisering aan Pneutec.

Vakgroep Informatica
Dr. A.T.M. Aerts:

  Organiseerde samen met mw. W. Kroone de "Specificatiedag" in het kader van de interuniversitaire werkgroep Logica en Informatiesystemen van het SOBU, 25 juni 1993.

  Verzorgde samen met dr. W. van der Aalst, mw. drs. C. Claus, prof.dr. k. van Hee, dr. M. Voorhoeve en dr. L. Somers de PAO cursus "Specificeren en Simuleren van Systemen", 13, 14, 20 en 21 september 1993.

  Coördinatie van en bijdrage aan het blok "Informatie Management" van de opleiding Transport en Logistieke Dienstverlening van het TIAS, Tilburg, 1993.

Prof.dr. R.C. Backhouse:

  Organiseerde STOP (Specification en Transformation of Programs, NFI project) workshop on Galois Connections, 13   14 september 1993.

  Gaf demonstratie Mathpad (mathematical document preparation system) tijdens CWI colloquium, 7 september 1993, alsmede in Nijmegen, vakgroep Informatica, november 1993.
Dr. P.M.E. de Bra:

  Verzorgde samen met dr. O. van Roosmalen de PAO cursus "Object Oriented Software Engineering Methods", 9   12 maart 1993.

  Nam deel aan de cursus Onderzoekmanagement van de VSNU, 16   18 maart 1993.

  Was spreker op en nam deel aan de paneldiscussie over Hypertext, georganiseerd door Stinfon, 17 september 1993.

  Was spreker op de THEA dagen, TUE, 24 september 1993.

  Verzorgde samen met de faculteit Bedrijfskunde de PAO cursus "Data Management", 4   5 november 1993.

  Verzorgde demonstratie "Navigational Search in the World Wide Web", 5th ACM Conference on Hypertext, Seattle, Washington, december 1993.

- Verzorgde gastcollege "Administratieve Informatiesystemen" voor de opleiding Informatie  en Bibliotheekwetenschap aan de Universitaire Instelling Antwerpen, 1993.

  Verzorgde gastcollege "Grafische User Interfaces" voor de opleiding Informatica, aan de Universitaire Instelling Antwerpen, 1993.

Drs. H. Doornbos:

  Organiseerde samen met ir. P.F. Hoogendijk maandelijkse Mathematics of Programming (MoP) meetings, 1993.
Prof.dr.dipl.ing. D.K. Hammer:

  Verzorgde de PAO cursus 'Object Oriented Methods, TUE.

  Organiseerde de workshop "Distributed and Reliable Systems", EUT, Eindhoven, januari en november 1993.

  Mentor, AIO: mw. Hong guang, NADO Computergesteund ontwerpen en fabriceren, TUE W

  Mentor, AIO: mw. de Beer, NADO Computergesteund ontwerpen en fabriceren, TUE W

  Mentor, AIO: dhr. Geraats, NADO Computergesteund ontwerpen en fabriceren, TUE W

Prof.dr. K.M. van Hee:

  Verzorgde postdoctorale cursus 'Transport en Logistiek management', Tilburg, 10 maart 1993.

  Verzorgde PAO cursus "Specificeren", Eindhoven, 8   11 november 1993.
Prof.dr. P.A.J. Hilbers:

  Verzorgde gastcollege " Paralle Moleculaire Dynamica", faculteit Wiskunde en Informatica, Universiteit van Amsterdam, 1993.

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

  Verzorgde samen met P. De Bra, R. Post en Y. Kornatzky de demonstratie 'Browsing Hypertexts' Hypertext'93, Seattle, USA, 1993.

Dr. J.J. Lukkien:

  Begeleiding case studie i.v.m. Japan studiereis studentenvereniging GEWIS, 1993.

  Advisering aan: faculteit Chemische Technologie; ESTEC en Nationaal Lucht  en Ruimtevaart laboratorium (NLR).
Dr. R.P. Nederpelt:

  Organiseerde Zuidelijk interuniversitair Colloquium over Logica en Theoretische Informatica, activiteit van de werkgroep Logica en Informatiesystemen, TUE/KUB, eerste helft 1993.

Ir. W.P.M. Nuijten:

  Organiseerde schedulingdag TU/RIKS, 1993.

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

  Was gastonderzoeker in Philadelphia, PA, USA, van 23 november 1992   30 april 1993.

  Organiseerde samen met R. Veltkamp de workshop 'Direct Manipulation Techniques in Curved Surface Design', TUE, 8 november 1993.

  Verzorgde gastcollege 'Animatie methoden', TUD, 16 december 1993.

  Advisering aan faculteit W, vakgroep Fundamentel Werktuigkunde.

  Advisering aan faculteit Industrieel Ontwerpen van de TUD.

Prof.dr. J. Paredeans:

  Voorbereidende vergadering tot oprichting van de Athena onderzoekschool voor Informatiesystemen, Nederland, 26   27 januari 1993.

  Organiseerde een cursus in databases voor CISM, Centre International des Science, en

verzorgde drie cursussen, Udine , Italie, 13   25 september 1993.

Prof.dr. M. Rem:

  Advisering aan faculteit Werktuigbouwkunde, vakgroep WPA.

Dr. O. van Roosmalen:

  Verzorgde een bijdrage aan de PAO cursus:'Object oriented methods', TUE, 9   12 maart 1993.

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

  Verzorgde gastcollege "The limitations of delay safe and delay insensitive communication", colloquium department of Computer Science, university of Utah, Salt lake City, USA, 5 maart 1993.

  Verzorgde lezing "Towards the Integration of Synchronous and Asynchronous Design Techniques" voor:

- colloquium Philips Natlab, Eindhoven, 3 februari 1993.

- ASIC group, department of Computer Science, university of Utah, Salt Lake City, Utah, USA, 5 maart 1993.

- colloquium department of Computer Science, university of Waterloo, Waterloo, Canada, 9 maart 1993.

- colloquium department of Computer Science, Washington university, St. Luois, USA, 15 maart 1993.

- colloquium SUN MicroSystems, Mountain View, California, USA, 17 maart 1993.

- colloquium department of Computer Science, Stanford university, Palo Alto, California, USA, 19 maart 1993.

- colloquium department of Computer Science, CalTech, Pasadena, California, USA, 23 maart 1993.

- colloquium department of Computer Science, the university of British Columbia, Vancouver, Canada, 25 maart 1993.
Dr. L.J.A.M. Somers:

  Verzorgde PAO cursus Specificeren en Simuleren van Systemen op 13, 14, 20 en 21 september 1993.

  Contract research voor Bakkenist.
Dr.ir. T. Verhoeff:

  Voorbereiding en begeleiding Nederlandse Informatica Olympiade, 3 en 24 april 1993.

Ir. J.P.C. Verhoosel:

  Verzorgde cursus Compilers en Parallel Processing op NJIT, 1993.

Dr. M. Voorhoeve:

  Verzorgde PAO cursus 'Specificeren en simuleren van systemen', 20   21 september 1993.

  Contract research voor: Bakkenist; ExSpect en NS.
Ir. J.W. Wesselink:

  Ontwikkeling van programma t.b.v. IWDE.