Your browser doesn't support this content. You can turn it off by clicking on/off icon on the footer area of the page.

Academic year 2017/2018


  • enrolments, exemptions, recognitions (e.g. of already passed subject) are possible only in first tree weeks of semester (October 4th, 2013),
  • acknowledgments of written tests and entering grades in documents are possible only in announced deadlines (October 4th, 2013),
  • only addmited students can pass a subject, i.e. students enrolled in the USOS list on date of last lecture (January 18th, 2015 r.),
  • any incomplete or incorrectly filled in document submitted to be authorised will not be considered. A photocopy must be submitted of any document requiring authorisation unless it is a grading list (January 18th, 2015 r.),
  • due to abuse of e-mail communication, according to students' suggestions, the following restrictions are made: (October 4th, 2015 r.),
    • important problems (personal, misfortune) can be directly consulted by e-mail or face to face,
    • questions concerning the taught subject can be asked at class or should be e-mailed via a selected representative,
    • any e-mail must be sent from students server/account, e-mails from other accounts will be automatically put into spam, this restriction concerns all classes of my subjects (lectures/tutorials/labs/projects),

Automata Theory and Formal Languages:

Algorithms and Computability:

  • retaken final test is scheduled on January 25th at 16.00, room 103 (January 8th),
  • retaken final test is scheduled on January 11th at 16.00, room 103 (January 6th),
  • retaken final test is scheduled on January 11th at 16.00, place will be given later (December 2nd),