FI:DPOSO Advances in Concurrency - Course Information
DPOSO Advances in Concurrency
Faculty of InformaticsAutumn 2020
- Extent and Intensity
- 3/0/2. 5 credit(s). Type of Completion: z (credit).
- Teacher(s)
- prof. RNDr. Luboš Brim, CSc. (lecturer)
prof. RNDr. Ivana Černá, CSc. (lecturer)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
prof. RNDr. Jiří Barnat, Ph.D. (lecturer)
prof. RNDr. Jan Strejček, Ph.D. (lecturer) - Guaranteed by
- prof. RNDr. Petr Hliněný, Ph.D.
Faculty of Informatics
Supplier department: Faculty of Informatics - Prerequisites (in Czech)
- !NOWANY( DEMBSY Embedded systems , DFOME Formal Methods , DMKZI Quantum Information Processing , DPGZO Graphics & Image Processing , DMPOS Computer Networks Methods , DMZDD Digital Data Processing , DPITS EIT Systems and Services , DZPJUI NLP and AI Methods , DRPSEC Research in comp.security ) && SOUHLAS
- Course Enrolment Limitations
- The course is only offered to the students of the study fields 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
- The course is devoted to current trends in concurrent, paralllel and distributed systems. Presentations of new original results is preferable.
Algorithms and tools for practical verification of computer systems, verification of component based systems, methods of state space reductions. infinite space systems. - Syllabus
- Algorithms and tools for practical verification of computer systems, verification of component based systems, methods of state space reductions. infinite space systems. Presentations of new original results is preferable.
- Literature
- proceedings of relevant conferences
- Teaching methods
- group projects
- Assessment methods
- seminars, active participation.
- Language of instruction
- Czech
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/autumn2020/DPOSO