cbc January 2025

cbc@software.imdea.org

2 participants
5 discussions

Welcome to the Correctness by Construction course
by Manuel Carro 27 Jan '25

27 Jan '25

Hi! If you receive this email, you have registered for the Correctness by Construction course. This course is taught in three different master programs: MFII, EMSE, and MUSS. In addition, it is part of the 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(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. 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*. -- Manuel Carro : manuel.carro(a){upm.es,imdea.org} Associate Professor, School of CS, UPM : http://www.fi.upm.es Director, IMDEA Software Institute : https://software.imdea.org Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Tercer intento
by Manuel Carro 27 Jan '25

27 Jan '25

1 0

A test, again
by Manuel Carro 27 Jan '25

27 Jan '25

Let us see if this goes through

1 0

This post is a test
by Manuel Carro 27 Jan '25

27 Jan '25

I want to check if external users can successfully post.

1 0

Re: Welcome to the "cbc" mailing list
by Manuel Carro 27 Jan '25

27 Jan '25

This one goes to cbc@... On Mon, Jan 27, 2025 at 5:28 PM Manuel Carro <carro.manuel(a)gmail.com> wrote: > Thanks, professor! > > On Mon, Jan 27, 2025 at 5:26 PM <cbc-request(a)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(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. 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 >> >

1 0

2026

2025

2024

2023

2022

2021

2020

cbc January 2025