Den otevřených dveří Ústavu informatiky AV ČR 2025
Den otevřených dveří se letos uskuteční 5. listopadu 2025, tradičně v rámci Týdne Akademie věd.
Den otevřených dveří se letos uskuteční 5. listopadu 2025, tradičně v rámci Týdne Akademie věd.
Czech Gathering of Logicians je každoroční událost, která propojuje výzkumníky ze všech oblastí logiky, působící především, ale nejen, v České republice. Letošní ročník se koná společně s konferencí Beauty of Logic, pořádanou při zvláštních příležitostech k poctě profesora Petra Hájka.
Akademie věd ČR ve středu 24. června ocenila mimořádné úspěchy mladých badatelek a badatelů. Mezi letošními třiadvaceti laureáty prestižní Prémie Otto Wichterleho pro perspektivní vědce a vědkyně do 35 let jsou i dva zástupci našeho ústavu: matematická statistička Adéla Hladká a teoretický informatik Samuel Braunfeld.
Ústav informatiky AV ČR, společně s Filosofickým ústavem AV ČR a Filozofickou fakultou Univerzity Karlovy zorganizovali propojené konference Advances in Modal Logic (AiML) 2024 a Relational Methods in Computer Science (RAMiCS) 2024 , které proběhli ve dnech 19. - 23. srpna 2024, resp. 19. - 22. srpna 2024.
Ústav informatiky AV ČR se zúčastnil s partnery Centra Karla Čapka (Filosofickým ústavem AV, Ústavem státu a práva AV a Přírodovědeckou fakultou UK) Veletrhu vědy 2019.
Prostranství před Ústavem informatiky získalo nový, nepřehlédnutelný prvek. Ve čtvrtek 23. července jsme odhalili nový umělecko-vzdělávací objekt, který je věnovaný základnímu stavebnímu kameni celého digitálního světa: binární číselné soustavě. Náš exponát je zároveň součástí nově budované naučné stezky mezi ústavy Akademie věd ČR na Praze 8.
Konferenci IMPS 2024 pořádal ÚI AV ČR ve spolupráci s Vysokou školou ekonomickou, Pedagogickou fakultou Univerzity Karlovy a Psychometric Society. Konference se uskutečnila v Praze ve dnech 16.-19. července 2024.
doc. RNDr. Jiří Šíma, DrSc. z Ústavu informatiky AV ČR získal Čestné uznání předsedy Grantové agentury ČR za vynikající výsledky projektu AppNeCo: Aproximativní neurovýpočty. Projekt realizovaný ve spolupráci s výzkumníky z FIT VUT v Brně vedl k vytvoření nového teoretického modelu energetické složitosti neuronových sítí a k odvození fundamentálních limitů spotřeby energie nezávislých na konkrétní hardwarové implementaci.
Informatika neni jen o počítačích. Na stánku Ústavu informatiky AV ČR si vyzkoušíte, co všechno lze z dat odhalit, jak funguje naše pozornost a jak z jednoduchých pravidel vzniká nečekaná složitost. Může z několika jednoduchých pravidel vzniknout něco složitého a krásného? Přijďte si to vyzkoušet.
Ústav informatiky vítá prestižní výzkumní projekt financovaný Evropskou unií. Wolfgang Poiger, Ph.D. bude na ústavu realizovat svůj projekt ERA Fellowship s názvem GLOWS , v rámci něhož bude zkoumat nové hranice v teoretické informatice.
V letošním roce se na Ústavu informatiky sejdou tři vynikající mladí vědci v oboru teoretické informatiky - Wesley Fussner , Samuel Braunfeld a Adam Přenosil . Grantovou podporu v rámci projektů JUNIOR STAR využijí k budování vlastních vědeckých týmů a rozvoji špičkové teoretické informatiky.
Ústav informatiky uspořádal výjezdní zasedání svých pracovníků ve dnech 1.- 3. 9. 2021 na Jizerce.
Žádné položky k zobrazení.
WANG, J., ADEBAYO, F. F., CRANK, P., KRAYENHOFF, S., GELETIČ, Jan. Diagnosing WRF Forcing Biases in PALM-4U Urban Heat Stress Modelling for Climate Adaptation in a Humid Continental Climate. In: <em>24th International Congress of Biometeorology. Book of abstracts</em>. Novi Sad: University of Novi Sad, Faculty of Sciences. Department of Geography, Tourism and Hotel Management, 2026, S. 33-33. ISBN 978-86-7031-738-3. Dostupné z: https://drive.google.com/file/d/1ZFTLt7Z0bsUW___2KAtLq5NtW-d87nwA/view
KRČ, Pavel, GELETIČ, Jan, ŘEZNÍČEK, Hynek, VLČEK, O., PIKOUSOVÁ, T., BELDA, M., FUKA, V., RESLER, Jaroslav. Modelling the influence of the car-induced momentum and heat on the microscale wind dynamics in the street canyon. In: <em>EMS Annual Meeting Abstracts</em>. Utrecht: EMS, 2026, č. článku 741<br>Dostupné z: doi:10.5194/ems2026-741.
HANIKOVÁ, Zuzana, JANKOVEC, Filip. Satisfiability in Lukasiewicz logic and its unbounded relative. In: GUERRINI, S., KÖNIG, B., eds. <em>34th EACSL Annual Conference on Computer Science Logic (CSL 2026) Proceedings</em>. Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2026, č. článku 14. Leibniz International Proceedings in Informatics LIPIcs, 363. ISBN 978-3-95977-411-6<br>Dostupné z: doi:10.4230/LIPIcs.CSL.2026.14.
GRÖNING, L., HUGDAHL, Kenneth. Criminal responsibility and mental disorder: Why do heterogeneous constructs not overlap? <em>INTERNATIONAL JOURNAL OF LAW AND PSYCHIATRY. </em> 2026, <b>108</b>(September–October 2026), 102236. ISSN 0160-2527. E-ISSN 1873-6386<br>Dostupné z: doi:https://doi.org/10.1016/j.ijlp.2026.102236.