Melissa Antonelli (Department of Computer Science – University of Helsinki) will lead a Philtech seminar series titled
LOGICAL APPROACHES TO QUANTITATIVE COMPUTATION.
The seminars will be held in September and October at Sala Martinetti – Via Festa del Perdono 7 – Milan.
- September 18, 2025, 15:00 – 17:00 – New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations.
- September 25, 2025, 15:00 – 17:00 – On Probabilistic and Counting Computation: A Historical Overview.
- October 02, 2025, 15:00 – 17:00 – On counting propositional logic and Wagner’s hierarchy.
