Semináře

• Seminář Hora Informaticae
  4. 2. 2013 (pondělí), 14:00, místnost 318
  Věra Kůrková  (ÚI AV ČR): Vlastnosti  radiálních a jádrových výpočetních modelů (2. část)
• Seminář aplikované matematické logiky
  6. 2. 2013 (středa), 14:00, místnost 318
  P. Cintula, C. Noguera: 17 Shades of Algebraizability