**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
***********************************************************************
Zeit: Mittwoch, 20. September 2023, 14:00 Uhr
Ort: Informatikzentrum, 5053.2 (B-IT)
Zoom:https://rwth.zoom-x.de/j/63749614813
Referent: Till Hofmann, M.Sc.
Thema: Towards Bridging the Gap between High-Level Reasoning and
Execution on Robots
Abstract:
When reasoning about actions, e.g., by means of task planning or agent
programming with Golog, the robot's actions are typically modeled on an
abstract level, where complex actions such as picking up an object are
treated as atomic primitives with deterministic effects and
preconditions that only depend on the current state. However, executing
such an action on a robot is a complex task involving multiple steps
with additional temporal preconditions and timing constraints.
Furthermore, the action may be noisy, e.g., producing erroneous sensing
results and not always having the desired effects. While these aspects
are typically ignored in reasoning tasks, they need to be dealt with
during execution. In this thesis, we propose several approaches towards
closing this gap.
Based on a variant of the situation calculus that incorporates metric
time and metric temporal logic, we propose modeling the robot platform
with timed automata and temporal constraints to describe the connection
between the high-level actions and the robot platform. We then describe
two approaches towards transforming the high-level program. First, we
view the transformation as a synthesis problem, where the task is to
synthesize a controller that executes the program while satisfying the
specification, independent of the environment's choices. We show that
the synthesis problem is decidable, describe an algorithm to construct a
controller, and evaluate the approach in two robotics scenarios. While
this approach supports controlling Golog programs against a
specification with timing constraints, the synthesis problem has
non-primitive recursive complexity and therefore does not scale well.
For this reason, we describe a second approach based on some simplifying
assumptions which allow us to view the transformation problem as a
reachability problem on timed automata, which can be solved with
state-of-the-art tools. We demonstrate the effectiveness and scalability
of the approach in a number of scenarios.
Finally, we turn towards noisy sensors and effectors. Based on DS, a
probabilistic variant of the situation calculus that allows modeling the
agent's degree of belief, we describe an abstraction framework for Golog
programs with noisy actions. In this framework, a high-level and
non-stochastic program is mapped to a more detailed and stochastic
low-level program. As the high-level program is non-stochastic, we may
use non-probabilistic reasoning methods such as task planning. At the
same time, by mapping the abstract actions to low-level programs, we may
still deal with uncertainty during execution. We define a suitable
notion of bisimulation that guarantees the equivalence between the
high-level and low-level programs and demonstrate the approach with an
example.
Es laden ein: die Dozentinnen und Dozenten der Informatik
--
Stephanie Jansen
Faculty of Mathematics, Computer Science and Natural Sciences
HLTPR - Human Language Technology and Pattern Recognition
RWTH Aachen University
Theaterstraße 35-39
D-52062 Aachen
Tel: +49 241 80-21601
sek(a)hltpr.rwth-aachen.de
www.hltpr.rwth-aachen.de
Sehr geehrte Damen und Herren,
hiermit möchte ich Sie herzlich zu folgendem Vortrag von Prof. Sascha
Fahl (CISPA, Leibniz Universität Hannover) einladen:
Zeit: Freitag, 16. Juni 2023, 12.00 Uhr
Ort: UMIC 025 (Mies-van-der-Rohe Str. 15, EG)
Thema: A Holistic Approach to Human Factors in Cybersecurity
Abstract:
The field of information security and privacy has taught us that developing
functional and practical security mechanisms requires more than just
technological innovation. Human factors play a crucial role in the
success or
failure of security and privacy systems. The persistent gap between the
theoretical security of cryptographic algorithms and real-world
vulnerabilities,
data breaches, and possible attacks has highlighted the need for a holistic
approach to security and privacy research.
As a researcher in this field, I have focused on identifying crucial
weak points
and empowering all actors involved in creating and using security and
privacy-preserving technology. This includes end-users, developers, and
system
operators. My research has involved working with secure messaging, security
indicators, and authentication mechanisms to empower end-users,
improving APIs,
documentation, and developer tools to support developers, and improving
configuration languages and tools to benefit system operators.
In this talk, I will demonstrate how this holistic approach to human
factors in
cybersecurity research helps close the gap between theoretical security,
privacy, and real-world deployments. I will present my past and current
work on
supporting expert users and protecting end-users and outlining my goals and
strategies for future research. Through a combination of technical
innovation
and consideration of human factors, I believe we can successfully prevent
involuntary loss of control over data and empower users to retain power over
their security and privacy.
Mit freundlichen Grüßen
Vincent Drury
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Dienstag, 5. September 2023, 14.00 Uhr
Ort: Informatikzentrum, E3, 2. Etage, Raum 9222
Referent: Tim Quatmann M.Sc.
Lehrstuhl Informatik 2 (Software Modeling and Verification)
Thema: Verification of Multi-Objective Markov Models
Abstract:
Probabilistic systems evolve based on environmental events that occur with a certain probability.
For such systems to perform well, we are often interested in multiple objectives, i.e., quantitative performance measures like the probability of a failure or the expected time until task completion.
Sometimes, these objectives conflict with each other: minimizing the failure probability possibly means completing the task takes longer.
Compromises need to be found.
We consider Markov models — particularly Markov decision processes (MDPs) and Markov Automata (MAs).
These state-based modeling formalisms describe a system in its random environment.
Starting from an initial state, the transitioning behavior in MDPs is determined by probabilistic and nondeterministic choices.
MAs further extend MDPs by exponentially distributed continuous time delays.
Rewards can be attached to states or transitions to model system quantities such as energy consumption, productivity, or monetary costs.
Objectives are formally specified by a mapping from (infinite) system executions to the value of interest, i.e., the total accumulated costs or the average energy consumption.
The expected value of an objective is defined once the nondeterminism is resolved using a strategy — intuitively reflecting the choices of a system controller.
Different strategies induce different expected objective values.
Multi-objective verification of MDPs and MAs analyzes the interplay between the considered objectives and identifies which trade-offs between expected objective values are possible, i.e., achievable by some strategy.
We study practically efficient methods to compute the set of achievable solutions.
For this, we establish a general framework and its instantiation for (undiscounted) total reachability reward objectives, long-run average reward objectives, and reward-bounded objectives.
We propagate the errors made by approximative methods, yielding sound under- and over-approximations.
We further consider multi-dimensional quantiles that ask under which reward constraints a given objective value is achievable.
Finally, we investigate a setting in which the strategies must be simple, i.e., non-randomized and with limited memory access.
All presented approaches are integrated into the state-of-the-art probabilistic model checker Storm.
An extensive evaluation of this implementation on a broad set of multi-objective benchmarks shows that our approaches scale to large models with millions of states.
Es laden ein: die Dozentinnen und Dozenten der Informatik
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Freitag, 22. September 2023, 11:00 Uhr
Ort: Seminarraum Informatik 4 (COMSYS) - 9007, E3, Ahornstr. 55 [1]
Digitaler Zugang (hybrider Vortrag):
https://rwth.zoom.us/j/63466099726?pwd=eUN1QTRISUZmSEFzUnhnSXdRSW5CZz09
(Meeting-ID: 634 6609 9726 Kenncode: 269470)
Referent: Jan Pennekamp M.Sc.
Lehrstuhl Informatik 4 (COMSYS)
Thema: Secure Collaborations for the Industrial
Internet of Things
Abstract:
The Industrial
Internet of Things (IIoT) leads to
increasingly-interconnected and networked industrial processes and
environments, which, in turn, results in stakeholders collecting a
plethora of information. Even though the global sharing of information
and industrial collaborations in the IIoT promise significant
improvements concerning productivity, sustainability, and product
quality, among others, information is still commonly encapsulated
locally. Confidentiality concerns are the primary roadblock to fully
realizing the aforementioned improvements. We address this
mission-critical research gap. Since existing concepts for sharing
information do not scale to industry-sized applications in the IIoT, we
present solutions that enable secure collaborations in the IIoT while
providing technical (confidentiality) guarantees to the involved
stakeholders. Our research is crucial (i) for demonstrating the
potential and added value of (secure) collaborations and (ii) for
convincing cautious stakeholders of the utility and benefits of
technical building blocks that reliably enable confidential information
sharing, even among direct competitors.
Our interdisciplinary research thus focuses on establishing and
realizing secure industrial collaborations in the IIoT. We rely on
well-established building blocks from private computing (i.e.,
privacy-preserving computations and confidential computing) to reliably
realize them. We thoroughly evaluate each of our designs using multiple
real-world use cases from the domain of production technology to attest
their practical feasibility for the IIoT. By applying private computing,
we are indeed able to reliably secure collaborations that not only scale
to industry-sized applications but also allow for use case-specific
configurations of confidentiality guarantees.
Overall, given the expected improvements, our research should greatly
contribute to convincing even cautious stakeholders to participate in
(reliably-secured) industrial collaborations. Our work is an essential
first step for establishing widespread information sharing between
stakeholders in the IIoT, and it stresses four crucial aspects: (i)
collaborations can be secured reliably, and we can even provide
technical guarantees while doing so, (ii) building blocks from private
computing scale to industrial applications and satisfy the outlined
confidentiality needs, (iii) improvements that follow from industrial
collaborations are within reach, even when dealing with cautious
stakeholders, and (iv) the interdisciplinary development of
sophisticated yet appropriate designs for use case-driven secure
collaborations can succeed in practice.
Es laden ein: die Dozentinnen und Dozenten der Informatik
[1]
https://www.comsys.rwth-aachen.de/fileadmin/misc/how-to-get-to-comsys.pdf
--
Jan Pennekamp, M.Sc., Ph.D. Student
Chair of Communication and Distributed Systems
RWTH Aachen University, Germany
tel: +49 241 80 21411
web: https://www.comsys.rwth-aachen.de/team/jan-pennekamp/
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Freitag, 18.08.2023, 09:00 Uhr
Ort: IT Center, Kopernikusstraße 6, Seminarraum 001
Referent: Julian Miller M.Sc.
Lehrstuhl Informatik 12
Thema: Pattern-based Abstractions for Parallel Programs
Abstract:
The computational demands in sciences and engineering are quickly rising with
the increasing complexities of simulation and the availability of extensive
data. This demand is satisfied with large clusters of computers and specialized
hardware accelerators. However, programming such systems is challenging and
time-consuming, and the massive concurrency is error-prone. The software
developers are faced with deriving a well-scaling solution while preserving
correctness. These development challenges are aggravated by the quickly
evolving hardware landscape of high-performance computing (HPC).
This work investigates the key challenges when developing highly productive and
performant parallel programs. This analysis is based on extensive human-subject
studies with a diverse set of parallel programs and programmers. It uncovers
quantitative and measurable productivity metrics, the main impact factors for
developing parallel programs efficiently, and cost estimation methods for
developing software. Based on this analysis, an abstract model of parallel
algorithms is proposed to mitigate these challenges. It is based on a strict
separation between the algorithmic structure of a program and its executed
functions. Rich and high-level optimization potentials are revealed by
decomposing parallel programs into a hierarchical structure of parallel
patterns.
A static performance model and optimization and scheduling algorithms are
introduced to leverage these optimization potentials. A proof of concept
development pipeline is proposed exposing this pattern-based programming
approach to software developers: First, parallel programs may be specified in
the proposed Parallel Pattern Language (PPL) that closely follows the
mathematical definition of parallel algorithms. Alternatively, existing codes
can be translated into the proposed hierarchical pattern structure with pattern-
detection methods. Second, the hierarchical pattern structure is extracted and
global transformations are applied to minimize the overall runtime for a target
hardware architecture. Third, the optimized code and its scheduling are
generated in a source-to-source fashion for heterogeneous systems with shared
and distributed memory and accelerators. The proposed approach and proof of
concept implementation are evaluated on real-world parallel algorithms.
Es laden ein: die Dozentinnen und Dozenten der Informatik
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Freitag, 18. August 2023, 14.00 Uhr
Der öffentliche Vortrag findet hybrid statt:
Ort: Raum 5053.2 (großer B-IT-Hörsaal)/Informatikzentrum, Ahornstraße 55
Zoom: https://rwth.zoom.us/j/67829456459?pwd=RFM0SjNPb2xidzNIT0xJMUg1UkZGQT09
Meeting-ID: 678 2945 6459
Kenncode: 280923
Referent: Dipl.-Gyml. Matthias Ehlenz
Lehr- und Forschungsgebiet Informatik 9 (Lerntechnologien)
Thema: A Sustainable Research & Development Ecosystem for Computer-Supported Collaborative Learning with Interactive Tabletop Displays
Abstract:
Computer-supported learning processes are of consistently increasing importance for education. Considering innovative platforms, interactive tabletops provide distinct advantages: They introduce automated feedback, individualization capabilities, and interaction mechanics that enable self-regulated learning in computer-supported collaborative learning processes. They allow truly equal, simultaneous interaction. At the same time, the strengths of face-to-face communication of traditional group work are preserved. Additionally, the digitization of collaborative face-to-face learning opens new research opportunities by enabling the usage of methods from learning analytics and introducing innovative ways of multi-modal data collection.
Still, we do not know much about the practical impact of interactive tabletops on the learning process and successful usage in education requires the tuning of content and media to fit each other. Previous promising technologies missed out on their potential by lacking content, research, and sustainable concepts.
This dissertation aims to help overcome obstacles and thus enable interactive tabletops to have a positive impact on future education. Assisting developers and educators to implement open-source learning games, providing interdisciplinary research teams with methods and tools to produce highly configurable research prototypes and partake in open science, and enabling teachers to improve their students' learning by providing insights through the open learning analytics infrastructure: The Multi-Touch Learning Game (MTLG) ecosystem is intended to take a holistic approach on facilitating interactive tabletops for better learning experiences. This dissertation provides a systematic approach to the requirements of, research on and educational use of interactive tabletop systems. The MTLG ecosystem presents an integrated research and prototyping framework for collaborative learning with interactive tabletop displays. The components are the MTLG core and toolchain (fundamental building blocks for the rapid creation of capable research prototypes); the MTLG infrastructure (server-side components for connecting sessions across devices, managing users and more); the MTLG research components (supporting experimental setups). Considering scientific sustainability, this dissertation goes beyond technical aspects and slightly beyond the scope of this project. In an interdisciplinary effort a sustainable, science-driven proposal for a learning analytics metadata infrastructure has been developed. The overall evaluation is done in a threefold approach: First, case studies are presented to show research in depth. Second, the broad applicability is shown by presenting learning applications of different scopes and subjects. Third, a technical prototype and a corresponding case study are presented to showcase the interplay of components.
Conclusively, this dissertation presents a coherent ecosystem of software, methods, and infrastructure to research collaborative learning processes involving interactive tabletop displays, large multi-touch systems placed horizontally for face-to-face learning in groups.
Es laden ein: die Dozentinnen und Dozenten der Informatik
Dipl.-Gyml. Matthias Ehlenz
Koordination & Konzeption MediaLab
Lehrerbildungszentrum der RWTH Aachen
Kármánstr. 17-19
52062 Aachen
+49 241 80 96 435
Ehlenz(a)lbz.rwth-aachen.de<mailto:Ehlenz@lbz.rwth-aachen.de>
www.lbz.rwth-aachen.de<http://www.lbz.rwth-aachen.de/>
Dear all,
this is a reminder for Joost-Pieter Katoen's talk with the title "Can we meet the deadline? Most probably: yes!" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below
--- Abstract ---
Continuous-time Markov chains are used in systems biology, classical performance evaluation,
reliability engineering, physics, and so on. We study a the following analysis problem for CMTCs:
how to compute the probability to reach a certain target state within a given deadline?
Phrased more practically: how likely is it that all substrates have turned into products in a
catalytic chemical reaction within a week? We will show that this probability can be
characterised as a unique solution of a Volterra integral equation system, whose computation
can be reduced to transient analysis of a slightly modified CTMC. We will show why this problem
is of practical relevance, that it can be efficiently solved on CTMCs with millions of states, and
why its natural generalisation to stochastic scheduling problems is hard.
This result was published in 1999, received a test-of-time award in 2022, and forms the
ingredient of many state-of-the-art CTMC tools.
----------------
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 "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research.
All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students.
Note that this is the last lecture for this year! We are looking forward to seeing you today.
Kind regards,
Jan-Christoph for the organisation committee
Dear AI community,
The next Artificial Intelligence Colloquium<https://www.ai.rwth-aachen.de/cms/KI/Das-KI-Center/Aktuelle-Veranstaltungen…> will be a double event: a talk, and a poster session!
On Tuesday, July 18th at 16:00, Prof. Heike Vallery (RWTH Aachen) will give a presentation on “Challenges and opportunities of data-driven learning in physical robots for neurorehabilitation”. After the talk (45 minutes), there will be a Q&A session of 15 minutes.
After the talk and the Q&A, the event will continue with a poster session, which will highlight the latest advancements in various fields of AI. You will have the change of discussing hot AI topics with researchers in the discipline!
Heike Vallery’s talk will be hybrid, and will take place in the Generali Hall of the Super C as well as on Zoom. A free registration<https://vms.zhv.rwth-aachen.de/prod/veranstaltungen/SingleSignOn/Shibboleth…> is required for both in-person and remote participants (please register on our web page<https://www.ai.rwth-aachen.de/go/id/bckstd>). You will receive the link directly in the confirmation email.
The poster session will not be live-streamed.
More information on the event series on the website<https://www.ai.rwth-aachen.de/cms/KI/Das-KI-Center/Aktuelle-Veranstaltungen…>.
Please feel free to forward this information to your research groups or any other interested parties!
The organising team is looking forward to welcoming you on Tuesday next week.
Best regards,
Julia Mann
Dr Julia Mann
Managing Director
______________________________________________
Center for Artificial Intelligence
RWTH Aachen University
Mies-van-der-Rohe-Strasse 15 office: 123
DE-52074 Aachen phone: +49-241-80 20757
Germany
http://www.ai.rwth-aachen.de<http://www.ai.rwth-aachen.de/>
[cid:image001.png@01D9B4DD.8079AC50]
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Dienstag, 4. Juli 2023, 13.00 Uhr
Ort: Raum 9222, Gebäude E3, Ahornstr. 55
Referent: Dr. Jakob Bossek
Lehrstuhl Informatik 14
Thema: Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem
Abstract:
With this talk I want to introduce myself to the RWTH computer science department.
In the first part I will go into detail on paper recently accepted in the evolutionary computation journal (Bossek & Grimme, 2023) entitled “Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem”. The second part will give a broader overview of my research foci and projects in the fields of Evolutionary Optimisation and Automated Artificial Intelligence.
The Minimum Spanning Tree (MST) problem is the challenge of finding a tree in an edge-weighted graph that maintains connectivity of all nodes and has minimal costs among all such trees. The MST problem is a fundamental combinatorial optimisation problem with countless applications, e.g., in the construction of communication networks, medical imaging, or many other areas that range from logistic via graph drawing to power grid network design. The basic single-objective version of the MST problem can be solved efficiently, i.e., in polynomial time, e.g., by Prim’s algorithm. The multi-objective MST (moMST) version though (i.e., multiple weights per edge) is NP-hard and suffers from intractability. Thus, efficient heuristics are needed to approximate the set of optimal trade-off solutions.
Evolutionary Algorithms are randomised search heuristics that are among the most successful when it comes to solving NP-hard multi-objective optimisation problems.
I will present recent work on the design of several highly biased sub-graph-based mutation operators for the moMST problem. In a nutshell, these operators replace (un)connected sub-trees of candidate solutions with locally (Pareto-)optimal sub-trees. The latter (biased) step is realised by applying Kruskal’s single-objective MST algorithm to a weighted sum scalarisation of a sub-graph.
I will detail some runtime complexity results for the introduced operators and demonstrate results that show that the sub-graph based operators beat baseline algorithms from the literature even with severely restricted computational budget in terms of function evaluations on four different classes of complete graphs.
Es laden ein: die Dozentinnen und Dozenten der Informatik
--
Andrea Gibbels, M.A.
Administrative Assistant
Chair for AI Methodology / Lehrstuhl für Methodik der Künstlichen Intelligenz
RWTH Aachen University
E-mail: secret(a)aim.rwth-aachen.de
Phone: +49 241 80 21452
Theaterstr. 35-39
52062 Aachen
Germany
+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Mittwoch, 12. Juli 2023, 11:00 Uhr
Ort: Informatikzentrum der RWTH Aachen University, Gebäude E3, 2. Etage, Raum 9222
Referent: Benedikt Pago, M.Sc.
Mathematische Grundlagen der Informatik
Thema: Limitations of Choiceless Computation
Abstract:
A central open question in finite model theory asks whether there exists a logic that captures the complexity class PTIME.
Another way of phrasing this is whether every polynomial time algorithm can be efficiently simulated by a choiceless one.
Choiceless computation models operate on finite structures, such as graphs, and can only perform computation steps which are invariant under
the symmetries of the structure. This guarantees that for any two isomorphic input structures, the outcome of the computation is the same -
a property which is typically required of logics.
The quest for a logic for PTIME seeks to develop and analyse logics (i.e. choiceless computation models) of increasing expressive power
within PTIME. One of the most prominent logics that has been suggested and not separated from PTIME within more than 20 years is
Choiceless Polynomial Time (CPT). Obtaining a better understanding of its expressive power is the aim of this thesis;
the focus is on its limitations, since only little is known so far in this regard.
We develop new approaches and techniques towards strong CPT lower bounds. As a promising candidate for separating CPT from PTIME, we propose
the graph isomorphism problem on Cai-Fürer-Immerman (CFI) graphs over unordered hypercubes. The CFI construction is a well-known tool to prove
inexpressibility results for logics. Choiceless polynomial time algorithms are known to exist for certain ordered variants of it but we show
that these fail on unordered CFI graphs. Going further, we study a broader class of CPT-algorithms for this problem and prove that
lower bounds against certain families of symmetric Boolean circuits imply lower bounds for these algorithms. A first lower bound for this kind
of circuits is also presented to demonstrate the feasibility of the approach. It remains open to strengthen it further to get the desired
undefinability result for the CFI problem in CPT.
As an alternative route, we establish a connection to an algebraic proof system called the extended polynomial calculus.
The power of this and similar proof systems is the subject of active research in the field of proof complexity. We show that suitable proof
complexity lower bounds would imply the separation of CPT and PTIME, too.
Es laden ein: die Dozentinnen und Dozenten der Informatik