Basic Courses: "Methods for IKS" and "Agent technology"



From December 19 till December 23, 2005, the School for Information and Knowledge Systems (SIKS) organizes two basic courses: "Formal methods for IKS" and "Agent Technology". The location will be Landgoed Huize Bergen in Vught.
Both courses will be given in English and are part of the Basic Course Program for SIKS-Ph.D. students. Although these courses are primarily intended for SIKS-Ph.D. students, other participants are not excluded. However, their number of passes will be restricted and depends on the number of SIKS-Ph.D. students taking the course.

Scientific Directors

  • prof.dr. J.-J.Ch. Meyer (UU), prof.dr. E.O.Postma (UM) Formal methods for IKS
  • prof.dr. J.-J.Ch. Meyer (UU), prof. dr. C. Jonker (RUN) Agent technology


a provisionary program is available now


In the conference center there is a limited number of places and there is interest from other groups in the topic as well. Therefore, an early registration is required.

Deadline for registration for SIKS-Ph.D.-students: December 10 2005

After that date, applications to participate will be honoured in a first-come first-serve manner. Of course, applications to participate from other interested groups are welcome already. They will receive a notification whether they can participate as soon as possible.

Information for non-SIKS Ph.D.- students
SIKS needs a confirmation from your supervisor/office that they agree with the arrangement and paying conditions.

For registration you are kindly requested to fill in the registration form