Semináře

• Hora Informaticae
  4.2.2025 (úterý), 13:30, ÚI AV ČR, Pod Vodárenskou věží 2, místnost 318 and online via Zoom
  Yutaka Nagashima (ICS CAS): Proof By Abduction in Isabelle/HOL.
  
• Current Problems in Numerical Analysis
  7.2.2025 (pátek), 10:00, IM AS CR, Žitná 25, rear building, ground floor
  Anna Kovárnová (University of Chemistry and Technology Prague and Institute of Thermomechanics of the Czech Academy of Sciences): Model order reduction of transport-dominated systems: challenges and applications