(For English readers:) All information about the course INF4231 is available on the course page for the course INF3230.
(INF4231 and INF3230 have the same lectures and seminars, except that INF4231 also deals with temporal logic.)