Our seminar

Laboratory seminars (PV273 in the course catalog) on Wednesday, 15:00-16:00, A505, FI MU, Botanická 68

The format of standard lectures: 30 minutes presentation + 15 minutes for questions, slides in English, presentation in English or Czech based on audience

Programme for autumn 2018 including state exam training for the examination period

Programme for Spring 2019

  • 20.2.2019
    RNDr. Petr Ročkai, Ph.D.
    Software verification vs security vulnerabilities
    Abstract: Applications of formal methods (especially automated verification methods) to realistic software is an emerging field with an active research community. Programs written in C are especially interesting since the C language is still widely used in system-level programs, while also being susceptible to many serious programming mistakes. Additionally, in many cases, such mistakes are hard to uncover using traditional methods like testing. Formal methods attack the problem from a different angle, using powerful automated reasoning to discover hard-to-find bugs. It is perhaps not surprising that a substantial overlap exists between security vulnerabilities and the classes of bugs that can be exposed using such tools. In this talk, we will explore the state of the art in software verification from a security perspective.
  • 27.2.2019
    doc. RNDr. Aleš Horák, Ph.D.
  • 6.3.2019
    RNDr. Jiří Filipovič, Ph.D.
  • 13.3.2019
    RNDr. Michal Procházka, Ph.D.
  • 20.3.2019
    Mgr. Tomáš Sapák
  • 27.3.2019
    Future Sitola
  • 3.4.2019
    Mgr. Filip Münz, PhD.
    Planning and evaluation of experiments (40 minuts for presentation)
    Abstract: TBA

Past seminars

Contact: Hana Rudová

(c) 2018 SITOLA, Administration