Seminari - Dipartimento Informatica validi dal 09.11.2025 al 09.11.2026. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=6779 Relatore: Davide Murari; Provenienza: University of Cambdrige (UK); Data inizio: 2025-11-10; Ora inizio: 8.30; Referente interno: Giacomo Albi; Riassunto: This seminar course develops the viewpoint that many modern neural networks can be viewed as dynamical systems. We begin with a compact review of the mathematical foundations of deep learning, covering the key approximation and stability results. We then show how neural networks can be interpreted as discrete or continuous dynamical systems, and why this is valuable. From this lens, we study Neural ODEs and continuous normalising flows (CNFs) for generative modelling, and introduce symplectic neural networks to discover and simulate Hamiltonian systems. Brief PyTorch demonstrations accompany the theory. Background: Students should be familiar with the basic notions in linear algebra and probability. Some exposure to numerical methods for ODEs (e.g., Runge-Kutta methods) is helpful but not required. No prior experience with neural networks or PyTorch is assumed; basic familiarity with Python is helpful. Schedule: - 10/11 Aula M 8:30-10:30 - 12/11 Aula Alfa 13:30-15:30 - 13/11 Aula T.05 10:30-12:30 Contacts: Nicola Sansonetto (nicola.sansonetto@univr.it) - Giacomo Albi (giacomo.albi@univr.it) . Mon, 10 Nov 2025 08:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6779 https://www.di.univr.it/?ent=seminario&rss=0&id=6732 Relatore: David N. Raynolds; Provenienza: University of Warsaw; Data inizio: 2025-11-11; Ora inizio: 8.30; Referente interno: Giacomo Albi; Riassunto: The study of coupled oscillators began in 1656 with Huygensrsquo; invention of the pendulum clock and his subsequent observation of the ldquo;sympathy of two clocks.rdquo; In the following short course we will begin with the study of a single Stuartndash;Landau oscillator.Such a model describes the behavior of a limit-cycle oscillator near a Hopf bifurcation. The famous Kuramoto model (1975) was derived from an ensemble of such oscillators. We will derive the Kuramoto model,and study its various asymptotic outcomes depending on the values of K and omega;.Recent trends in Neuroscience involve utilizing both Stuartndash;Landau and Kuramoto-type oscillators for mesoscopic brain modeling. Further, taking inspiration from Biology, the Machine Learning community has begun utilizing such oscillators to train neural networks in order to ameliorate the so-called oversmoothing problem. We will finish the course studying several of these applications. Tuesday 11/11, 8:30-10:30 Aula Alfa. Friday 14/11, 10:30-12:30. Aula C Friday 14/11, 13:30 -15:30 Aula I Contact: Giacomo Albi (giacomo.albi@univr.it). Tue, 11 Nov 2025 08:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6732 https://www.di.univr.it/?ent=seminario&rss=0&id=6735 Relatore: Giulia Cavicchioni; Provenienza: German Aerospace Center; Data inizio: 2025-11-18; Ora inizio: 10.30; Referente interno: Francesca Mantese; Riassunto: Beyond its role in information theory, coding theory plays a crucial role in cryptography, particularly in post-quantum cryptography. Traditional public-key cryptosystems rely on problems such as integer factorization and discrete logarithms on elliptic curves. While these problems are currently intractable for classical computers, Shorrsquo;s algorithm allows quantum computers to solve them in polynomial time. Post-quantum cryptography aims to create secure algorithms based on computationally hard problems that remain resistant to quantum attacks, with a focus on NP-complete problems. Code-based cryptography refers to any cryptographic system whose security relies on hard problems from algebraic coding theory. Classically, this problem consists of decoding a random linear code, which was proven to be NP-complete in 1978. That same year, McEliece introduced the first code-based cryptosystem. The core idea is to select a code with an underlying algebraic structure that enables efficient decoding, and then disguise it as a seemingly random. Encryp- tion works by encoding the message into a codeword and then intentionally adding errors. With the knowledge of the secret code, one can efficiently decode and recover the message, while an attacker is left with the challenge of decoding a random linear code. In this mini-course, we will introduce code-based cryptography, delving into the mathematical foundations of these systems. In particular, we will focus on the main approach to solving the decoding problem, that is, the information set decoding (ISD) algorithms. Lastly, we will discuss how to determine whether a code has a specific algebraic structure or if it is a random code. Shedule: 18/11 10:30-13:30, 19/11 12:30--14:30, 25/11 10:30-13:30, 26/11 12:30-14:30, 27/11 8:30-10:30 . Tue, 18 Nov 2025 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6735 https://www.di.univr.it/?ent=seminario&rss=0&id=6733 Relatore: Giada Fiandaca; Provenienza: INRIA, Marseille; Data inizio: 2025-12-01; Ora inizio: 10.30; Referente interno: Giacomo Albi; Riassunto: Cancer remains a leading cause of mortality worldwide. Despite decades of research, controlling or eradicating advanced forms of the disease continues to be a challenge. Mathematical modeling offers a powerful tool for cancer research, enabling the exploration of complex processes and rdquo;what-ifrdquo; scenarios that may be inaccessible through traditional experimental or clinical methods. This mini-course will in- troduce participants to key mathematical modeling techniques used in cancer studies, emphasizing the multi-scale nature of cancer progression. We will explore models that simulate treatment effects across various biological levelsmdash;from intracellular interactions to tissue and whole-body responses, showing how mathematical models can provide quantitative insights, guide experimental design, and help distin- guish competing hypotheses, ultimately supporting the development of innovative cancer therapies. 27 November T.05 10:30 -12:30 28 November Aula C 10:30 -13:30 01 December Aula M 8:30-12:30 04 DecemberT.05 10:30 -12:30 Contact: Giandomenico Orlandi/ Giacomo Albi. Mon, 1 Dec 2025 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6733 https://www.di.univr.it/?ent=seminario&rss=0&id=6734 Relatore: Marcello Carioni; Provenienza: University of Twente; Data inizio: 2025-12-14; Ora inizio: 8.30; Referente interno: Giacomo Albi; Riassunto: TBA Contact: Giandomenico Orlandi. Sun, 14 Dec 2025 08:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6734 https://www.di.univr.it/?ent=seminario&rss=0&id=6726 Relatore: Dante Kalise; Provenienza: Imperial College London; Data inizio: 2025-12-15; Ora inizio: 14.30; Note orario: da definire; Referente interno: Giacomo Albi; Riassunto: This course introduces the fundamental ideas and computational methods behind optimal control and data-driven modelling.In this short course, we will study how to incorporate elements of machine learning into optimal control design. The course will focus on fundamentals on optimal control: dynamic optimization, linear-quadratic control, dynamic programming and Pontryagin#39;s maximum principle. Nonlinear optimal control. Approximation methods in high dimensions are also discussed such as polynomial approximation, deep neural networks. Optimization techniques: LASSO regression, stochastic gradient descent, training neural networks. Finally, combining the first two parts, we will study the construction of data-driven schemes for the approximation of high-dimensional nonlinear control laws. . Mon, 15 Dec 2025 14:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=6726