FMDSA Working Seminar on Formal Models, Discrete Structures, and Algorithms

Fakulta informatiky
jaro 2016
Rozsah
1/0. 1 kr. (plus ukončení). Ukončení: z.
Vyučující
doc. RNDr. Tomáš Brázdil, Ph.D. (přednášející)
prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
Garance
prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Tomáš Brázdil, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Po 14:00–15:50 C417
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 8 mateřských oborů, zobrazit
Cíle předmětu
This seminar series provides a forum for visiting scientists to present their work in progress and to develop new ideas in cooperation with their colleagues at FI MU. The emphasis is on emerging topics, recent results, and open problems. The participating students have a unique opportunity to discuss and initiate new directions in their research work.
Osnova
  • The topics are focused mainly on formal models, discrete structures, and algorithms.
Výukové metody
Lectures delivered by recognized experts in their fields.
Metody hodnocení
Active participation in talks and the follow-up dicusssions.
Vyučovací jazyk
Angličtina
Další komentáře
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2017, jaro 2018, jaro 2019.