Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
teaching [2017/01/05 11:16]
Vojtěch Řehák [IV125 Formela Seminar]
teaching [2017/02/14 09:44] (current)
Petr Hlineny [IV125 Formela Seminar]
Line 22: Line 22:
   * Source: TBA   * Source: TBA
   * Time and Place: TBA, C417.   * Time and Place: TBA, C417.
 +
 +  * Topic 4: //FO logic and model checking on graphs//
 +  * Source: relevant research papers
 +  * Time and Place: Thursday 8-10, C417.
  
 </​WRAP>​ </​WRAP>​
teaching.txt · Last modified: 2017/02/14 09:44 by Petr Hlineny