Home Blog Page 55
AI research in the Czech Republic has been today acknowledged as a major and strong player on the European Map of Artificial Intelligence (AI). The Czech Institute of Informatics, Robotics, and Cybernetics, which is a part of the Czech Technical University in Prague (CIIRC CTU), will be involved in three out of five successful projects whose support was announced...
Source: Czech Radio News report available in Czech language only [playlist ord...
The Czech Institute of Informatics, Robotics and Cybernetics at the Czech Technical University in Prague (CIIRC CTU) is entering the fight against COVID-19. CIIRC CTU is developing a respirator prototype under the name “CIIRC RP95” at the RIC...
The ten participants competing for the best conversational Alexa Prize bot were selected by Amazon last June out of 375 student teams from more than 15 countries. The only non-American teams are the CTU Alquist team lead by Jan Šedivý from CI...
The ICORES 2020 conference was held in Malta on 21-24 February 2020, bringing together scientists and practitioners in the field of operational research. Industrial Informatics Department presented two papers there: Data-driven Algorit...

Martin Suda received a junior grant from the Czech Science Foundation for improving automatic theorem provers (ATP) by methods of machine learning. ATPs are widely used in industry where formal proofs of safety...