Home Blog Page 52
Alquist team represented by Jan Pichl, Petr Marek, Jakub Konrád, Martin Matulík and Petr Lorenc won Project of the Year 2018 AI Award presented in the field of artificial intelligence. The CTU team has twice placed second in the prestigious Amazon Alexa Prize contest with its Alquist chatbot project. In the AI Awards finals the Alquist team competed against Machine...
Professor Vladimír Mařík, the scientific director of CIIRC CTU, was awarded the prestigious Manager of the Year award presented by the Czech Management Association. He received the award at a ceremonial gala held in the Žofín Palace on April 25, 2019. Together with winning the main Manager of the Year Award, he was also awarded the Smart Manager of the...
On 10th April 2019 the  Škoda Auto CEO Mr. Bernhard Maier visited CIIRC.  Škoda Auto has a long-time cooperation with CIIRC in its joint laboratories and collaborative projects as well as the main partner of National Centre for Industry 4.0. Bernhard Maier discussed with the CIIRC scientific director prof. Vladimír Mařík current and future cooperation and then visited several scientific departments and...
Watch the talk by Geoff Sutcliffe (Department of Computer Science at university in Miami) entitled „Automated Theorem Proving and the TPTP World – Infrastructure for Automated Reasoning“ that took place at CIIRC on 5th April 2019 You can watch the video here. Abstract: Automated Theorem Proving (ATP) is one of the older endeavors in Computer Science. It is underpinned in mathematical logic, and aspects of ATP hark back to the...
We would like to invite you to a conference FUTURE CITY MADE BY IOT 17th April – 18th April 2019 The first year of the international conference FUTURE CITY MADE BY IOT is organised by the Centre of the City of the Future (CCF), Czech Institute of Informatics, Robotics and Cybernetics at CTU in Prague in cooperation with the Central Bohemian Region...
National Centre for Industry 4.0 just published the latest issue of Bulletin of Industry 4.0 focused on Robotics and artificial intelligence/ Cooperation of robots and humans From the content: CIIRC acquired a European grant to build a European centre of excellence for industrial robotics and artificial intelligence – RICAIP The level of Industry 4.0 knowledge among managers and students was...
Czech Television interviewed the CIIRC director Ondřej Velek on 3rd April 2019 after the announcement that a European Center of Excellence for Industrial Robotics and Artificial Intelligence was going to be created at CIIRC CTU, with nearly EUR 50 million in start-up support. You can see the interview in Czech here.
After more than two years of preparation and a challenging multi-round evaluation, CIIRC CTU has won the European RICAIP project (Research and Innovation Centre on Advanced Industrial Production). Thanks to RICAIP, a European Center of Excellence for Industrial Robotics and Artificial Intelligence is being created at CIIRC CTU, with nearly EUR 50 million in start-up support. CIIRC CTU together with...
Paper entitled “Makespan Minimization with Sequence-dependent Non-overlapping Setups” by Marek Vlk, Antonin Novak, and Zdenek Hanzalek has won the Best Student Paper Award at the International Conference on Operations Research and Enterprise Systems (ICORES 2019 http://www.icores.org). It deals with a scheduling problem that emerges in the production of water tubes of different sizes that require reconfiguration of the machines. The proposed...
Let us invite you to a lecture Automated Theorem Proving and the TPTP World - Infrastructure for Automated Reasoning given by professor Geoff Sutcliffe from the Department of Computer Science at the University of Miami on Friday 5th April, 2019 at 2 p.m. at CIIRC conference room A-10 (Building A, 10th floor) Abstract: Automated Theorem Proving (ATP) is one of the older endeavors in Computer Science. It is underpinned...