Hi. If you receive this email, you have registered for the Correctness by Construction course. It is taught in three different master programs: MFII, EMSE, and MUSS, plus it is part of eligible requirements for the DSSC PhD program.
The mailing list and the web page will be our primary communication means outside the classroom. The web page is located at
https://wp.software.imdea.org/cbc/
and you can send messages to the mailing list using the address
cbc@software.imdea.org
Note that a message to the mailing list can reach *all* of your classmates. You are free to use it, but only for messages that should reach all of them. The mailing list uses the official mail addresses provided by the universities where you registered. Please make sure you read it frequently. Please let your classmates who are registered in CbC know that this message has been sent.
The lectures will take place in the Montegancedo Campus of UPM every Wednesday from 4pm to 7pm at classroom 6306 (building 6, level 3, room 06). The first lecture will take place next Wednesday, February 1st.
Best,