DPOSO Advances in Concurrency

Faculty of Informatics
Autumn 2016
Extent and Intensity
3/0. 3 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 )
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
there are 8 fields of study the course is directly associated with, display
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
The course is also listed under the following terms Autumn 2007, Spring 2008, Autumn 2008, Spring 2009, Autumn 2009, Spring 2010, Autumn 2010, Spring 2011, Autumn 2011, Spring 2012, Autumn 2012, Spring 2013, Autumn 2013, Spring 2014, Autumn 2014, Spring 2015, Autumn 2015, Spring 2016, Spring 2017, Autumn 2017, Spring 2018, Autumn 2018, Spring 2019, Autumn 2019, Spring 2020, Autumn 2020.
  • Enrolment Statistics (Autumn 2016, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2016/DPOSO