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...
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...
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...
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...
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...
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...
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...
On 27 February 2019, a one-day symposium of the CLAIRE AI initiative was held in Rome. It brought together 100 carefully selected participants from...
We would like to invite you to the Visions in robotics 2019 conference organized by the National Centre for Industry 4.0 in partnership with...
The 1st Regular Plenary Meeting of AICZECHIA - National Initiative for Artificial Intelligence, which was established on 16 January, 2019, was held in Prague...