June 2025 - informatik-vortraege - lists.rwth-aachen.de

Einladung Informatik Oberseminar Lubna Ali
by Bombelka, Angelika 08 Jul '25

08 Jul '25

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Dienstag, 30. Januar 2024, 14.00 Uhr Ort: 9222, E3, Ahornstr. 55 und hybrid via Zoom (https://rwth.zoom-x.de/j/64937773189?pwd=eGttNUMzSElnQUVkc3FrYzBqK2F4UT09) Referent: Lubna Ali M.Sc. RWTH Lehr- und Forschungsgebiet Informatik 9 (Lerntechnologien) Thema: convOERter: A Technical Assistance Tool to Support Semi-Automatic Conversion of Images in Educational Materials as OER Abstract: Open Educational Resources (OER) are seen as an important element in the process of digitizing higher education teaching and as essential building blocks for openness in education. They can be defined as teaching, learning, and research materials that have been made openly available, shareable, and modifiable. OER include different types of resources such as full courses, textbooks, videos, presentations, tests, and images, which are usually published under the open Creative Commons licences. OER can play an important role in improving education by facilitating access to high quality digital educational materials. Accordingly, there is a steady increase among higher education institutions to participate in the so-called "open movement" in general and in utilizing OER in particular. Nevertheless, there are many challenges that still face the deployment of OER in the educational context. One of the main challenges is the production of new OER materials and converting already existing materials into OER, which could be viable by qualifying educators through training courses and/or supporting them with specific tools. There are many platforms and tools that support the creation of new OER content. However, to our knowledge, there are no tools that perform fully- or semi-automatic conversion of already existing educational materials. This identified gap was the basis for the design and implementation of the OER conversion tool (convOERter). The tool supports the user by semi-automatically converting educational materials containing images into OER-compliant materials. The main functionality of the tool is based on reading a file, extracting all images as well as all possible metadata, and substituting the extracted images with OER elements in a semi-automated way. The retrieved OER images are referenced and licenced properly according to the known TASLL rule. Finally, the entire file is automatically licenced under Creative Commons excluding specific elements from the entire licence such as logos. In order to evaluate the effectiveness of the tool in promoting the use of OER, a comprehensive user study was conducted with educators and OER enthusiastic at different universities. The study was accomplished by offering a series of OER evaluation workshops to compare the conversion efficiency of the tool with manual conversion. The results show that using the conversion tool improves the conversion process in terms of speed, license quality, and total efficiency. These results highlight that the tool can be a valuable addition to the community, especially for users less experienced with OER. As a future work, it is intended to further develop the tool and improve its functionality. Additionally, a long-term study can be conducted to assess the impact of the tool in facilitating and enhancing the production of OER on a larger scale. Es laden ein: die Dozentinnen und Dozenten der Informatik

3 5

Survey Lecture - Highlights of UnRAVeL
by Kassing, Jan-Christoph 25 Jun '25

25 Jun '25

Dear all, We invite you to the next UnRAVeL survey lecture talk Tomorrow (26.06.) 12:30 to 14:00, Computer Science Center, Building E2, ground floor, B-IT room 5053.2, given by Michael Schaub about "Oversmoothing in graph neural networks“! -------------------- Titel: Oversmoothing in graph neural networks Abstract: Graph neural networks (GNNs) have emerged as powerful tools for processing relational data in applications. However, GNNs suffer from the problem of oversmoothing, the property that the features of all nodes exponentially converge to the same vector over layers, prohibiting the design of deep GNNs. In this work we study oversmoothing in graph convolutional networks (GCNs) from different perspectives and demonstrate that, contrary to what is often claimed in the literature, GNNs do not have to oversmooth. -------------------- Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL. This years topic is "Highlights of UnRAVeL!". As UnRAVeL nears its conclusion, we take this opportunity to reflect on seven years of excellent research. Through nine talks, we invite you to experience the scientific highlights of our RTG, along with its numerous successes, developments, and collaborations. All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2025 and engage in discussions with researchers and doctoral students. The overall remaining schedule is as following: 26.06.2025 - Michael Schaub - Oversmoothing in Graph Neural Networks 03.07.2025 - Sebastian Trimpe - Uncertainty in Learning and Control 10.07.2025 - Christopher Morris - Exploring the Power of Graph Neural Networks in Solving Optimization Problems 17.07.2025 - Christina Büsing - Dealing with Uncertainty Inspired by Health Care – a Robust Optimization Approach Kind regards, Jan-Christoph for the organisation committee

1 0

Einladung: Informatik-Oberseminar Markus Dahlmanns
by Dahlmanns, Markus 24 Jun '25

24 Jun '25

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Mittwoch, 2. Juli 2025, 10.00 Uhr Ort: Raum 9007, Gebäude E3, Ahornstr. 55 (COMSYS Seminarraum [1]) Referent: Markus Dahlmanns, M.Sc. Lehrstuhl für Informatik 4 (COMSYS) Thema: Identifying Security Issues in the Industrial Internet of Things Abstract: The Industrial Internet of Things (IIoT) allows the collection and communication of data from production processes as well as sending and receiving commands for interaction and actuation to, e.g., increase the efficiency of processes. However, a secure and safe operation is essential to protect, e.g., workers laboring in the operating space of machines and the environment, which were shown to suffer from the misoperation of critical IIoT deployments. As a foundation for such a secure and safe operation IIoT protocols nowadays include security features. However, it is unclear whether these developments of protocol specifications lead to a secure IIoT in practice. In this talk, we address the open research gap of the current uncertainty on IIoT security. To this end, we first set out to assess the security of today's IIoT. Second, we analyze the pitfalls that hinder operators from operating securely despite the existence of secure protocols. Last, we give an overview on novel approaches that help operators secure their deployments. Our first three contributions show from various angles that the majority of Internet-exposed IIoT deployments are insecurely configured, independently of their potential deployment date and the protocol used being either secure-by-design or retrofitted. In our fourth contribution, we trace this problem back to modern technologies like containerization that ease deployment processes but also disguise security issues. Our last two contributions propose two novel mechanisms that can increase the security of the IoT in the future. Our contributions underpin the vast number of issues in IIoT security despite the existence of strong security features in today's protocol specifications and sketch countermeasures to tackle the identified pitfalls that operators tap into when configuring their deployments. Overall, our results encourage shifting from secure-by-design to secure-by-default protocols. Es laden ein: die Dozentinnen und Dozenten der Informatik [1] https://www.comsys.rwth-aachen.de/contact/how-to-get-to-comsys.pdf -- Markus Dahlmanns, M.Sc., Ph.D. Student Chair of Communication and Distributed Systems RWTH Aachen University, Germany tel: +49 241 80 21425 web: https://www.comsys.rwth-aachen.de/team/markus-dahlmanns/

1 0

Research Talk Prof. Romaric Duvignau, 25. Juni 2025, 10:00 Uhr
by Jan Pennekamp 18 Jun '25

18 Jun '25

Dear all, COMSYS is hosting Prof. Romaric Duvignau next week. As part of this visit, he will also give a research talk. More details below. **Title:** Data-Driven and Efficient Algorithms for Enhanced Communication at the Edge **When:** Wednesday, June 25th 10:00-11:00 **Where:** At COMSYS' Seminar Room – Building E3, Room 9007 **Abstract:** Communication is the cornerstone element of many distributed, cyber-physical, or IoT systems (e.g., vehicular networks, smart grid, sensor networks). Transmitting data in the most efficient manner is often a requirement for many applications to reduce costs and boost performance. What is needed in this context are dedicated (i.e., data- or use-case-driven) and efficient algorithms that must be designed, analyzed, and experimentally validated, taking into account both the communication network and the distribution and continuous aspect of the generated data. My research centers on the design, study, and evaluation of those distributed and application-driven algorithms to perform optimization on a continuous basis and decrease computational burden and/or communication costs. In this short presentation, I will focus on recent advancements we have for two specific applications: (1) sharing energy resources among households at the smart grid’s edge and (2) improving the privacy of video streaming. **Speaker Bio:** Romaric Duvignau is an Associate Professor in the Distributed Computing and Systems research group at Chalmers University of Technology, Gothenburg, Sweden. His research focuses on designing data-driven algorithms for distributed applications, addressing challenges in fault tolerance, cybersecurity, privacy, big data and streaming analytics. His current interests include the efficient monitoring of large-scale distributed systems, intelligent data management and decision making in smart grids, federated learning, programmable networks, and network traffic classification. Prof. Duvignau teaches courses on computer networking, distributed systems, and data-driven support for cyber-physical systems and was awarded the Chalmers Pedagogic Prize 2023. You are all cordially invited. Best regards, Jan Pennekamp -- Dr. rer. nat. Jan Pennekamp Communication and Distributed Systems RWTH Aachen University, Germany tel: +49 241 80 21411 web: https://www.comsys.rwth-aachen.de/team/jan-pennekamp/

1 0

Einladung Informatik-Oberseminar Tobias Schulte to Brinke
by Abigail Morrison 12 Jun '25

12 Jun '25

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 16. Juni 2025, 15.00 Uhr Ort: Raum 9222, Gebäude E3, Informatik-Zentrum Referent: Tobias Schulte to Brinke, MSc. Lehrstuhl Informatik 3 Thema: Analysis of Information Processing and Memory Prerequisites for Temporal Difference Learning in Cortical Neural Network Models Abstract: This doctoral thesis delves into the computational intricacies of the human brain, exploring the capabilities of cortical microcircuit models, the extent of their information processing capacity, and their role in memory and temporal difference learning through the use of cortico-striatal populations. Central to this exploration is the study of spiking neural networks (SNN). This research aims to gain a deeper understanding of the structural and neuronal influences on information processing in these networks and at the same time to provide a guideline for their analysis. In the first part, a network model of a cortical column introduced in a previous paper is reproduced and extended. These analyses show that the specific, data-based connectivity improves computational performance by sharpening the clarity of internal representations rather than increasing the duration of information retention as previously described. Moving beyond traditional task-based evaluations, the second part introduces a novel application of the information processing capacity (IPC) metric to SNN. This approach provides a comprehensive profile of the functions computed by SNN, encompassing memory and nonlinear processing. The study methodically examines various encoding mechanisms and their impact on the IPC and shows that the metric is indicative of the performance in tasks with different demands of nonlinear processing and memory. This exploration not only extends the utility of the IPC metric to more complex neural networks but also offers a deeper insight into their computational capabilities. The third part of the thesis tests a hypothesis about the computation of temporal difference errors in the brain, focusing on two distinct populations of cortical layer 5 neurons: the crossed corticostriatal (CCS) and corticopontine (CPn0 cells. By implementing network models based on these populations and evaluating their memory capabilities through the lens of the IPC, the research supports, at least for continuous rate networks, the proposed role of these neurons in the computation of temporal difference errors. However, the spiking network models pose a greater challenge and exhibit little ability to memorize previous inputs in our experiments. In summary, this work not only confirms and extends existing research results, but also develops new methods for analyzing SNN. It lays a solid foundation for future studies of the brain's computational processes and enriches the field of computational neuroscience with advanced tools and methods for exploring the intricate workings of biologically inspired neural network models. Es laden ein: die Dozentinnen und Dozenten der Informatik -- Prof. Dr. Abigail Morrison Institute for Advanced Simulation (IAS-6) Jülich Research Center & Computer Science 3 - Software Engineering RWTH Aachen http://www.fz-juelich.de/inm/inm-6 http://www.se-rwth.de Office: +49 2428 8097504 Fax # : +49 2461 61-9460 Pronouns: she/her ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ Forschungszentrum Jülich GmbH 52425 Jülich Sitz der Gesellschaft: Jülich Eingetragen im Handelsregister des Amtsgerichts Düren Nr. HR B 3498 Vorsitzender des Aufsichtsrats: MinDir Stefan Müller Geschäftsführung: Prof. Dr. Astrid Lambrecht (Vorsitzende), Dr. Stephanie Bauer (stellv. Vorsitzende), Prof. Dr. Ir. Pieter Jansens, Prof. Dr. Laurens Kuipers ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------

1 0

[sekretariate] Einladung: Informatik-Oberseminar Lutz Klinkenberg
by Elke Ohlenforst 05 Jun '25

05 Jun '25

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Freitag, 20. Juni 2025, 09:00 Uhr Ort: Raum 9222 (Informatikzentrum E3, Ahornstraße 55) Referent: Lutz Klinkenberg, M.Sc. Lehrstuhl für Informatik 2 Thema: Analysis of Probabilistic Programs Using Generating Functions Abstract: Probabilistic programming languages have emerged as a powerful tool for modeling complex and uncertain systems. Widely applied in fields like artificial intelligence, machine learning, robotics but also in non-technical domains as, e.g., healthcare, social and climate sciences, economic and psychology, these languages allow us to succinctly represent probabilistic processes, including those involving loops, recursion, and other intricate structures. However, reasoning about such programs, particularly those with infinite loops or non- terminating behavior, poses significant challenges. This dissertation introduces a novel approach to address these challenges by developing a denotational probability generating function (PGF) semantics for discrete probabilistic programs with loops. This semantics provides an exact and compact representation of program behaviors, enabling exact Bayesian inference where prior methods often relied on approximations. A central contribution of this work is the introduction of invariant-based reasoning techniques, which facilitate the systematic derivation of posterior distributions and hence also properties like expectations and higher-order moments, even for possibly unbounded loops. Furthermore, we present a syntactic characterization of a class of proba- bilistic programs for which the distributions they describe can be expressed as rational closed-form generating functions. This characterization ensures that exact inference is preserved within this class, allowing for efficient alge- braic manipulation and direct computation of quantities such as tail bounds and moments. By linking program syntax to the algebraic tractability of their semantics, this work establishes a foundational framework for exact reasoning in probabilistic programming. This framework not only enhances the capacity for exact Bayesian inference enabling decision-making under uncertainty but also broadens the applicability of probabilistic programming to domains where formal verification is inevitable. It combines theoretical rigor with practical utility, offering a unified perspective on the structure and behavior of discrete probabilistic programs. Es laden ein: die Dozentinnen und Dozenten der Informatik

1 0