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