| Date | Seminar | Seminar series |
|---|---|---|
| 2025-12-01 10:30 12/1/25 |
Introduction to Category Theory (and Categorical Logic) [1 ECTS, SSD: Mat/01]
Timetable:
h 10:30
(see after abstract for timetable and venue)
|
Speaker:
Matteo Spadetto
(LS2N, University of Nantes)
|
Mathematics and Data Science mini courses 2025/2026 |
| 2025-12-01 16:30 12/1/25 |
The homotopy theoretic point of view on dependent types
Timetable:
h 16:30
Sala Verde
|
Speaker:
Matteo Spadetto
(LS2N of the University of Nantes)
|
Seminari di Logica |
| 2025-12-03 15:00 12/3/25 |
Conservative Extensions of Intuitionistic Logic with Epsilon Terms over Predicate Abstraction
Timetable:
h 15:00
Sala Verde
|
Speaker:
Elio La Rosa
(MCMP at Ludwig-Maximilians-Universität München)
|
Seminari di Logica |
| 2025-12-09 14:00 12/9/25 |
A journey between sky and sea: recent research on transportation cybersecurity
Timetable:
h 14:00
Sala Verde (presenza)
|
Speaker:
Alessio Merlo//Giacomo Longo
( University School of Advanced Defense Studies (Roma))
|
Seminari del Dipartimento di Informatica |
| 2025-12-09 14:30 12/9/25 |
Advanced Algorithms to understand regulatory in personal genomics
Timetable:
h 14:30
Aula T.06
|
Speaker:
Luca Pinello
(Harvard University)
|
Medical bioinformatics mini courses |
| 2025-12-10 09:30 12/10/25 |
Asymptotic Preserving schemes: bridging scales in fluid dynamics
Timetable:
h 09:30
l'evento si ripete il 11/12/2025 alle 9:00
|
Speaker:
Walter Boscheri
(Université Savoie Mont Blanc and CNRS (France))
|
Mathematics and Data Science mini courses 2025/2026 |
| 2025-12-10 12/10/25 |
Applied Large Language Models: Hands-on
Timetable:
|
Speaker:
Riccardo Sartea
(Amazon)
|
Artificial Intelligence mini courses |
| 2025-12-12 14:00 12/12/25 |
"Decoding Data and Driving Action: NLP, LLMs, and Agentic Recommenders"
Timetable:
h 14:00
Sala Verde (presenza)
|
Speaker:
RIccardo Sartea
(Amazon)
|
Seminari del Dipartimento di Informatica |
| 2025-12-15 14:30 12/15/25 |
Computational methods for data-driven optimal control (1 ECTS, SSD: MAT08)
Timetable:
h 14:30
da definire
|
Speaker:
Dante Kalise
(Imperial College London)
|
Mathematics and Data Science mini courses 2025/2026 |
| 2025-12-16 08:30 12/16/25 |
Optimal Transport and applications to Machine Learning (1 ECTS, SSD: MAT05)
Timetable:
h 08:30
Aula G
|
Speaker:
Marcello Carioni
(University of Twente)
|
Mathematics and Data Science mini courses 2025/2026 |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
