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

IA072 Seminar on Verification

Rozsah

0/2/0. 2 kr. (plus ukončení). Ukončení: z.

Vyučující

prof. RNDr. Jan Strejček, Ph.D. (přednášející)
Mgr. Marek Trtík, Ph.D. (přednášející)
RNDr. Martin Jonáš, Ph.D. (pomocník)

Garance

prof. RNDr. Jan Strejček, Ph.D.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Jan Strejček, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Pá 10:00–11:50 B411

Předpoklady

SOUHLAS
for postgraduate students; undergraduate students interested in formal methods may ask for an exception, especially if they are interested in program analysis or automata.

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: 7/15, pouze zareg.: 0/15, pouze zareg. s předností (mateřské obory): 0/15

Mateřské obory/plány

• Analýza a zpracování obrazu (program FI, N-VIZ)
• 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 a systémová biologie (program FI, N-UIZD)
• Bioinformatika (program FI, N-AP)
• Computer Games Development (program FI, N-VIZ_A)
• Computer Graphics and Visualisation (program FI, N-VIZ_A)
• Computer Networks and Communications (program FI, N-PSKB_A)
• Cybersecurity Management (program FI, N-RSSS_A)
• Diskrétní algoritmy a modely (program FI, N-TEI)
• Formální analýza počítačových systémů (program FI, N-TEI)
• Grafický design (program FI, N-VIZ)
• Graphic Design (program FI, N-VIZ_A)
• Hardware Systems (program FI, N-PSKB_A)
• Hardwarové systémy (program FI, N-PSKB)
• Image Processing and Analysis (program FI, N-VIZ_A)
• Informační bezpečnost (program FI, N-PSKB)
• Informační systémy (program FI, N-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Information Security (program FI, N-PSKB_A)
• Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a vizualizace (program FI, N-VIZ)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-PSKB)
• Počítačové systémy (program FI, N-IN)
• Principy programovacích jazyků (program FI, N-TEI)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Řízení kyberbezpečnosti (program FI, N-RSSS)
• Řízení vývoje služeb (program FI, N-RSSS)
• Řízení vývoje softwarových systémů (program FI, N-RSSS)
• Services Development Management (program FI, N-RSSS_A)
• 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)
• Software Systems Development Management (program FI, N-RSSS_A)
• Software Systems (program FI, N-PSKB_A)
• Softwarové systémy (program FI, N-PSKB)
• Strojové učení a umělá inteligence (program FI, N-UIZD)
• 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)
• Vývoj počítačových her (program FI, N-VIZ)
• Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
• Zpracování obrazu (program FI, N-AP)
• Zpracování přirozeného jazyka (program FI, N-UIZD)

Cíle předmětu

The aim of the course is to
introduce students to selected research areas;
check their ability to understand a scientific paper;
check and improve their skill of presenting a scientific paper;

Výstupy z učení

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;
potentially apply gathered knowledge in an original research;

Osnova

• Presentations of results from the following areas:
• Analysis and verification of software.
• Automata and logics over infinite words.
• Satisfiability and theorem proving.

Literatura

• Handbook of model checking. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN 9783319105741. 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 2024, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2024/IA072