Kolokvium Fakulty informatiky
Informatické kolokvium se koná v úterý ve 14:30 během semestru. Cílem kolokvií je představit současný výzkum z různých oblastí informatiky širokému publiku v rámci fakulty.
Čas a místo konání
Úterý 14:30–15:30, posluchárna A217, budova Fakulty informatiky
(káva k dispozici mezi 14:00 až 14:20 v A220)
Program – podzim 2024
V úterý 29. října proběhne v čase kolokvia PhD Fest - blok prezentací doktorských studentů.
Pavel Čeleda
Cyber Situational Awareness and Incident Response for Security Operations
úterý 10. září 2024, 14:30, posluchárna A217
Cyber situational awareness allows the Computer Security Incident Response Team (CSIRT) to identify, understand, and anticipate incoming threats. Achieving and maintaining cyber situation awareness is challenging given the continuous evolution of computer networks, the increasing volume and speeds of the data in a network, and the rising number of threats to network security. We will describe our research of novel approaches to the perception and comprehension of network traffic and host-based data. Next, we will explain the role and services of a CSIRT in an organization and his key capabilities for assisting in responding to computer security-related incidents. We will share lessons learned and experience from founding and operating the Masaryk University cyber security team (CSIRT-MU) and how research, education, and innovation are essential for security teams.
Daniel Lessner
From User Skills to Computational Thinking in Czech Schools
úterý 17. září 2024, 14:30, posluchárna A217
In Czech schools, teaching has traditionally focused on developing user
skills within a specialized subject. However, this model has two
significant shortcomings. First, the skills are taught in isolation,
lacking meaningful connections with other subjects. Second, computer
science is completely absent. More than a decade ago, the Ministry of
Education identified the need for reform, and now a new approach is
being implemented in elementary and grammar schools. The revised
curriculum emphasizes digital literacy across subjects rather than as a
separate discipline. Additionally, a new subject dedicated to
"computational thinking" has been introduced.
We will explore the context and objectives of these changes, providing
specific examples of what students are expected to learn. By the end of
the presentation, you will gain insight into the motivations behind the
reform, the particularities of teaching computing in schools, and the
challenges that lie ahead. You will also learn about ways you can
contribute to this transition. Moreover, the talk will offer a better
understanding of the new skills to expect from (far) future computer
science students as well as what your own school-age children might be
experiencing, and how you can support them.
CoFI break s děkanem a proděkany fakulty
úterý 24. září 2024, 14:00, KYPO
Yasemin Acar
Researchers‘ experiences with vulnerability disclosures
úterý 1. října 2024, 14:30, posluchárna A217
Vulnerabilities are becoming more and more prevalent in scientific research. Researchers usually wish to publish their research and, before that, have the vulnerabilities acknowledged and fixed, contributing to a secure digital world. However, the vulnerability disclosure process is fraught with obstacles, and handling vulnerabilities is challenging as it involves several parties (vendors, companies, customers, and community). We want to shed light on the vulnerability disclosure process and develop guidelines and best practices, serving vulnerability researchers as well as the affected parties for better collaboration in disclosing and fixing vulnerabilities.
We collected more than 1900 research papers published at major scientific security conferences and analyzed how disclosures are reported, finding inconsistent reporting, as well as spotty acknowledgments and fixes by affected parties. We then conducted semi-structured interviews with 21 security researchers with a broad range of expertise who published their work at scientific security conferences and qualitatively analyzed the interviews.
We discovered that the main problem starts with even finding the proper contact to disclose. Bug bounty programs or general-purpose contact email addresses, often staffed by AI or untrained personnel, posed obstacles to timely and effective reporting of vulnerabilities.
Experiences with CERT (entities supposed to help notify affected parties and facilitate coordinated fixing of vulnerabilities) were inconsistent, some extremely positive, some disappointing. Our interviewees further talked about lawsuits and public accusations from the vendors, developers, colleagues, or even the research community. Successful disclosures often hinge on researcher experience and personal contacts, which poses personal and professional risks to newer researchers.
We're working on making our collected best practices and common pitfalls more widely known both to researchers and industry, for more cooperative disclosure experiences, also in light of new reporting requirements for industry introduced by the Cyber Resilience Act.
Mihyun Kang
Supercritical percolation and isoperimetric inequalities
úterý 8. října 2024, 14:30, posluchárna A217
In their seminal paper Erdős and Rényi discovered that a random graph undergoes phase transitions. For example, typically all the components are at most of logarithmic order when the average degree is smaller than one, while there is a unique giant component of linear order when the average degree is larger than one. Ajtai, Komlós and Szemerédi showed that a random subgraph obtained by bond percolation on the hypercube undergoes a similar phase transition. In this talk we will briefly overview these classical results and discuss recent results on the giant component in random subgraphs of high-dimensional product graphs and isoperimetric inequalities. This talk is based on joint work with Sahar Diskin, Joshua Erde, and Michael Krivelevich.
Andreas Holzinger
Bridging Trust and Explainability in Human-Centered AI
úterý 15. října 2024, 14:30, posluchárna A217
In recent years, Human-Centered AI (HCAI) has emerged as a critical paradigm, emphasizing the integration of AI systems into human workflows while prioritizing human values such as re-traceability, transparency, accountability and interpretability to foster trust in AI. As digital transformation reshapes industries, especially in domains like agriculture and forestry, the interaction between AI and human decision-making becomes pivotal. A key challenge in fostering trust in AI systems is ensuring that results are comprehensible and actionable for users. This talk will explore the role of explainability in enhancing user trust, with a particular focus on the "human-in-the-loop" approach, where human domain expertise complements machine intelligence. The quality of explanations will be discussed, including metrics and methodologies for evaluating their effectiveness. Furthermore, counterfactual explanations— alternative scenarios that help users understand model decisions—will be presented as a powerful tool to strengthen trust by providing insights into model behavior. This talk aims to provide a framework for measuring the quality of AI explanations and establish a link between explainability and trust through counterfactual reasoning, fostering more reliable human-AI collaboration. A human domain expert can sometimes – of course not always - bring in experience and conceptual understanding to the AI pipeline.
Kristóf Bérczi
Relaxing strongly base orderability for matroids
úterý 22. října 2024, 14:30, posluchárna A217
Strongly base orderable matroids form a class for which a basis-exchange condition that is much stronger than the standard axiom is met. As a result, several problems that are open for arbitrary matroids can be solved for this class. In particular, Davies and McDiarmid showed that if both matroids are strongly base orderable, then the covering number of their intersection coincides with the maximum of their covering numbers. In this talk, we propose relaxations of strongly base orderability in two directions. First, we weaken the basis-exchange condition, which leads to the definition of a new, complete class of matroids with distinguished algorithmic properties. Second, we introduce the notion of covering the circuits of a matroid by a graph and consider the cases when the graph is (A) 2-regular, or (B) a path. Joint work with Tamás Schwarcz.
PhD fest & Thekla Hamm
úterý 29. října 2024, 14:00, posluchárna A217
Michal Štefánik
Fantastically Robust Language Models and Where to Find Them
Neural language models have become a foundational technology for a wide range of applications, greatly surpassing applications in machine translation for which Transformer models were initially designed. However, even the most recent models continue to face the same limitations as the initial Transformers introduced seven years ago, related to the shared, statistical nature of these models.
These limitations often manifest as inaccurate or factually incorrect responses, and are easiest to find under the so-called "distribution shift" — a scenario where there is a systematic difference between the distributions of training and test data.
In this talk, we will survey our efforts to create models that are more resilient to distribution shifts.
We will examine the shortcomings of existing evaluation benchmarks and underline the difference between models' results on academic benchmarks and their real, functional capabilities.
We will explore the role of training data in improving models' robustness, and present a set of refinements in how we train language models to enhance their robustness, even without an expensive collection or significant changes in the training data.
úterý 29. října 2024, 14:30, posluchárna A217
Thekla Hamm
A Framework for Approximating Solutions Rather than Solution Values Parameterized by Treewidth
In many areas and applications of computer science we find ourselves asking for optimal solutions for a computational problem but having good reasons to believe such solutions cannot be found efficiently. Examples of this include a selection of value-maximizing items to carry in a Knapsack with a given capacity, or finding an assignment of consumers to facilities in a network so that each consumer's demand is met by what the facilities can supply. One well-established way of approaching such situations is to ask for approximately optimal solutions rather than optimal solutions which sometimes can make efficient computation possible. This allows to give almost optimal solutions. However, there is also a second natural and so far unexplored general approach we can take, namely to give optimal "almost solutions", for example by relaxing the size of the Knapsack or the demands and capacities of consumers and facilities slightly. We formally define this approach and show how it can be used to overcome known hardness results for tree-like structures by a generalization of the famous theorem of Courcelle. This talk is based on joint work with Jan Dreier and Robert Ganian.
Roderick Bloem
úterý 5. listopadu 2024, 14:30, posluchárna A217
We will present a method to analyze masked systems for power > side channels. Masking is a technique to hide secrets by duplication and addition of randomness. We will discuss how to prove security for both circuits and for software running on a CPU. We will present some vulnerabilities on a small CPU and how to fix them, and we will talk about contracts that take side channels into account.
Ladislav Čoček
úterý 12. listopadu 2024, 14:30, posluchárna A217
Ladislav Čoček is a senior project manager working for the Grant Office at MUNI Headquarters. Since 2019, he is responsible for central support of ERC candidates at the Masaryk University. He worked as a pre- and post-award manager on EU funded projects (FP7, H2020, European Structural and Investment Funds – ESIF) for a regional development agency, private consultancy, and since 2013 MUNI. In 2016-2019 he was the Head of the Grant Office at CEITEC Masaryk University. Ladislav has been involved in several international knowledge sharing platforms in the area of research management, e.g. the Grants and Funding Strategies Working Group of EU-LIFE or Grants and Research Funding Focus Group of Alliance4Life. The workshop will help you answer questions such as: Where do I look for funding opportunities? How are the European funding programmes designed? What does the funding provider expect?
Giuseppe Amato
A vision on synergy between Extended Reality and Artificial Intelligence
úterý 19. listopadu 2024, 14:30, posluchárna A217
Extended Reality builds upon augmented and mixed reality, which in turn build on top of Virtual Reality. Virtual reality allows you to access virtual worlds using visors, smart devices, or computer screens. However, you are isolated from the real world. With augmented and mixed reality, the virtual world is overlayed on top of the physical world. Virtual objects are fused and synchronized with the physical world. In mixed reality, users can interact both with physical and virtual objects. Extended reality goes a step beyond. It is not limited to the visual dimension. With extended reality, the interaction between the two worlds becomes more realistic. Users can feel virtual objects. They can feel their weight. They can feel their temperature. They can feel their consistency. Artificial Intelligence offers various opportunities to Extended Reality to make integration between physical and virtual worlds realistic. For instance, it can be used to provide semantic enrichment of virtual scenes, to reconstruct and understand 3D scenes, to repair correct and increase quality during 3D digitization, to provide support for the creation of virtual worlds from physical worlds, and to help interact with the two worlds simultaneously. We will discuss the current limitations and opportunities in this context.
Dmitriy Zhuk
The complexity of the Constraint Satisfaction Problem and its variations
úterý 26. listopadu 2024, 14:30, posluchárna A217
Many combinatorial problems, such as graph coloring and solving linear equations, can be expressed as the constraint satisfaction problem for a fixed constraint language. In 2017 the complexity of the constraint satisfaction problem was described for any constraint language on a finite set, but there are many other variants of this problem whose complexity is still not known. For instance, we could allow both universal and existential quantifiers, or require the solution to be surjective or balanced. Another variant is to require the input to satisfy some additional conditions. As an example we could consider the problem of coloring a graph in 100 colors if we know that the graph is colorable in 3 colors. In the talk we discuss the complexity of these and other variants of the constraint satisfaction problem.
Frank Mittelbach
Teaching old docs new tricks
úterý 3. prosince 2024, 14:30, posluchárna A217
In this talk I take a look at documents as vehicles for conveying
information from author to recipients: how new technologies shaped and
altered this process, and how in the opposite direction new
requirements changed underlying document models and the methods to
create, manipulate, and use them.
While the generation and use of documents evolved over several
millennia, I am going to concentrate mainly on the last fifty years.
In that time period many new concepts were developed that strongly
influenced, how we produce, consume, and understand documents today.
In particular complex documents such as those in the STEM world.
To discuss document engineering in this period I will focus on TeX
and LaTeX as two of the cornerstone systems in the document
engineering space. By typical software life cycles both are fairly old
programs (dating back to 1977 and 1984, respectively) and to stay
useful that long they had to reinvent themselves several times to
adjust to new requirements or new technologies that allowed for
enhanced output.
At the moment LaTeX is undergoing yet another evolution by addressing
the need for accessible STEM documents --- and once more plays in the
front row by being one of the first tools that is able to
automatically produce documents adhering to the new PDF/UA-2 and WTPDF
standards.
Stefan Köpsell
To be sensed or not to be sensed – that’s the question: Security and Privacy of Joint Communication and Sensing in upcoming 6G mobile networks
úterý 10. prosince 2024, 14:30, posluchárna A217
The International Telecommunication Union (ITU) recently announced the features and capabilities of the sixth generation of mobile networks, which are expected to be deployed around 2030. Amongst others, the ITU envisions “Integrated multi-dimensional sensing to improve assis¬ted navi¬gation, and high-precision positioning including object and presence detection, locali¬zation, imaging and map¬ping” which is considered “a key enabler for a wide range of use cases”. Integrating the sensing of objects (including human beings) as well as the environment in general into the telecommunication infrastructure as a general ubiquitous feature has severe privacy implications. This sensing does not only affect users of the systems but also bystanders who are not users of the system but just part of the environment.
This talk will give an overview of the technological concepts beyond Joint Communication and Sensing (JCAS) and the envisioned use cases. It will illustrate certain privacy risks associated with the deployment of JCAS and propose concepts which should be implemented in the next generation mobile networks to mitigate the sensing related privacy risks. The talk concludes with an overview of open research challenges related to security and privacy in JCAS.
Program kolokvií v minulosti
Podzim 2023
Jaro 2023
Podzim 2022
Jaro 2022
Podzim 2021
Jaro 2021
Podzim 2020
Jaro 2020
Podzim 2019
Jaro 2019
Podzim 2018
Jaro 2018
Podzim 2017
Jaro 2017
Podzim 2016
Podzim 2015
Jaro 2015
Podzim 2014
Jaro 2014
Podzim 2013
Jaro 2013
Podzim 2012
Jaro 2012
Podzim 2011
Jaro 2011
Podzim 2010
Jaro 2010