News and events archive

Doctoral studies

  • Doctoral Thesis Defence

    The doctoral thesis defence "Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction" of RNDr. Barbora Zimmerová will take place in the conference room at FI MU on October 24th 2008.