News

DevConf.cz 2024 is looking for student speakers, apply by March 3

Become a speaker at the biggest event for developers, administrators and users of Linux and open source in Central Europe - DevConf.cz 2024. The conference will take place on 13-15 June at FIT BUT in Brno. As every year, DevConf.CZ welcomes emerging speakers.

Don't have any experience in public presenting yet, but are you working on an interesting project, bachelor or master thesis or simply interested in the field of open source technologies? Submit your idea and share your knowledge and interests with the open source community in the form of a 15 minute lightning talk or a 35 minute talk. You can find more information about the conference, its content and how to properly submit a talk proposal here. All talks, presentations and workshops will be in English.

Applications are being collected until 3 March, and all information can be found on the conference website.
[img]

The dissertation defence of Marek Žák from the Institute of Intelligent Systems will take place on 28 February

We cordially invite you to the dissertation defence of Ing. Marek Žák entitled Biology-inspired control of a walking robot. Mobile robots are used for a variety of purposes, often in places that would be unthinkable for humans. These include rescue operations or space exploration. Walking robots can move in difficult terrain, but their disadvantages can be energy consumption, slowness of movement, inability to carry heavier loads or difficulty of control.

This dissertation describes the design, construction and control of a novel biology-inspired hexapod robot, WHexaR, that can deal with these obstacles. The full abstract of the thesis is available at this link. 

The work was supervised by Associate Professor František Zbořil and Specialist Supervisor Ing.  Jaroslav Rozman.

The defence will take place on February 28th at 1 pm in meeting room C209 at FIT BUT.
The opponents are prof. Ing. Petr Musilek, Ph.D. from the University of Alberta and Ing. Tomáš Ondráček, Ph.D. from Artin.
[img]

We invite you to the dissertation defence of Martin Hruška

We cordially invite you to the dissertation defence of Ing. Ing. Martin Hruška entitled Automata in Software Verification and Testing. Under the supervision of the supervisor Professor Tomáš Vojnar and the specialist supervisor Associate Professor Lukáš Holík, he deals with applications of the theory of finite automata in software quality assurance. The first part deals with the application of automata in formal program verification working with dynamic data structures, followed by their application to automated testing of production information systems in a digital twin environment. 

The defense will take place on March 5 at 1 pm in meeting room C209 at the FIT BUT.

The opponents are assoc. prof. Ahmed Rezine from Linköping University and Assoc. RNDr. Jan Kofroň, Ph.D. from MFF UK.
[img]

Professor Nakov from Mohamed bin Zayed University of Artificial Intelligence will give a talk at FIT as part of VGS Invited Talk

We cordially invite you to the next lecture in the VGS Invited Talks @ FIT series, this time by Professor Nakov: Factuality Challenges in the Era of Large Language Models. Professor Preslav Nakov, who is based at Mohamed bin Zayed University of Artificial Intelligence (MBZUAI) in Abu Dhabi, is a world-leading expert in natural language processing. His talk will be held on Thursday, February 29 at 4 pm at FIT in room A112. 

What are the pitfalls of large language models (LLMs)? While they are very powerful, their weakness is working with facts. At best they sometimes get away with making things up, at worst they spread lies and misinformation. Don't miss this lecture on a topical issue, after which there will be space for an informal discussion on the possibilities of cooperation with MBZUAI.


For more detailed information about Professor Nakov's work, please follow this link.

[img]

We invite you to the defence of the dissertation thesis of Viktor Malík from the Department of Intelligent Systems

We cordially invite you to the dissertation defence of Ing. Viktor Malík: Static Analysis of Programs in the C Language. Under the supervision of his supervisor, Professor Tomáš Vojnar, it approaches the problem of automatic static analysis of low-level software (i.e. analysis of the software'ssource code).  The thesis proposes new original techniques in two different areas of analysis: formal verification (i.e. proving of correctness) of programs working with complex data structures and fast
light-weight static analysis of semantic differences between versions of large-scale software (such as the Linux kernel or system libraries). 

The defence will take place on 5 March at 3 pm in the meeting room C209 at the FIT BUT.


The opponents are Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn. from TU Wien and Prof. RNDr. Jan Strejček, Ph.D. from FI MU.

More information can be found here.
[img]

Page:

Back to top