pátek 20. června 2025

Odkazem

Věda a výzkum Školství

Semináře

  • Seminar on differential equations and integration theory
    26.6.2025 (čtvrtek), 10:00, IM CAS, Žitná 25, front building, 3rd floor
    Jiří Šremr (Brno University of Technology): Lyapunov stability/instability of equilibria of free damped pendulum with vertically oscillating suspension point

neděle 15. června 2025

Semináře

  • Hora Informaticae
    17.6.2025 (úterý), 13:30, ICS, room 318 or via ZOOM
    Roman Neruda (ICS): From Reasoning Agents to Language Agents: How LLMs are Reshaping the AI Agent Paradigm

Odkazem

Věda a výzkum

Akce

Ceny

Různé

úterý 10. června 2025

Ohlédnutí za Veletrhem vědy


  Ústav informatiky se minulý týden představil na Veletrhu vědy, který proběhl ve dnech 5. - 7. června v Praze.

pátek 6. června 2025

Publikační činnost ÚI

Seznam záznamů vložených do ASEP za ÚI

Odkazem

Věda a výzkum Granty Výzvy Různé

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

neděle 1. června 2025

Odkazem

Věda a výzkum

Ceny

Různé

Semináře

  • Current Problems in Numerical Analysis
    06.06.2025, 11:00, (IM, rear building, ground floor)
    Jean-Philippe Lessard (McGill University, Canada): Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence