Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...
Datum Název
2019-09-08
2019-09-13
MAT TRIAD 2019
Popis:Mezinárodní konference, 8.-13. 9. 2019, Liblice, Česká republika
www:http://mattriad.math.cas.cz
2019-05-11
2019-05-12
Workshop on Admissible Rules and Unification III
Popis: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
Doktorandské dny 2019
Popis:Srdečně Vás zveme na letošní Doktorandské dny, které se uskuteční ve dnech 16.-18. dubna v Kolíně. Podrobné informace lze nalézt na stránkách akce. Srdečně jsou zváni i školitelé doktorandů a ostatní kolegové. Registrace běží do 17. března, ale přihlašování, prosím, zbytečně neodkládejte.
www:http://www.ustavinformatiky.cz/dd/2019/
Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...