News

From the beginning of the semester, all lecture halls, laboratories and conference and seminar rooms at the FIT are equipped with a new audio-visual technology - projectors, screens, signal components and cabling. The faculty thus completed the second stage of modernisation of the technology and equipment in teaching premises.

The first stage of the modernisation took place last year, when almost all the AV technology in lecture halls was replaced. The modifications mostly concerned the lecture halls in building E, where the faculty also had the floors, teachers' desks and lighting replaced - the original lighting was replaced with more cost-effective LED lighting.

This year, the AV technology was also replaced in the laboratories, conference and seminar rooms. "The modernisation of AV technology included primarily digitalisation of signal transmission and transition to Full HD resolution or higher, both in terms of projection and recording of lectures. Signals are transmitted between the devices either via HDMI or HDBaseT technology using classic UTP cabling, which is cheap, easy to install and durable; moreover, it was possible to use the existing cabling at some places. Sound is sent between lecture halls and technical rooms via the computer network using the Dante protocol," explains Jana Skokanová from the FIT Computer Centre.

Further changes are planned for the next year, in particular in lecture hall D where floors and furniture will be repaired and lighting replaced, just like in the other lecture halls.

The Faculty of Information Technology launched a new Star(t)up@FIT programme intended for everyone who has an interesting idea, wants to achieve something significant or dreams of starting a technology company. This is a series of informal meetings of the owners of future technology companies that have the ambitions to change our world. The first of the series of meetings took place in the Creative Open Lab (R109) on Wednesday 2 October from 4 p.m. (the following meetings will take place every other week). The programme provided the opportunity to meet like-minded people, as well as people who had already achieved success, the chance to work and relax in the Creative Open Lab, get professional and business consultations and receive help with moving one's project forward.

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál and Tomáš Vojnar of the VeriFIT group received the award for the best paper at the prestigious CADE 2019 conference dealing with the subject of automated verification in formal systems. The article titled "Automata Terms in a Lazy WSkS Decision Procedure" deals with decision-making on formulae for the WSkS logic using symbolic techniques for work with finite-state (tree) automata. The WSkS logic is used e.g. to describe infinite sets of charts in formal assessment and search for errors in programs with dynamic data structures. In addition, the Programme Committee awarded Vojtěch Havlena with the student Woody Bledsoe Award for an extraordinary contribution in the area of automated assessment.