Kalendarium 22 November Tid: 2024-11-22 13:15 till 15:00 Disputation Idriss Riouak's PhD defence: Towards Declarative Specification of Static Analysis for Programming Tools
