[cbc] MFII - Correctness by Construction: place

I've received positive answers from everyone. Please at the IMDEA Software Institute (https://software.imdea.org/contact_and_directions/directions.html) at 3pm. The reception will have your names and will give you visitor cards to access the building. Go to meeting room 379 (level 3); use the door on your left when you leave the elevator.

Cheers,

Manuel

Manuel Carro manuel.carro@imdea.org writes:

Hello everyone. I still need an answer related to question (3) below:

Is everyone OK with having the lectures at the IMDEA Software Institute? As I said, it is some 200m from the UPM School and we will likely be more comfortable. Please reply to me, either positively or negatively, so that I can send you coordinates.

Best,

Manuel