Toxin

IT4Innovations představuje pět projektů, které posunou hranice výpočetních technologií a podpoří český a evropský výzkum. Tyto vlajkové lodě se zaměřují na AI a kvantové technologie.

Ústecký kraj se mění díky inspirativním iniciativám a lidem. Mozaika proměn regionu představuje aktéry, kteří přispívají k pozitivním změnám.

Ve Slévárnách Třinec byla odlita velkoobjemová pánev pro švédského zákazníka. Její rozměry a váha ukazují na náročnost výroby.

V únoru se v Česku objevily nebezpečné e-maily, které manipulovaly uživateli a šířily malware CloudEyE. Útočníci se vydávali za firmy žádající o kontrolu smluv.

Zveme vás na přednášku o formálním obratu v matematice, která se zaměří na strojovou verifikaci matematických důkazů. Přednáší doc. Mgr. Dušan Bednařík.