Semináře

• Seminář Hora Informaticae
  16. 2. 2015 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
  Jiří Wiedermann (ÚI AV ČR): Fast deterministic (nondeterministic) algorithms for verification (computation) of matrix products
• Seminář oddělení výpočetních metod   
  17. 2. 2015 (úterý), 13:15, místnost 318
  Martin Isoz (VŠCHT Praha):  Modeling rivulets and other thin film flows
• 95. kolokvium
  17. 2. 2015 (úterý), 14:30, MFF UK, Malostranské nám. 25 , S5, 2nd floor
  Kaoru Ono  (RIMS, Kyoto): Lagrangian Floer theory
• Seminář aplikované matematické logiky
  18. 2. 2015 (středa), 14:00, místnost 318
  Zpět k pramenům: Petr Hájek a seminář aplikované logiky