Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...

Aktuality

budoucí - konference a události

Prague Gathering of Logicians and Beauty of Logic 2018 (25.1.18-27.1.18)

Prague Gathering of Logicians is an annual event upheld by the community of logicians in Prague, bringing together researchers with expertise in mathematics, computer science, philosophy, linguistics, and other territories or neighbours of logic. This year, the Gathering is held jointly with Beauty of Logic, organized irregularly in recent past by the Institute of Computer Science in honour of Petr Hájek, its late member and former director who passed away in December 2016.

SOFSEM 2018 (29.1.18-2.2.18)

44. mezinárodní konference o současných trendech v teorii a praxi výpočetní techniky, Krems an der Donau, Austria. SOFSEM (SOFtware SEMinar) je každoroční mezinárodní zimní konference věnovaná teorii a praxi informatiky. SOFSEM představuje nejnovější výsledky a vývoj akademického a průmyslového výzkumu v předních oblastech informatiky. První SOFSEM byla zorganizována v roce 1974.

další konference ...

semináře

Applied Mathematical Logic

Computational Methods

Hora Informaticae

NEMO

Ostatní semináře

další semináře ...

Vybrané části z výroční zprávy 2012

photo 1

Krylov Subspace Methods, Principles and Analysis. U nakladatelství Oxford University Press vyšla v roce 2012 408mi stránková monografie Jörga Liesena (TU Berlín) a Zdeňka Strakoše, Krylov Subspace Methods, Principles and Analysis (ISBN 978-0-19-965541-0).

photo 2

Způsob identifikace osob se zvýšeným genetickým rizikem úmrtí po infarktu myokardu. Na poli medicínské informatiky a biostatistiky byly v rámci kardiovaskulární genetické studie vytipovány různé sady genů, které umožňují identifikovat jedince se zvýšeným genetickým rizikem vzniku infarktu za pomoci molekulárně genetického vyšetření.

photo 3

Může náhoda zefektivnit výpočty s omezenou pamětí? V oboru teoretické informatiky byl v sérií tří článků J. Šímy a S. Žáka dokázán hluboký výsledek (matematický důkaz zabral zhruba 40 stran), který přispívá k řešení jednoho z ústředních otevřených problémů výpočetní teorie (teorie složitosti). Jeden z těchto článků, vyšel v roce 2011 (LNCS 6651, Berlin: Springer-Verlag, str. 120-133), druhý v roce 2012 (LNCS 7147, Berlin: Springer-Verlag, str. 406-418) a třetí byl zaslán k publikaci

Informační zátiší

Blog vědeckého tajemníka ústavu

navštívit blog...
 
Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...