FI:IA072 Seminar on Concurrency - Informace o předmětu

IA072 Seminar on Concurrency

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í (angl.) (program FI, N-IN)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, D-IN4)
• 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 a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• 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 (podzim 2015, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2015/IA072