Logical Reasoning for Program Verification and Synthesis

Room change for 6th December

Written on 05.12.2024 15:50 by Rayna Dimitrova

Dear Students,

our meeting this week (December 6th) will be in lecture hall 0.05, E9.1 (CISPA Building C0).

See you there,

Rayna