I072 Concurrency Club

Faculty of Informatics
Spring 1999
Extent and Intensity
2/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Guaranteed by
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 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
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
  • Clá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 annually.
The course is taught: every week.
Teacher's information
http://www.fi.muni.cz/usr/kretinsky/
The course is also listed under the following terms Autumn 1999, Spring 2000, Autumn 2000, Spring 2001, Autumn 2001, Spring 2002.
  • Enrolment Statistics (Spring 1999, recent)
  • Permalink: https://is.muni.cz/course/fi/spring1999/I072