FI:FMDSA Seminar on Formal Methods - Course Information
FMDSA Working Seminar on Formal Models, Discrete Structures, and Algorithms
Faculty of InformaticsSpring 2014
- Extent and Intensity
- 1/0. 1 credit(s) (plus extra credits for completion). Type of Completion: z (credit).
- Teacher(s)
- doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer) - Guaranteed by
- prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Contact Person: doc. RNDr. Tomáš Brázdil, Ph.D.
Supplier department: Department of Computer Science – Faculty of Informatics - Timetable
- Mon 14:00–15:15 G191m
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (eng.) (programme FI, D-IN4) (2)
- Informatics (programme FI, D-IN4) (2)
- Computer Systems and Technologies (eng.) (programme FI, D-IN4) (2)
- Computer Systems and Technologies (programme FI, D-IN4) (2)
- Course objectives
- This seminar series provides a forum for visiting scientists to present their work in progress and to develop new ideas in cooperation with their colleagues at FI MU. The emphasis is on emerging topics, recent results, and open problems. The participating students have a unique opportunity to discuss and initiate new directions in their research work.
- Syllabus
- The topics are focused mainly on formal models, discrete structures, and algorithms.
- Teaching methods
- Lectures delivered by recognized experts in their fields.
- Assessment methods
- Active participation in talks and the follow-up dicusssions.
- Language of instruction
- English
- Further Comments
- The course is taught each semester.
- Enrolment Statistics (Spring 2014, recent)
- Permalink: https://is.muni.cz/course/fi/spring2014/FMDSA