10 July Tomáš Dacík focuses on static analysis of programs. For his work he ... Tomáš Dacík from FIT (Faculty of Information Technology) BUT (Brno University of Technology) focuses on static analysis of programs in his doctoral thesis. It verifies the properties of computer ...
4 July Zdeněk Sloupenský – Škoda Auto: People wouldn’t like a perfectly ... How do aerodynamics affect the safety of electric vehicles or their acoustics? Does a limousine or an SUV have lower air resistance? And how to modify the car body to travel a longer distance on a ...