Home 2020
Yearly Archives: 2020
Novinky ze soutěže Alexa Prize o nejlepšího konverzačního robota
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...
ČVUT V PRAZE PŘIJÍMÁ OPATŘENÍ PRO SNÍŽENÍ RIZIKA ŠÍŘENÍ NÁKAZY KORONAVIREM V PRAZE 6
English version will be available soon...
Best student paper award na konferenci ICORES 2020
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 vylepšuje automatické dokazovače pomocí strojového učení
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...
70 let podivné vědy: Rozhovory s našimi kybernetiky
Vladimír Mařík, Olga Štěpánková, Ivan M. Havel a kol.
70 Years of a Weird Science: Dialogs with our Cybernetics
The book 70 Years of a Weird Science was formed at the Czech Institute of Informat...
Chatbot Alquist se představil v magazínu Gejzír
available in Czech language only
...
CLAIRE, největší světová síť pro výzkum umělé inteligence, přivítala nový plán EU
On 19 February 2020, the European Commission unveiled its ambitious plan for “A Europe fit for the digital age”, consisting of a strategy for data and a white paper on artificial intelligence. The Commission's plan adopts all key parts of t...
World Symposium on Digital Intelligence for Systems and Machines
Date: 24 – 26 June, 2020
Venue: Czech Institute of informatics, Robotics and Cybernetics, CTU, Prague, Czech Republic
Microsoft Czech and Slovak Republic, Prague, Czech Republic
The main aim of the symposium i...