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...
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 academia, industry and public administration, including selected top AI researchers. The goal of the symposium was to discuss and further develop the main components and strategy to continue the transition of CLAIRE from a grass-roots...
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 KUKA and SICK where we will introduce the latest trends in robotics and sensorics and present various technical solutions. We will also show some of the research tasks we are currently working on in Testbed...
The 1st Regular Plenary Meeting of AICZECHIA - National Initiative for Artificial Intelligence, which was established on 16 January, 2019, was held in Prague on 21March. Its aim is to become a respected national platform for cooperation of Czech laboratories and teams working in the field of artificial intelligence brush away boundaries of scientific disciplines and develop artificial intelligence...
28. 2. 2019 representatives of the European Commission and the Steering Committee of the Digital Innovation Hubs focusing on Artificial Intelligence (AI DIH) project have confirmed the selection of CIIRC CTU application among 150 other applications. CIIRC CTU was enrolled into AI DIH initiative.
The DIH project will provide assistance in the modelling of a cross-border cooperation blueprint for DIHs and will...
Libor Bukata was awarded by a prestigious Werner von Siemens Award in category Industry 4.0. His Ph.D. thesis was evaluated as the best one out of 114 nominations in this category. A doctoral advisor of Libor Bukata was Přemysl Šůcha.
National Centre for Industry 4.0 just published the latest issue of Bulletin of Industry 4.0 focused on New business models/ Planning, scheduling and optimization
From the issue:
The world is changing and so is the industry. What business models will be used in the future and where on the map of industry it leaves you is being decided right now.
...
On Monday 25th February 2019 Manfred Weber, a candidate for the President of the European Commission, visited CIIRC . Manfred Weber showed his interest to get acquainted with the principles of Industry 4.0 in the Czech republic, especially in small and midsized businesses and their coordination within European Union.
Luděk Niedermayer, a member of European Parliament, accompanied Mr.Weber during his visit of Prague.
Architekt Michal Postránecký byl 8.2.2019 hostem Radiožurnálu,
rozhovor si můžete poslechnout zde.
Let us invite you to a lecture
„Grand Challenges of Modern Quantum Computer Programming “
given by professor Jacob Biamonte from Skolkovo Institute of Science and Technology in Moscow
on Thursday 21st February, 2019 at 2 p.m. at CIIRC Seminar Room B-670 (Building B, 6th floor)
The talk at CIIRC will be given on the occasion of Prof. Biamonte´s participation at the Machine...