Course information

Course title
Formal Methods
University / Organization
Institute for Programming research and Algorithmics
City
Twente
Country
The Netherlands
Academic level
Doctoral (PhD)
Language
English
School
Address
Course director
Course lecturer(s)
Confirmed lecturers include Arend Rensink (UT), Michel Reniers and/or Asia van de Mortel (TU/e), Joost-Pieter Katoen (RWTH), Mariƫlle Stoelinga (UT) and Wouter Swierstra (UU)
Course aim
The Advanced Course, which is hosted by IPA at the University of Twente, focusses on subject areas in formal methods where successful research is being conducted by groups in IPA. From several of these areas, risk analysis, functional programming, probabilistic model checking, graph grammars and supervisory control, topics are taken to which an entire course day is dedicated.
Course contents / programme
The tentative overall schedule of the course is as follows: course days will start at 10.00 and last until approximately 16.30 hours. Short coffee breaks are planned at around 11.00 and around 14.45 and an organised lunch break at, roughly, 12.30-13.30. A more detailed planning and more information will be posted below in due time. The tentative agenda, including tentative topic titles, will be announced asap.
Required Knowledge and preparation
Teaching methods
Course days consist of lectures mixed with active training (exercises, assignments, etc.).
Assessment
Course type
PhD course
Consecutive days
Yes
Online course
No
Duration (net days)
5
Credits
2 ECTS
Course fee
Free for IPA students, other need to contact for exact cost
Direct e-mail to register
Paper submission required?
Logo of institution
front approval