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/
Please read it thoroughly and let me know if there is something unclear
(or just wrong). You can …
[View More]send messages to the mailing list using the
address
cbc(a)software.imdea.org
Messages to the mailing list will reach *all* of your classmates. You
are free to use it, but only for messages that can be read by everyone.
The mailing list uses the official mail addresses provided by the
university where you registered. Please make sure you read it
frequently. Please also 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 on
Wednesdays from 4pm to 7pm at classroom 6205 (building 6, level 2, room
05).
The first lecture will take place on *February 7th*. This somewhat late
date which is due to the need to synchronize with the MUSS master
program, which starts later than other master programs.
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]
