IV115 Lab Seminar – AVELAB

Fakulta informatiky
podzim 2025
Rozsah
0/2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučováno kontaktně
Vyučující
RNDr. Martin Jonáš, Ph.D. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (přednášející)
prof. Ing. Tomáš Vojnar, Ph.D. (přednášející)
Garance
prof. RNDr. Jan Strejček, Ph.D.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Martin Jonáš, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
St 17. 9. až St 17. 12. St 14:00–15:50 A321
Předpoklady
SOUHLAS
Schopnost samostatného studia odborných publikací souvisejících s logikou a verifikací programů.
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 25 stud.
Momentální stav registrace a zápisu: zapsáno: 10/25, pouze zareg.: 0/25, pouze zareg. s předností (mateřské obory): 0/25
Mateřské obory/plány
předmět má 36 mateřských oborů, zobrazit
Cíle předmětu
Studenti pochopí do hloubky vybrané téma související s výzkumem v laboratoři AVELAB.
Výstupy z učení
Zkušenost se studiem odborné literatury a její prezentací odbornému publiku.
Osnova
Téma daného semestru je vymezeno během prvních dvou týdnů daného semestru. Téma se každý semestr mění podle zájmů členů laboratoře.
Literatura
  • BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499. info
  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
Výukové metody
Studium odborné literatury související s tématy studovanými v laboratoří AVELAB, její prezentace a diskuze.
Metody hodnocení
Seminární výuka založená výhradně na prezentacích připravených studenty. Pro úspěšné ukončení předmětu musí každý student vystoupit s prezentací.
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích podzim 2007, jaro 2008, podzim 2008, jaro 2009, podzim 2009, jaro 2010, podzim 2010, jaro 2011, podzim 2011, jaro 2012, podzim 2012, jaro 2013, podzim 2013, jaro 2014, podzim 2014, jaro 2015, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, jaro 2018, podzim 2018, jaro 2019, podzim 2019, jaro 2020, podzim 2020, jaro 2021, podzim 2021, podzim 2022, jaro 2023, podzim 2023, jaro 2024, podzim 2024, jaro 2026.