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.

Publikační činnost ÚI

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

• Záznamy vložené za  duben+květen 2025 - zde odkaz na seznam v pdf
• Publikace pracovníků - registrované publikace a bibliografie - zde odkaz na stránku

Odkazem

Věda a výzkum

• Účast ČR v programu Horizont Evropa ke květnu 2025 (horizontevropa)
• Nová publikace: Rozšiřování účasti a šíření excelence (Widening) (tc)
• Vyloučení z programu Horizont Evropa by bylo pro izraelskou vědu „téměř rozsudkem smrti“ (vedavyzkum)

Granty

• Novinky pro výzvy ERC 2026 a 2027 (horizontevropa)
• Program SIGMA: Základní informace pro uchazeče k vyhlášení 11. veřejné soutěže - dílčí cíl 4, Bilaterální spolupráce (tacr)

Výzvy

• Výzva k podávání návrhů kandidátek / kandidátů na udělení Ceny předsedy RVVI za propagaci nebo popularizaci výzkumu, experimentálního vývoje a inovací za rok 2025 (vyzkum)
• Podávání návrhů na Oborovou matematickou medaili JČMF 2025 (jcmf)

Různé

• AI A VĚDA: Dostaveníčko na konci cesty (neviditelnypes)
• UMĚLÁ INTELIGENCE: Sebezáchovné pudy u AI? (neviditelnypes)
• Kvantový duel: Jsou prakticky využitelné kvantové počítače budoucností, nebo utopií? (vedavyzkum)

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
  

Odkazem

Věda a výzkum

• Svět potřebuje technologické inovace i znalosti humanitních a společenských věd (AV ČR)
• Co přináší ocenění HR Award Ústavu fyzikální chemie J. Heyrovského? (AV ČR)
• Čtyři výzvy MSCA PF: ČR překonává většinu států EU-13, ale na inovační lídry nestačí (vedavyzkum.cz)
• Ministři volají Evropskou komisi k odpovědnosti za nezávislý 10. rámcový program (vedavyzkum.cz)
• Václav Snášel: V centru CLARA propojíme datové vědce, odborníky na AI a biology s lékaři a etiky (vedavyzkum.cz)

Ceny

• Akademie věd udělila oborové medaile třem mezinárodně uznávaným vědcům (AV ČR)
• Učená společnost ČR ocenila vědkyně a vědce, včetně badatelů z AV ČR (AV ČR)
• Floridská společnost pro výzkum AI ocenila prof. Bartáka (MFFUK)

Různé

• Český profesor z Oxfordu: Dobrý chirurg ví, kdy neoperovat (UKForum)
• Jan Valenta: Každý vědec by se měl zajímat o historii svého oboru (MatFyz)

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