Wiskunde en Informatica

Voordrachten

Aerts, A.T.M.:

- Systeemontwikkeling in het kader van een Kwaliteitssyteem. VF-IS-dag, Eindhoven, 09 januari 1992.
Backhouse, R.C.:

- Galois Connections. 2nd International Conference of Program Construction, Oxford, januari 1992.

- Elements of a relational theory of Datatypes. IFIP working group 2.1 State of the Art Seminar on Formal Program Development, Itacuruçá Island, Brazil, 10-23 januari 1992.

- Category Theory = Constructive Theory. Helsinki University of Technology, september 1992.

Baeten, J.C.M.:

- Real Time Process Algebra. Zuidelijk Interuniversitair Colloquium, 18 februari 1992.

- Real Space Process Algebra. Mierlo Workshop Protocol Verificatie, 10 maart 1992

- Timed Process Algebra. Philips Colloquium Nat Lab, 25 maart 1992.

- The Total Order Assumption. Workshop "What good is Partial Order", Sheffield, 22 juni 1992.

- Discrete Time Process Algebra. CONCUR'92, Stony Brook N.Y., USA, 29 augustus 1992.

- Total Order Assumption. NAPAW'92, Port Jefferson N.Y., USA, 30 augustus 1992.

- Timed Process Algebra. REX Concurrency-day, 30 oktober 1992.

- Informatica als Wetenschap. Intreerede, EUT, Eindhoven, 30 oktober 1992.
Bra, P. de:

- Object Georiënteerd ontwerpen/programmeren/databanken, Pandata, Rijswijk, 13 februari 1992.

- Object Georiënteerde Databanken, Eindhoven, 03 april 1992.
Boer, F.S. de:

- Foundations and Applications. REX School/Workshop Semantics, 01-04 juni 1992.

Borghuis, V.A.J.:

- Well-typedness in subordinate contexts. Lambda-intercity Colloquium, RU, Utrecht, april 1992.

Coenen, J.:

- A Compositional semantics for Fault-Tolerant Real-Time Systems. School & Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, 08 januari 1992.

- Deontic Specification of Fault Tolerant Programs. Colloquium Niet-Monotoon Redeneren, Technische Universiteit Delft, 18 februari 1992.

- Specifying Fault-Tolerant Programs with Deontic Logic. Workshop Logics for Distributed Systems, Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn, Duitsland, 04 maart 1992.

- Exeption Handling in Process Algebra. First North-American Process Algebra Workshop, Port Jefferson, New York, USA, 28 augustus 1992.
Dijk, G.J. van:

- Efficient Process Migration in the Multiprocessor Systems. 6th International Parallel Processing Symposium, Beverly Hills, California, 23-26 maart 1992.

Eijnde, J.P.H.W. van den:

- Conservative Fixpoint Functions on a Graph. 2nd International Conference on the Mathematics of Program Construction, Oxford, UK, 29 juni - 3 juli 1992.

Gasteren, A.J.M. van:

- Calculating a path algorithm. 2nd International Conference on the Mathematics of Program Construction, Oxford, UK, 29 juni - 3 juli 1992.

- Calculating a path algorithm. Dept. of Computer Science, University of York, UK, juli 1992.

- On calculation. Informaticacolloquium van Philips Nat. Lab., Eindhoven, 25 november 1992.

Gerth, R.:

- Interface Refinement in Reactive Systems. CONCUR'92, 25 augustus 1992.

- Embeddings Among Concurrent Programming Languages. CONCUR'92, 26 augustus 1992.

- Interface Refinement in Reactive Systems. AT&T Bell Labs, 31 september 1992.

- Caching algorithms. Kiel, 14 oktober 1992.

- Overzicht automatische verificatie van finite state systemen. Werkgroep automatische verificatie (WAVE), 28 oktober 1992.

- Binary Decision Diagrams. Werkgroep automatische verificatie (WAVE), 25 november 1992.
Haans, J.:

- VLSI Programming of Multipliers. ACiD-WG/EXACT Workshop on Asynchronous Data Processing, Veldhoven, 14 december 1992.

Hammer, D.K.:

- DEDOS. Océ, Venlo, 07 februari 1992.

- DEDOS. Philips Nat. Lab., Aken, 05 november 1992.
Hee, K.M. van:

- Markov decision processes for search problems. Workshop on intelligent decision support systems, Ulm, Duitsland, 24 juni 1992.

- Computer tools to design and analyze complex organisations. Colloquium University of British Columbia, Vancouver, Canada, 10 augustus 1992.

- A survey of specification formalism for information systems. DGOR Tagung, Aken, Duitsland, 10 september 1992.

- Theory en praktijk van decision support systems. Congres Universiteit van Amsterdam, 26 november 1992.
Hee, K.M.; Somers, L.J.; Voorhoeve, M.:

- Toolpresentatie en lezing ExSpect. 13th International Conference on Application and Theory of Petri Nets, Sheffield, 23 juni 1992.

Hemerik, C.:

- Een cpo-model voor tweede orde lambda-calculus met recursie. CWI, 14 april 1992.

Hoogendijk, P.F.:

- (Relational) Programming Laws in the Boom hierarchy of Types. 2nd International Conference of Program Construction, Oxford, UK, 29 juni - 3 juli 1992.

Hoogerwoord, R.R.:

- A logatithmic implementation of flexible arrays en A derivation of Huffman's algorithm. Mathematics of Program Construction, Oxford, UK, 29 juni - 03 juli 1992.

- On the foundations of functional programming: a programmer's point of view. Zuidelijk Interuniversitair Logicacolloquium, 26 mei 1992.
Hooman, J.J.M.:

- Compositional Verification of Distributed Real-Time Systems. School on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, 06 januari 1992.

- Compositional Verification of a Distributed Real-Time Arbitration Protocol. Workshop on Protocol Verification, Mierlo, 10 maart 1992.

- Compositional Verification of a Distributed Real-Time Arbitration Protocol. Kiel, Duitsland, 13 mei 1992.

- Top-Down Design of an Embedded Real-Time System: the Rail Road Crossing Example. Kiel, Duitsland, 14 mei 1992.

- Compositional Verification of a Distributed Real-Time Arbitration Protocol. Bijeenkomst Esprit-BRA project SPEC-REACT, Grenoble, Frankrijk, 19 mei 1992.

- A Compositional Method for the Top-Down Design of Real-Time Systems. Euromicro'92

Workshop on /real-Time Systems, Athene, Griekenland, 04 juni 1992.

- Top-Down Design of Embedded Real-Time AI Systems. 1992 IFAC/IFIP/IMACS Symposium on Artifical Intelligence in Real-Time Control, Delft, 16 juni 1992.

- The Application of Compositional Proof Methods to Real-Time. 1992 IFAC/IFIP/IMACS Symposium on Artifical Intelligence in Real-Time Control, Delft, 16 juni 1992.

- Specification and Compositional Verification of Embedded Real-Time Systems. Zomerschool Real-Time, Fault Tolerance and Artificial Intelligence, Neeruti, Estland, 30 juni 1992.

- A Compositional Approach to the Design of Hybrid Real-Time Systems. Workshop on Theory of Hybrid Systems, Lyngby, Denemarken, 20 oktober 1992.

- Compositional Verification of a Distributed Real-Time Arbitration Protocol. Philips Natuur­kundig Laboratorium, Eindhoven, 12 november 1992.

- An Assertional Verification Method for Real-Time Systems. Workshop on Assertional Methods, CWI, Amsterdam, 18 november 1992.

- Specification and Compositional Verification of Distributed Real-Time Systems. Institute of informatics, Warsaw University, Warsaw, Polen, 17 december 1992.
Huizing, C.:

- Comparison of Timed Reactive Systems. Christian-Albrechtuniversitaet zu Kiel, Kiel, 24-25 september 1992.

Kaldewaij, A.:

- Parallelle berekeningen. Colloquium Theoretische informatica, TU, Eindhoven, oktober 1992.

- Het ontwerp van een parallelle priority queue. EURICS, Rijksuniversiteit Utrecht, november 1992.

- Informatica-onderwijs op HTO en op TU. IOWO-Symposium, Rijksuniversiteit Nijmegen, november 1992.

Kamareddine, F.:

- On stepwise Explicit Substitution. Eight British Colloquium on Theoretical Computer Science, Newcastle, Engeland, maart 1992.

- A New lambda notation and its usefulness for the lambda calculus. Conference on Mathe­matical Foundations of Programming Semantics, Oxford, Engeland, april 1992.

- Lambda-terms, Logic, Determiners and Quantifiers. Katholieke Universiteit Brabant, Tilburg, juni 1992.

- Themes in the Lambda-calculus. Universiteit Siegen, Duitsland, juni 1992.

- Themes in the lambda-calculus. 1992 European Summer meeting of the Association of Symbolic Logic, Hongarije, augustus 1992.

- Polymorphism and type containments, a series of two days seminars. Universiteit Tuebingen, Duitsland, november 1992.

- Set theory and self reference. University Saint Andrews, Schotland, december 1992.

Kamareddine, F.; Nederpelt, R.:

- A new framework for the lambda-calculus. 1992 European Summer Meeting of the Asso­ciation of Symbolic Logic, Hongarije, augustus 1992.

Kruseman Aretz, F.E.J.:

- LALR(1) : LL(1) = LR(0) : LL(0). Symposium t.g.v. het afscheid van prof.dr. Th.J. Dekker, Universiteit van Amsterdam, 27 november 1992.

Kuiper, R.:

- Action refinement. Workshop Logics for concurent systems, Bonn, Duitsland.

- Temporal logics and equivalences. CONCUR92, Stony Brook, V.S., 24-27 augustus 1992.

- Temporal logics and equivalences. REX dag, Eindhoven, 30 oktober 1992.

Luit, E.J.; Mombarg, V.A.P.:

- The DEDOS On-Line Scheduler. International Workshop on Real-Time Programming, Bruges,

Belgium, 23-26 juni 1992.
Luit, E.J.; Laan, T.A. van der; Gransier, T.A.G.:

- Object Oriented MMS Interface Design. EMUG/TOP EVENTS at Ssytec, Munich, Germany, 18-23 oktober 1992.

Lukkien, J.J.:

- An operational semantics for the guarded command language. Conferentie Mathematics of Program Construction, juni/juli 1992.

- Multiplexing, Routing and Remote Procedure Calls. Werkgroep parallellisme, TUE.
Mak, R.H.:

- Connecting Asynchronous Modules to the 1²C-bus. ACiD-WG/EXACT Workshop on Asynchronous Controllers and Interfacing, Leuven, Belgium, 14-16 september 1992.

Mauw, S.:

- A common format for exchanging processspecifications. Startbijeenkomst ESPRIT-project CONCUR2, Nice, Frankrijk, september 1992.

- A formal semantics for synchronous interworking. CCITT meeting working group X.MSC, Geneva, Zwitserland, november 1992.
Nuijten, W.:

- Constraint satisfaction for job shop scheduling. Carnegie-Mellon University, Pittsburgh, The Robotics Institute, 04-08 mei 1992.

- Constraint satisfaction for job shop scheduling. Waterloo University, Waterloo, 08-13 mei 1992.

- Constraint satisfaction and the generalized scheduling problem. Rijksuniversiteit Limburg, Maastricht, 23 september 1992.

- Randomized constraint satisfaction for job shop scheduling. RIKS, Maastricht, 14 oktober 1992.
Overveld, C.W.A.M.:

- Relaxatie methoden in geometric modelling en computer anaimatie. Vakgroepscolloquium, Utrecht, 13 februari 1992.

- The Eindhoven Computer Animation Environment. Graphics colloquium, Calgary, 09 juli 1992.

- Discretisation algorithms. Gastcollege in het kader van het college Computer Graphics, Calgary, 22 en 24 september, 13 oktober 1992,

- Relaxation and Geometric Modelling. Graphics Colloquium, Calgary, 14 oktober 1992.

- Relaxation, Jack of all trades. Graphics Colloquium, Philadelphia, 11 december 1992.

Overveld, C.W.A.M.; Pruzinskiewicz, P.:

- Splines, non linear maps and branching structures in computer graphics. Graphics Colloquium, Calgary, 27 oktober 1992.

Paredaens, J.:

- Concepts for Graph-Oriented Object manipulation. Third International Conference on Extending Database Technology, Vienna, Austria, 24-27 maart 1992.

- The Realm of Generic Transformations in Database Theory. 4th GI-Workshop, Grundlagen van Databanken, Barsinghausen, 9-12 juni 1992.

- Informatica-Ondersteuning voor personen met een Handicap. 47e Geneeskundige dagen, Antwerpen, 18 september 1992.

- Generic Database Transformations. 7th International Meeting of Young Computer Scientists, Smolenice, Tchecoslovakije, 16-20 november 1992.

- Information and Data on Open Media for Networks of Users. Inaugural Meeting of the Network of Excellence 6606, IDOMENEUS, Hamburg, 30 november 1992.

Poll, E.:

- A Programming Logic for λw, Lambda Intercity, Utrecht, mei 1992.

- Een programmeertaal en bijbehorende programmalogica gebaseerd op typetheory, TU Delft, mei 1992.
Roosmalen, O.S. van:

- An object-oriented model for the construction of dependable distributed systems.

International Workshop on Object-Oriented Operating Systems (IWOOOS'92), Paris, 23-25 september 1992.
Schols, H.M.J.L.:

- Delay-insensitive communication. Faculteitscolloquium Wiskunde/Informatica, 24 november 1992.

Somers, L.J.A.M.; Stok, P.D.V. van der; Thijssen, P.T.A.:

- Formal Specification and Simulation of a Real-Time Concurrency Control Protocol. The Second International Workshop on Reponsive Computer Systems, KDD R&D Laboratories, Saitama, Japan, 01-02 oktober 1992.

Stok, P.D.V. van der:

- Concurrency control for DEDOS. Computer science colloquium, Tokyo Institute of Tech­nology, Tokyo, Japan, 06 oktober 1992.

Veltkamp, J.P.:

- Eindrapportage over DIPPER-project PCA 4038. PCA-bijeenkomst, Barcelona, 25 maart 1992.

- Posterpresentatie DIPPER-project PCA 4038. PCA-bijeenkomst, Barcelona, 25 maart 1992.
Verhoeff, T.:

- Codes for delay-insensitive data transmission. Voor deelnemers aan ACiD/EXACT workshop. IMEC, Leuven, 14 september 1992.

- Puzzling Computers. Kubusdag van de Nederlandse Kubus Club, Joris College, Eindhoven, 12 december 1992.
Verhoosel, J.:

- Off-line scheduling for Hard Real-Time Distributes Systems using Windows. NATO Advanced Study Institute on Real-Time Computing, St. Maarten, oktober 1992.

Verkoulen, P.A.C.:

- A Formally Integrated Conceptual Model based on Objects. Third International Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, 10 juni 1992.

- Integrating Data and Process Modelling. University of Waterloo, Canada, 15 juni 1992.

- The Expressive Power of an Integrated Model for Complex Objects. Computing Science in the Netherlands, Utrecht, 04 november 1992.

- Integraded Information Systems Design.

ISDF workshop, Mierlo, november 1992.

Wetering, H. van de:

- Chain Coding in Computer Graphics. Informatica Colloquium, 14 februari 1992.

- Chain Coding in Computer Graphics. Monthly Meetings on Geometry, Graphics, and Robotics, Eurics, Utrecht, maart 1992.

BIJLAGE C

SOCIAAL VERSLAG
1. Personeelslasten 1992 (fl)
1.1 Specificatie personeelslasten over 1e en 2e/3e geldstroom

1e gs* 2e/3e gs* totaal

========== ========== ==========
Inkomsten 20.259.745 740.744 21.000.489

========== ========== ==========

Uitgaven

Schaalsalarissen 14.578.441 526.558 15.104.999

Sociale lasten 3.014.626 144.067 3.158.693
--------------- --------------- ---------------

17.593.067 670.625 18.263.692

Overige personele lasten 807.940 807.940

--------------- --------------- ---------------

Totaal 18.401.007 670.625 19.071.632

========== ========== ==========

Saldo 1992 1.858.738 70.119 1.928.857

========== ========== ==========

1.2 Specificatie personele lasten over de vak- onderwijsgroepen en bureau

1.3 Specificatie salariskosten

1.4 Specificatie overige personele lasten
Wervingskosten 75.412

Personeel derden 149.236

Woon- werkverkeer/verhuizingen 116.762

Uitzendkrachten 113.884

Bindingspremies, beloningsdifferentiaties 214.575

Opleidingskosten 73.163

Surveillantenpool 27.127

ZVO-regeling 4.805

Premiespaarregeling 727

Dotatie voorziening wachtgeld 24.371

Overig 7.877

_______

807.940

=======

figuur: Uitgaven personele lasten 1e geldstroom (1991 en 1992)

2. Cijfermatige gegevens (per 31 december 1992)

2.1.1 Bezetting naar leeftijdscategorie

	Mannen		Vrouwen
Leeftijdskl.	full-time	part-time	full-time	part-time
 24	6	-	2	-
25 t/m 29	25	-	7	2
30 t/m 34	24	1	2	-
35 t/m 39	21	5	2	4
40 t/m 44	16	1	-	8
45 t/m 49	16	-	2	5
50 t/m 54	25	1	2	1
55 t/m 59	18	3	1	1
 60	3	-	-	-
Totaal	154	11	18	21

2.1.2 Bezetting naar functiecategorie

	Mannen		Vrouwen		Totaal
	full-time	part-time	full-time	part-time
wet. pers.	133	10	6	4	153
techn. pers.	10	-	-	-	10
adm. pers.	5	1	12	16	34
syst. desk.	6	-	-	1	7
Totaal	154	11	18	21	204

2.1.3 Verdeling deeltijdfuncties in fte's

omvang dienstverband	vrouwen	mannen
0.0 - 0.1	-	-
0.1 - 0.2	-	-
0.2 - 0.3	1	5
0.3 - 0.4	-	-
0.4 - 0.5	1	1
0.5 - 0.6	6	1
0.6 - 0.7	4	1
0.7 - 0.8	-	1
0.8 - 0.9	7	2
0.9 - 1.0	2	-
Totaal	21	11

2.1.4 Bezetting naar functiecategorie

 Functie	Mannen	Vrou­wen	Totaal
gewoon hoogleraar A	7	-	7
gewoon hoogleraar B	14	-	14
deeltijd hoogleraar	4	-	4
wetenschappelijk adviseur	1	-	1
universitair hoofddocent	19	-	19
universitair docent	62	4	66
(toegevoegd) docent	5	1	6
(toegevoegd) onderzoeker	3	-	3
assistent in opleiding	27	5	32
wetenschappelijk assistent	1	-	1
systeemontwerper hbo	3	1	4
systeemontwerper acad.	3	-	3
administratief medewerker	6	28	34
technisch medewerker	10	-	10
Totaal	165	39	204

2.2 Instroom naar functiecategorie

	vaste dienst			tijdelijke dienst
	(incl. proeftijd)
	1e geldstroom			1e geldstroom			3e geldstroom
	m	vr	tot	m	vr	tot	m	vr	tot
wet. pers.	7	-	7	19	3	22	15	-	15
techn. pers.	-	-	-	1	-	1	-	-	-
adm. pers.	-	2	2	-	3	3	-	-	-
syst. desk.	-	-	-	1	-	1	-	-	-
Totaal	7	2	9	21	6	27	15	-	15