Please follow this link to the new website of the Institute of Computer Science ...
Date Name
2019-09-08
2019-09-13
MAT TRIAD 2019
Description:International Conference on Matrix Analysis and its Applications
www:http://mattriad.math.cas.cz
2019-05-11
2019-05-12
Workshop on Admissible Rules and Unification III
Description: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.
www:http://uivty.cs.cas.cz/~moraschini/waru2019/
2019-04-16
2019-04-18
Doctoral days 2019
Description:Let us inform you that the Doctoral days 2019 will take place in Kolín from 16th-18th April 2019. Further information are available at the event webpage. We would like to invite also their supervisors and other colleagues. Deadline for registration is 17th March.
www:http://www.ustavinformatiky.cz/dd/2019/
Please follow this link to the new website of the Institute of Computer Science ...