Semináře

• Logic seminar
  9.6.2025 (pondělí), 16:00, IM CAS, Žitná 25, rear building, ground floor and on Zoom
  Chris Lambie-Hanson (IM CAS): Inner model theory, from Gödel to Ultimate L
  
• Seminar on partial differential equations
  10.6.2025 (úterý), 9:00, IM CAS, Žitná 25, rear building, ground floor and on Zoom
  Jean-Philippe Lessard (McGill University): Periodic localized traveling waves in the two-dimensional suspension bridge equation: computer-assisted proofs of existence
  
• Seminar on Applied Mathematical Logic
  11.6.2025 (středa), 16:00, ICS CAS, Pod Vodárenskou věží 2, Prague 8, room 318
  Matteo De Berardinis (University of Salerno): A Proof Theory for Profinite Modal Algebras
  
• Seminar on differential equations and integration theory
  12.6.2025 (čtvrtek), 10:00, IM CAS, Žitná 25, front building, 3rd floor
  Nandadulal Bairagi (Jadavpur University, Kolkata): Tipping and its consequences in ecological systems