• 16:00: Margherita Zorzi. Compositional theories for embedded programming.