Please follow this link to the new website of the Institute of Computer Science ...

News

upcoming - conferences and events

Workshop on Admissible Rules and Unification III (5/11/19-5/12/19)

Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification. The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods. Previous editions of the workshop were held in Utrecht (2011), and in Les Diablerets (2015). Everybody is welcome to attend the workshop. Giving a talk and attending the conference dinner is by invitation only.

MAT TRIAD 2019 (9/8/19-9/13/19)

International Conference on Matrix Analysis and its Applications

more conferences ...

seminars

Applied Mathematical Logic

Computational Methods

Hora Informaticae

Machine Learning and Modelling

NEMO

more seminars ...

Annual report 2012 - selected parts [cz]

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

ICS Blog

To visit ICS Blog please follow

this link ...
 
Please follow this link to the new website of the Institute of Computer Science ...