IPA Course on Software Technology 1998
IPA organises basic courses on each of its major research fields,
Algorithms and Complexity, Formal Methods and
Each of these basic courses intends to give an overview of (part of) the
research of IPA in this specific field. The courses are directed towards
PhD. students, giving them an overview of IPA's research, but also other
IPA-members can attend (for free). Non-IPA-members can attend if there
is enough place, but we charge some costs for the organization (including
course material) and the lunches.
- February 4-6, 11:
(Dept. of Comp. Science, Centrumgebouw Noord)
- February 12-13:
(Dept. of Comp. Science, Toernooiveld)
Dates and Locations
- Wednesday, February 4, 1998, 10.00 - 17.00, room B 205 A
- Thursday, February 5, 1998, 10.00 - 17.00, room B 205 A
- Friday, February 6, 1998, 10.00 - 17.00 room C 001
- Wednesday, February 11, 1998, 10.00 - 17.00, room B 205
- Thursday, February 12, 1998, 10.00 - 17.00, room N 0031
- Friday, February 13, 1998, 10.00 - 17.00, room N 0031
- February 4 (Wednesday, Utrecht): Functional Programming
- Lecturers D. Swierstra , E. Meijer (RUU)
- Topics: Basic concepts, type systems, lazy evaluation, higher order
functions, monadic I/O, I/O with uniqueness, type (constructor) classes,
efficiency aspects, unique datastructures, processes and process communication,
- February 5 (Thursday, Utrecht): Fundamentals and Analysis Methods
- Lecturers E. Barendsen, H. Barendregt (KUN)
- Topics: Lambda Calculus, Graph Rewriting Systems, Type Systems, Analysis
Methods (e.g. Uniqueness Typing, Strictness Analysis).
- February 6 (Friday, Utrecht): Algebra of Programming
- Lecturer R. Backhouse (TUE)
- Topics: Functors, Morphisms, Polytypic algorithms.
- February 11 (Wednesday, Utrecht): Automatic Generation of Tools
- Lecturers D. Swierstra, E. Meijer (RUU),
- Topics: Attribute Grammars and applications
- February 12 - 13 (Thursday and Friday, Nijmegen): Towards real
- Lecturers: R. Plasmeijer, T. van der Weide, P. Achten, M. van Eekelen,
S. Smetsers (KUN)
- Topics: Requirements analysis, transformational programming, real-world
programming aspects (embedding, testing, control of time and space, profiling).
Course material will be handed out at the courses.
Costs include course material and lunches.
|Members of ASCI, OzsL, SIKS or OTI
Please register before January 15 by sending the
Suggestions and complaints to