I072 Concurrency Club

Faculty of Informatics
Autumn 2000
Extent and Intensity
2/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: zk (examination), z (credit).
Teacher(s)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Prerequisites
I998 Diploma Thesis Seminar
Prerequisites: for postgraduate students; undergraduate students may ask for an exception, especially if they successfully passed I040 Modal and Temporal Logics for Processes and I041 Concurrency Theory and want to work in the area of concurrent processes.
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
Syllabus
  • This seminar is running in connection with the Czech Grant Agency project "Algorithmic verification boundaries for infinite-state systems" and research direction of the faculty "Non-sequentional models of computations". It is open to active participants only. Every participant is expected to give a talk on journal/conference papers or a subchapter of a book/monograph (these will be specified by a person in charge of running seminar). Presentations of new original results is preferable.
Literature
  • Články z časopisů a sborníků konferencí, dle specifikace vedoucího semináře
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught each semester.
The course is taught: every week.
Information on course enrolment limitations: určeno zejména pro PGS, studenti magisterskeho programu mohou požádat o výjimku
Teacher's information
http://www.fi.muni.cz/usr/kretinsky/
The course is also listed under the following terms Spring 1999, Autumn 1999, Spring 2000, Spring 2001, Autumn 2001, Spring 2002.
  • Enrolment Statistics (Autumn 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2000/I072