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.
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(a)software.imdea.org
Note that a message to the mailing …
[View More]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 2.
There is at least one person who cannot join us next Wednesday. The
lecture will be streamed by Zoom. I will let you know which URL to use.
Best,
--
+-----------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) |
| Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain |
| Phone: +34-91-101-2202 ext 4140 |
[View Less]
