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 Natuurkundig 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 Mathematical 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 Association 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 12C-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 Technology, 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
|
Vrouwen
|
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
|
Do'stlaringiz bilan baham: |