Wiskunde en Informatica



Download 1,11 Mb.
bet13/19
Sana02.05.2017
Hajmi1,11 Mb.
#7952
1   ...   9   10   11   12   13   14   15   16   ...   19

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 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 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

Download 1,11 Mb.

Do'stlaringiz bilan baham:
1   ...   9   10   11   12   13   14   15   16   ...   19




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish