This Monday 27th (October) at 15:00 we will have another Dynamic Logic Working Session. This time, Stefan will present a survey on “Approaches to modeling questions“.
The meeting will take place in room 1.14 of the P building (Euclides).
This Monday 27th (October) at 15:00 we will have another Dynamic Logic Working Session. This time, Stefan will present a survey on “Approaches to modeling questions“.
The meeting will take place in room 1.14 of the P building (Euclides).