Informatický ústav Univerzity Karlovy
Computer Science Institute of Charles University
News and events
Noon lecture on Thu May 17
There is a noon lecture by Stefan Ratschan a Peter Franek: Quasi-decidability of a Fragment of the First-order Theory of the Real Numbers and Topological Extension of Maps to the Sphere at 12:20 in S6.
GNU Tools Cauldron 2012
The purpose of GCC gathering is to gather all GNU tools developers, discuss current/future work, coordinate efforts, exchange reports on ongoing efforts, discuss development plans for the next 12 months, developer tutorials and any other related discussions.
WHS 2012
Following the great success of the LMS Northern Regional Meeting and Workshop on Homogeneous Structures hosted by University of Leeds in July 2011, the 2nd Workshop on Homogeneous Structures will be hosted by Department of Applied Mathematics of Charles University.
Vítejte na webových stránkach Informatického ústavu Univerzity Karlovy v Praze.
Welcome to the home page of the Computer Science Institute (CSI) of Charles University in Prague, Czech Republic. In Czech, the full name is "Informatický Ústav Univerzity Karlovy", hence the abbreviation "IUUK".
|
|
