IPA Course on Software Technology 1998

IPA organises basic courses on each of its major research fields, Algorithms and Complexity, Formal Methods and Software Technology. 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.

Place

• February 4-6, 11: Utrecht (Dept. of Comp. Science, Centrumgebouw Noord)
• February 12-13: Nijmegen (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 A
• Thursday, February 12, 1998, 10.00 - 17.00, room N 0031
• Friday, February 13, 1998, 10.00 - 17.00, room N 0031

Program

• 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, programming examples.
• 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 world applications
• 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

Course material will be handed out at the courses.

Costs

Costs include course material and lunches.

Please register before January 15 by sending the registration form.