Semináře

• Seminar on Applied Mathematical Logic
  10.6.2026 (středa), 16:00, ICS CAS, Pod Vodárenskou věží 2, Prague 8, room 318
  Luca Carai (University of Milan): From implicit to explicit definability in algebra and logic
  
• Seminar on Applied Mathematical Logic
  11.6.2026 (čtvrtek), 10:00, ICS CAS, Pod Vodárenskou věží 2, Prague 8, room 318
  Clara Lerouvillois (IRIT & IHPST): Representing dynamics in logic: from models to proof
  
• Current Problems in Numerical Analysis
  12.6.2026 (pátek), 10:00, IM CAS, Žitná 25, rear building, ground floor
  Lubomíra Dvořáková (Czech Technical University in Prague): String attractors