13 srpen VeriFIT: úspěšná výzkumná skupina. Nejen na konferenci Computer Aided ... Mimořádný publikační výsledek si připsala fakultní výzkumná skupina VeriFIT, zaměřující se na automatizovanou analýzu a verifikaci. Na jedné z nejprestižnějších (CORE A*, acceptance rate 25 %) ...
10 srpen Pavel Václavek: Princip udržitelnosti bude úspěšný, pokud bude pro lidi ... S rostoucími nároky společnosti na dostupnost veškerého zboží jde ruku v ruce myšlenka udržitelnosti nebo také rovnováhy mezi využíváním přírodních zdrojů a jejich ochranou. Z filozofické otázky, ...