NEWS

CTU in Prague, Charles University, Palacky University, Masaryk University, CTK and Demagog.cz have been awarded CZK 175 million for the development and use of...

The CEDMO 2.0 NPO project, funded by the Ministry of Industry and Trade of the Czech Republic from the National Recovery Plan, brings together leading Czech universities and selected partners to increase ...

Researchers' Night 2024 - September 27

The annual and popular Researchers´Night, when the doors of scientific and research institutes in Europe are opened to the public, is approaching and CIIRC CTU will not miss this event again. This year, t...

Be better with smart innovations - visit the partners of the National Centre for Industry 4.0 at International Industrial Fair

The National Centre for Industry 4.0 and RICAIP Testbed Prague have teamed up with their key partners for the third time. At the International Industrial Fair in Brno,...

SOCAIETY 2050: Quo Vadis Homo? - Conference on the future of man in the age of artificial intelligence

On November 19, 2024, a conference entitled SOCAIETY 2050: Quo Vadis Homo? will take place in the Žofín Palace on Slovanské ostrov in Prague. This important event is organized by the Czech Instit...

Theorem prover Vampire, co-developed by Martin Suda, succeeded in the World Championship in Automatic Reasoning

At the CADE ATP System Competition (CASC), automatic theorem prover Vampire once again showed its strength. The new and improved version, Vampir...

MULTIMEDIA