Semináře

• Seminář aplikované matematické logiky
  19. 11. 2014 (středa), 14:00, místnost 318
  Milan Daniel, Jianbing Ma: Logics with (semilinear) implication revisited
• Seminář oddělení výpočetních metod   
  20. 11. 2014 (čtvrtek), 13:15, místnost 318
  Thomas Huckle (Technische Universität München):  Tensor approximations in quantum control and quantum simulation
• Seminář strojového učení a modelování
  20. 11. 2014 (čtvrtek), 14:00, v S3 na Malostranském náměstí, MFF UK
  Tomáš Křen:  Typované funkcionální genetické programování
• Seminář numerické matematiky
  20. 11. 2014 (čtvrtek), 14:00, Sokolovská 83, K3, MFF UK
  
  Stefano Pozza (University of Padova): Complex Jacobi matrices and Gauss quadrature for quasi-definite linear functionals