Seminari - Dipartimento Computer Science validi dal 08.11.2026 al 08.11.2027. https://www.di.univr.it/?ent=seminario&lang=en&rss=0 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7132 Relatore: Alessandro Contu; Provenienza: Institute of Mathematics and Informatics, Bulgarian Academy of Sciences; Data inizio: 2026-11-23; Ora inizio: 10.30; Referente interno: Nicola Sansonetto; Riassunto: On the one hand, the relationship between symmetry fields and first integrals plays a fundamental role in the integrability of vector fields. On the other hand, integrable or near-integrable magnetic fields are prominent in the design of plasma confinement devices. In this minicourse, the relationship between symmetry fields and first integrals of divergence-free vector fields is explored in three dimensions in light of its relevance to plasma physics and magnetic confinement fusion. The existence of flux coordinates for magnetic fields in high generality is given, even without needing to assume a symmetry, as in the cases of magnetohydrostatics or quasi-symmetry. - David Perrella, Nathan Duignan, David Pfefferleacute;; Existence of global symmetries of divergence-free fields with first integrals. J. Math. Phys. 1 May 2023; 64 (5): 052705. - J. W. Burby, N. Duignan, J. D. Meiss; Integrability, normal forms, and magnetic axis coordinates. J. Math. Phys. 1 December 2021; 62 (12): 122901. Mon, 23 Nov 2026 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7132 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7146 Relatore: Marta Fiocco; Provenienza: Universiteit Leiden; Data inizio: 2026-11-25; Ora inizio: 13.30; Referente interno: Giacomo Albi; Riassunto: Abstract: TBA Wednesday 25/11, 13:30-15:30 Aula M Thursday 26, 10:30 - 12:30, Aula T.02 Friday 27, 10:30 -12:30, Aula C Contacts: Giacomo Albi (giacomo.albi@univr.it), Paolo Dai Pra (paolo.daipra@univr.it). Wed, 25 Nov 2026 13:30:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7146 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7153 Relatore: Chloe Griffin; Provenienza: Brown University, USA; Data inizio: 2026-12-02; Ora inizio: 10.30; Note orario: Aula D; Referente interno: Elena Gaburro; Riassunto: High-order discretizations of hyperbolic conservation laws generally lack inherent mechanisms to preserve the positivity of physical quantities such as density and pressure. Violations near strong shocks or near-vacuum states can cause loss of hyperbolicity and numerical blow-up. In this talk, we present a conservative sweeping framework that enforces positivity as a standalone post-processing step, without modifying the underlying spatial discretization. The framework generalizes a scalar mass-redistribution procedure to nonlinear constraints, most notably pressure in the compressible Euler equations. It extends to any concave function of the conserved variables, and it uses the Zhangndash;Shu scaling limiter as a projection technique for nonlinear constraints. We demonstrate the method with a fifth-order finite difference WENO scheme on extreme compressible flows. Examples include high-Mach astrophysical jets and strong blast waves. The nonlinear extension may in principle require repeated passes, but even in these demanding regimes, one or two sweeps are sufficient. We then show how its non-intrusive design carries over to fully implicit continuous Galerkin discretizations, where it corrects large positivity violations while maintaining conservation. This is joint work with Chi-Wang Shu and Eirik Endeve. Wed, 2 Dec 2026 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7153 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7144 Relatore: Andrew Nugent; Provenienza: University College London; Data inizio: 2026-12-02; Ora inizio: 12.30; Referente interno: Giacomo Albi; Riassunto: This course will introduce interacting particle systems (models of many interacting animals, individuals or cells) with particular application to opinion formation. We will investigate how a population of individuals forms into distinct opinion clusters, leading to either consensus or polarisation. A variety of modelling techniques will be covered including stochastic agent-based models, ordinary differential equations, static and dynamic networks, and large-population mean field limits. We will examine model behaviours both analytically and computationally in each setting, as well as discussing the connections between these modelling approaches and which questions they are/aren#39;t suited to addressing. The modelling techniques we will cover are also useful in many other settings and we will conclude the course by looking at some alternative applications. SCHEDULE: 02/12. 12:30 - 14:30 Aula I 03/12. 15:30-17:30 Aula T02.a 05/12. 08:30 -10:30, Aua G Contacts: Paolo Dai Pra (paolo.daipra@univr.it)/ Giacomo Albi (giacomo.albi@univr.it). Wed, 2 Dec 2026 12:30:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7144 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7149 Relatore: Dirk Pattinson; Provenienza: Australian National University; Data inizio: 2026-12-02; Ora inizio: 16.30; Note orario: Aula G (solo presenza); Referente interno: Peter Michael Schuster; Riassunto: We investigate a representation of computable functions as total functions over the set of finite and infinite sequences of elements from {0,1}. In this model, infinite sequences are interpreted as non-terminating computations, while finite sequences represent the sum of their digits. We introduce a new definition principle, function space corecursion, which generalizes both minimization and primitive recursion. This defines the class of computable corecursive functions, which is closed under composition and function space corecursion. We prove that computable corecursive functions represent all partial recursive functions and demonstratemdash;by translating them into the untyped lambda calculusmdash;that all such functions are indeed computable. Finally, we outline how this representation of computable functions can be further developed into an algebraic approach to computability and complexity. Prof. Pattinson currently is visiting professor within the University of Verona#39;s internationalisation programme PIA. Breve CV: Dirk Pattinson says he is a mathematician turned computer scientist. Before joining Australian National University he was senior lecturer at Imperial College London, lecturer at the University of Leicester and research associate at the University of Munich. Wed, 2 Dec 2026 16:30:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7149 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7148 Relatore: Dolors Herbera; Provenienza: Universitat Autònoma Barcelona; Data inizio: 2027-01-12; Ora inizio: 10.00; Note orario: Sala Riunioni; Referente interno: Lidia Angeleri; Riassunto: Minicorso Free Ideal Rings (1 CFU). Tue, 12 Jan 2027 10:00:00 +0100 https://www.di.univr.it/?ent=seminario&lang=en&rss=0&id=7148