Seminari - Dipartimento Informatica validi dal 12.10.2026 al 12.10.2027. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=7082 Relatore: Loris Bazzani; Provenienza: University Verona; Data inizio: 2026-10-13; Ora inizio: 16.30; Note orario: Sala Verde (solo presenza); Referente interno: Alessandro Farinelli; Riassunto: Abstract : Today#39;s multimodal models are increasingly capable, yet they remain hard to steer: they are trained to answer in one shot, and when they get it wrong the user has no channel to correct, clarify, or guide them. I argue that interaction and control should be first-class design constraints, shaping both how we train models and how we evaluate them, rather than a thin interface layer added after training. My research agenda is framed around three pillars: controllable multimodal data generation for the long tail and for privacy-restricted domains, lightweight adaptation of models into vertical experts, and human-AI interaction and co-design. This talk discusses the first two only briefly and then goes deep into the third, dissecting two recent works. quot;Interactive Episodic Memory with User Feedbackquot; [1] addresses episodic memory with natural language queries over long egocentric videos (e.g., quot;Where did I place the mug?quot;), where real queries are ambiguous yet current methods answer one-shot. We introduce a new task, in which the user refines the prediction through feedback (e.g., quot;Before this. I#39;m looking for the big blue mug not the white onequot;), together with a lightweight training scheme and a plug-and-play module that retrofits existing models with the ability to use feedback. quot;Benchmarking Interaction, Beyond Policy: a Reproducible Benchmark for Collaborative Instance Object Navigationquot; [2] turns to embodied agents that must find a target described in natural language and can ask the human for clarification. We propose the first reproducible benchmark for Collaborative Instance Object Navigation, which disentangles two abilities that are usually conflated, navigating and knowing when and what to ask, and propose a dataset of quality-checked reasoning and question-asking traces. With this data we trained a model that is 3x smaller and 70x faster than existing modular methods that generalizes better to unseen objects and environments. [1] Interactive Episodic Memory with User Feedback. N. Subedi,L. Bazzani, Z. Al-Halah. CVPR 2026. https://arxiv.org/abs/2604.24893 [2] Benchmarking Interaction, Beyond Policy: a Reproducible Benchmark for Collaborative Instance Object Navigation.E. Zorzi, F. Taioli, Y. Wang, M. Cristani, A. Farinelli, A. Castellini,L. Bazzani. BMVC 2026. https://arxiv.org/abs/2604.00265 Bio : Loris Bazzani is an AI Research Leader with over 15 years of experience, spanning classical computer vision and machine learning to todayrsquo;s foundation and multimodal generative models. He is currently an adjunct professor at University at Verona and founding research leader at a stealth AI start-up. In his previous role as Principal Scientist at Amazon, he led core research and product efforts across Prime Video, Alexa, and shopping, co-developing architectures for video understanding, vision-language representation, Large Multimodal Models, and diffusion models. His work powered features such as live sports highlights, virtual try-on, interactive product recommendations, and shopping assistants, reaching millions of users and delivering significant business impact. Loris obtained his Ph.D. in Computer Science from the University of Verona (Italy) in 2012, supervised by Prof. Vittorio Murino and Prof. Marco Cristani. He held postdoctoral positions at Dartmouth College with Prof. Lorenzo Torresani, and at the Italian Institute of Technology with Prof. Vittorio Murino. His research has been published in top-tier venues including CVPR, ICCV, ECCV, and ICML, with 50+ publications and patents: https://baz.github.io/ . Tue, 13 Oct 2026 16:30:00 +0200 https://www.di.univr.it/?ent=seminario&rss=0&id=7082 https://www.di.univr.it/?ent=seminario&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&rss=0&id=7099 https://www.di.univr.it/?ent=seminario&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&rss=0&id=7102