Seminari - Dipartimento Informatica validi dal 14.10.2026 al 14.10.2027. https://www.di.univr.it/?ent=seminario&lang=it&rss=0 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7116 Relatore: prof. Adriano Pisante; Provenienza: Sapienza Università, Roma; Data inizio: 2026-10-21; Ora inizio: 14.30; Note orario: Aula F; Referente interno: Giacomo Canevari; Riassunto: In this talk we will focus, for N greater than or equal to 2,on fractional W^{1-1/N, N}-maps from an (N - 1)-dimensional sphere into itself as traces of maps with finite energies modelled on the N-Dirichlet integral. We consider energy minimization among maps with trace of prescribed topological degree. Our goal is to prove existence and quantitative stability for minimizers in homotopy classes. Due to the lack of compact Sobolev embeddings and conformal invariance, minimizing sequences may fail to converge strongly, leading to a concentration-compactness alternative and bubbling phenomena. When they occur, these concentration effects are investigated using PDE tools like blow-up analysis and measure-theoretic tools such as Cartesian currents. Finally, we discuss genericity results under perturbations of the energy functional and we present some open problems. This is a joint ongoing work with Xavier Lamy (Toulouse). Wed, 21 Oct 2026 14:30:00 +0200 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7116 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7099 Relatore: Mauro Dalla Mura; Provenienza: Grenoble INP, FR; Data inizio: 2026-10-22; Ora inizio: 10.30; Referente interno: Giacomo Albi; Riassunto: This course introduces image reconstruction through theoretical and practical sessions. Participants will study image formation and degradation models, classical and learning-based reconstruction methods, and hybrid approaches such as Plug-and-Play, algorithm unrolling, and deep priors. Lectures and laboratory sessions provide a comprehensive overview of traditional and modern techniques for image reconstruction. Thursday 22/10 10:30-12:30, Room T.05, Ca#39; Vignal 3 Friday 23/10 10:30-12:30, Room C, Ca#39; Vignal 1 Thursday 29/10 10:30-12:30, Room T.05, Ca#39; Vignal 3 Further information: giacomo.albi@univr.it. Thu, 22 Oct 2026 10:30:00 +0200 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7099 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7102 Relatore: Dirk Pattinson; Provenienza: Australian National University (ANU); Data inizio: 2026-11-02; Note orario: orario da definire (novembre-dicembre); Referente interno: Peter Michael Schuster; Riassunto: Modal logic is an extension of propositional logic with operators that qualify in what way a statement can be true. For example, a sentence can lsquo;normallyrsquo; be true, or be lsquo;possiblyrsquo; or lsquo;likelyrsquo; true. We give an introduction to modal logic, with a particular emphasis on non-monotonic modal logicsmdash;systems that allow conclusions to be withdrawn in light of new information. We will cover key systems such as the logic of neccessity and possibility, but also default logic and probabilistic modal logic. We give semantics to the various logics in terms of possible world models, and ndash; based on the semantics ndash; investigate the mechanics of reasoning in the various different systems. The formal calculi that are of particular interest here are sequent and resolution calculi, as they directly give rise to decision procedures. We establish basic results such as completeness and cut-elimination. We conclude with applications in automated reasoning. and discuss the combination of modal logics and the computational complexity of decision procedures. Mon, 2 Nov 2026 00:00:00 +0100 https://www.di.univr.it/?ent=seminario&lang=it&rss=0&id=7102