Search
Menu
Je me connecte

Institute of Information and Communication Technologies, Electronics and Applied Mathematics

Search
  • Home
  • Institute of Information and Communication Technologies, Electronics and Applied Mathematics

Institute of Information and Communication Technologies, Electronics and Applied Mathematics

Seminars

icteam | Louvain-la-Neuve

Scientific seminars are regularly organised by and for ICTEAM researchers in Louvain-la-Neuve. Participation to these seminars is open for anyone interested.

 

ICTEAM seminars of the week

Current Week Seminars

[INMA] 2026-05-05 (14:00) : Designing Provably Safe Autonomous Systems Under Uncertainty

At Euler building (room A.002)

Speaker: Sofie Haesaert (Eindhoven University of Technology)
Abstract: The deployment of autonomous aerial and ground vehicles in real-world environments presents fundamental challenges in ensuring safety and resilience under uncertainty. As autonomy increases and human oversight diminishes, we must develop formal methods that provide mathematical guarantees on system behavior in the face of stochastic disturbances and environmental variability. This talk presents recent advances in data-driven verification and control synthesis for both linear and nonlinear stochastic models. We differentiate between abstraction-based and abstraction-free approaches and show how approximate stochastic simulation relations can be used to quantify abstractions, enabling scalable formal verification of systems with uncertainty. Building on this foundation, we address control synthesis for autonomy via a tight integration of symbolic logic, stochastic formal methods, and uncertainty quantification — paving the way toward interacting autonomous systems that are not only capable, but also provably safe.

[ELEN] 2026-05-05 (09:30) : Modeling reconfigurable intelligent surfaces

At Shannon

Speaker: Enrico Maria Vitucci (University of Bologna)
Abstract: Enrico Maria Vitucci will share some insights from his work on deterministic propagation modelling and reconfigurable intelligent surfaces. The presentation will remain at a fundamental level, so even if you are not an expert in his specific areas of focus, you should be able to follow along easily! He also plans to touch upon current challenges and exciting future research directions in the field.

[INMA] 2026-05-06 (11:00) : Tensor-based Analysis of Hypergraphs and Higher-Order Network Dynamics

At Euler building (room A.002)

Speaker: Shaoxuan Cui (University of Groningen)
Abstract: In graph-theoretical terms, an edge in a graph connects two vertices, whereas a hyperedge in a hypergraph can connect more than two vertices. From a modeling perspective, a conventional edge denotes a pairwise interaction between two nodes, while a hyperedge may denote a group-wise interaction among several nodes. A hypergraph is said to be uniform if all its hyperedges connect the same number of vertices. In algebraic graph theory, a graph is characterized by an adjacency matrix; correspondingly, a uniform hypergraph can be described by an adjacency tensor. Furthermore, a nonuniform hypergraph can be represented as a set of tensors of different orders. This structural similarity enables the extension of classical matrix analysis techniques, traditionally used for graphs and networked dynamical systems, to hypergraphs and higher-order dynamical systems by leveraging tensor properties. Specifically, we introduce novel notions of tensor irreducibility, corresponding to various forms of strong connectedness in hypergraphs analogous to the graph case. Moreover, we demonstrate that the Perron–Frobenius theorem for nonnegative tensors can be employed to analyze the stability of a class of systems evolving on hypergraphs. This tensor-based framework provides a powerful analytical tool for addressing challenges in network science, complex systems, and control theory.

[LINGI2399] 2026-05-07 (10:45) : Successful development of a Marketplace

At BARB94

Speaker: Sébastien Deletaille (Rosa) , and Antoine Pairet (Rosa)
Abstract: A marketplace is an online platform that allows sellers to offer their products or services to a large audience, thus facilitating the meeting between supply and demand. In our daily life, several marketplaces have become essential: Amazon, Booking.com, Doctolib, Uber, Airbnb,...What does it take to launch a marketplace? Through the analysis of the launch of Rosa.be, one of the largest medical platforms in Belgium, we will understand the means, resources and time required to succeed.