Semináře

• Seminář SIAM SC  
  14. 1. 2014 (úterý), 12:20, Sokolovská 83, MFF UK, Sem. místnost KNM
  Karel Chvalovský: Pár slov o automatickém dokazování
• Seminář aplikované matematické logiky
  8. 1. 2014 (středa), 14:00, místnost 318
  Felix Bou: An exotic MTL-chain