FI:IA072 Seminar on Concurrency - Informace o předmětu
IA072 Seminar on Concurrency
Fakulta informatikyjaro 2015
- Rozsah
- 0/2. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (přednášející) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Pá 10:00–11:50 B411
- Předpoklady
- SOUHLAS
for postgraduate students; undergraduate students may ask for an exception, especially if they successfully passed IA040 Modální a temporální logiky procesů and IA041 Teorie a specifikace procesů and want to work in the area of concurrent processes, formal verification, or program analysis. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 15 stud.
Momentální stav registrace a zápisu: zapsáno: 0/15, pouze zareg.: 0/15, pouze zareg. s předností (mateřské obory): 0/15 - Mateřské obory/plány
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Sociální informatika (program FI, B-AP)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- Cíle předmětu
- At the end of the course students should be able to:
understand a theoretical scientific text;
make a presentation that explains main ideas of such a text;
apply information on current topics (and results) of concurrency and formal verification research areas in an eventual original research; - Osnova
- Presentations of (preferably original) results from the following areas:
- Process algebras and their specifications.
- Infinite state systems and their hierachies.
- Semantic equivalences and preorders.
- Decidability and complexity of verification problems.
- Analysis, validation, and verification of software.
- Literatura
- Handbook of process algebra. Edited by J. A. Bergstra - A. Ponse - Scott A. Smolka. Amsterdam: Elsevier, 2001, xiv, 1342. ISBN 0444828303. info
- Journal and conference papers specified by a person in charge of running seminar.
- Výukové metody
- seminar; every participant is expected to give a talk on a journal/conference paper (these will be specified by a person in charge of running seminar); presentations of new original results are preferred.
- Metody hodnocení
- presentations, attendance at seminars
- Vyučovací jazyk
- Angličtina
- Informace učitele
- Seminar programme can be found at interactive syllabus web pages. Repeated enrollment for the seminar is possible in case of excellent results.
- Další komentáře
- Studijní materiály
Předmět je vyučován každý semestr.
- Statistika zápisu (jaro 2015, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2015/IA072