News

The Dean of FIT to Award Medals of Merit this Wednesday

Dean Pavel Zemčík will award the FIT personalitites who have contributed to the development of the faculty this Wednesday. They will receive the FIT medals at a ceremony which will take place from 16:15 in the "D" auditorium with the following program:

  • 16:15-16:25    welcome drink
  • 16:30-17:00    medal awarding ceremony
  • 17:00-18:00    raut

All FIT staff and PhD students are warmly welcome.

[img]

Git workshop

Today, the Git versioning system is the number 1 system for maintaining software projects. Come to try and to learn working with Git and join millions of developers who use Git in their every day work. The workshop will be held by engineers from Red Hat.

Prerequisites: basic knowledge of programming in C, own laptop with a suitable OS (Linux, OSX), basic knowledge of working in a text editor and in command line, account at github.com.

The workshop will be held on 30.10.2019 at 10:00 in the room Q304 and it will last until approx. 13:00. The workshop will be in Czech. 
Registration: bit.ly/Git_FIT

[img]

Best Paper award from CADE 2019 for the VeriFIT group

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Tomáš Vojnar from the VeriFIT group received the Best Paper award at the prestigious CADE 2019 conference focused on automated deduction in formal systems. The paper, named "Automata Terms in a Lazy WSkS Decision Procedure", deals with deciding formulae of the logic WSkS using symbolic techniques for manipulating finite (tree) automata. The WSkS logic is used, for instance, to describe infinite sets of graphs within formal reasoning and searching for bugs in programs with dynamic data structures. Furthermore, Vojtěch Havlena received from the CADE program committee the Woody Bledsoe Award, which honours outstanding contributions of students to automated reasoning and CADE.

[img]

Night of Scientists at FIT: Traveling in virtual reality, scalpel-free operations and robotic workplace of the future


The Night of Scientists will open doors to laboratories and research centers throughout the Czech Republic again this year: on Friday 27th September from 6 pm to midnight. 
At FIT, visitors will have an opportunity to travel without a carbon footprint - in the world of virtual reality they can return to their holiday destination with a new software tool developed at FIT. 
Jiří Jaroš will take the visitors to the near future, in which doctors will be able to remove a tumor without a single cut with a scalpel and will be able to treat epileptic seizures or Parkinson's disease thanks to supercomputers. Come to listen to his lecture (in Czech) "Neurosurgery and neurostimulation using computer-controlled ultrasound".
In a lecture by Libor Polčák "Security not only of the Internet of Things", visitors will learn what it looks like when data or the ability to control Internet-connected devices fall into unauthorized hands.
In the robotics lab, visitors can program their lego robots and teach them what to do in different situations, or learn about the robotic workplace of the future. 
There will be also logical tasks and puzzles prepared for the visitors to show how important mathematical logic is not only for computer science and how easy it is to solve them thanks to the computers. 

[img]

Speech group took the first place in the VoxCeleb Speaker Recognition Challenge

Speech@FIT research group scored again in a world competition. Group members Shuai Wang and Hossein Zeinali took the first place in the VoxCeleb Speaker Recognition Challenge (VoxSRC) in Graz. The goal of this challenge is to probe how well current methods can recognize speakers in different environments in the audio-track recordings. The VoxCeleb database includes videos of several thousand celebrities and hundreds of thousands of videos - from both professionally edited and red carpet interviews as well as more casual conversational audio in which background noise, laughter, and other artefacts are observed in a range of recording environments. The results can be found HERE and HERE.

[img]

Page:

Back to top