News and events archive

From the faculty

  • Title image

    DIMEA and FORMELA labs are reviving regular research seminars

    It is a revival of a regular research seminar in the area of discrete algorithms, formal methods and related fields of computer science. The seminar will take place on Monday at 2 pm biweekly during the term. Further information including the list of speakers for the next term can be found on the following webpage. Prof. Dan Král' a deputy of an organizer's team is looking forward to meeting many of you at the seminar talks.

    Web address