FI:FMDSA Seminar on Formal Methods - Informace o předmětu

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

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

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

• Informatika (angl.) (program FI, D-IN4) (2)
• Informatika (program FI, D-IN4) (2)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4) (2)
• Počítačové systémy a technologie (program FI, D-IN4) (2)

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.
Výuka probíhá každý týden.

• Statistika zápisu (jaro 2012, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2012/FMDSA