FI:I072 Concurrency - Course Information

I072 Concurrency Club

Extent and Intensity

2/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: 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.

Timetable

Fri 10:00–11:50 B411

Prerequisites

SOUHLAS
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.

The capacity limit for the course is 15 student(s).
Current registration and enrolment status: enrolled: 0/15, only registered: 0/15

fields of study / plans the course is directly associated with

• Informatics (programme FI, M-IN)
• Mathematical Informatics (programme FI, D-IN)
• General Problems of Mathematics and Informatics (programme FI, D-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)

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 each semester.
Information on course enrolment limitations: předmět určen pro PGS, studenti mag.studia mohou požádat o výjimku

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

• Enrolment Statistics (Spring 2001, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2001/I072