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

pátek 23. května 2025

Odkazem

Věda a výzkum Školství Výzvy Akce Ceny Různé

Semináře

  • Nečas Seminar on Continuum Mechanics
    26.5.2025 (pondělí), 15:40, MFF UK, Sokolovská 83, lecture hall K3 and on Zoom
    Michael Dumbser (University of Trento): On well-balanced finite difference, finite volume and discontinuous Galerkin schemes for the Einstein-Euler system of general relativity
  • Seminar on partial differential equations
    27.5.2025 (úterý), 9:00, IM CAS, Žitná 25, rear building, ground floor and on Zoom
    Kuntal Bhandari (Institute of Mathematics, CAS): On a compressible MHD flow interacting with thermoelastic structure
  • Combinatorial group
    27.5.2025 (úterý), 10:00, ICS CAS, Pod Vodárenskou věží 2, Prague 8, room 318 and on Zoom
    Simón Piga (University of Hamburg): TBA
  • Seminar on Applied Mathematical Logic
    28.5.2025 (středa), 16:00, ICS CAS, Pod Vodárenskou věží 2, Prague 8, room 318
    Wolfgang Poiger (Institute of Computer Science, Czech Academy of Sciences): Coalgebraic dynamic logic (re-)visited
  • Current Problems in Numerical Analysis
    30.5.2025 (pátek), 10:00, IM CAS, Žitná 25, rear building, ground floor
    Jan Papež (Institute of Mathematics of the Czech Academy of Sciences, Prague): Error estimate for least-squares problems solved by LSQR and CGLS
  • Current Problems in Numerical Analysis
    30.5.2025 (pátek), 11:00, IM CAS, Žitná 25, rear building, ground floor
    Vít Břichňáč (Czech Technical University in Prague): Task-based implementation of QR factorization and SVD

pátek 16. května 2025

Semináře

  • Hora Informaticae
    20.05.2025, 13:30 CSET, Velká zasedačka (č. 318, 2. poschodí) Ústavu informatiky AV ČR, v.v.i.
    Tomáš Pevný (Czech Technical University, Prague): Understanding the neural networks through rule extraction.
  • Seminář strojového učení a modelování
    22.05.2025, 14:00, Posluchárna 8, Matematickofyzikální fakulta, Malostranské náměstí 2
    Victor Letzelter: Learning under ambiguity through multiple hypotheses and quantization
  • Seminář numerické matematiky
    22.05.2025, 14:00, (MFF/S83/K1)
    Ondřej Brichta, Martin Novák, Kateřina Pokorná: Special master students seminar
  • Departement of Applied Mathematics
    22.05.2025, 12:20, (MFF/S6)
    Todor Antić (Charles University): Unbent Collections of Orthogonal Drawings
  • Current Problems in Numerical Analysis
    23.05.2025, 10:00, (IM, rear building, ground floor)
    Jakub Šístek (Institute of Mathematics of the Czech Academy of Sciences): Scalable domain decomposition solver for three-grid immersed finite element method

pátek 9. května 2025

Odkazem

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