AI research for climate change and environmental sustainability - Lecture 1
By Claire Monteleoni
AI research for climate change and environmental sustainability - Lecture 2
By Claire Monteleoni
AI research for climate change and environmental sustainability - Lecture 3
By Claire Monteleoni
Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen
Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé