Thanks, professor!

On Mon, Jan 27, 2025 at 5:26 PM <cbc-request@software.imdea.org> wrote:

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 send messages to the mailing list
using the  address

                         cbc@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.  This 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
this course know that this message has been sent.

The lectures will take place in the Montegancedo Campus of UPM on
Wednesdays from 3pm to 6pm at classroom 6205 (building 6, level 2,
room  05).

The first lecture will take place on *February 5th*.

Best,

Manuel Carro