15th International Workshop on Satisfiability Modulo Theories
Collegues attended scientific conference

Dr. Gergely Kovásznai, the director of the IoT Research Institute, and Balázs Erdélyi research demonstrator attended a scientific conference on the 22nd 23rd of July 2017 in Heidelberg, Germany.



The paper, submitted on the occassion of the SMT Workshop 2017, was written by Dr. Gergely Kovásznai, Csaba Biró and Balázs Erdélyi, who are the members of the IoT Research Institute’s research team. They are responsible for the formal optimization and verification of wireless sensor networks. The topic is about generating optimal scheduling for these wireless sensor networks.



The picturesque town provided a fantastic venue for the conference, where our collegues not only presented, but attended lectures given by leaders of the profession also. Furthermore, partnerships were also established with other researchers in the hope of future collaborations.










Of course, the possibilities were also given for some entertainment after the exhausting days.