cbc February 2021

cbc@software.imdea.org

1 participants
4 discussions

CbyC: First homework
by Manuel Carro 25 Feb '21

25 Feb '21

The first homework for the Correctness by Construction course is available at https://wp.software.imdea.org/cbc/2021/02/25/first-event-b-homework/ 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 |

1 0

CbyC: slides & video
by Manuel Carro 11 Feb '21

11 Feb '21

Links to slides & video for Feb 10's session are available @ the course website (https://wp.software.imdea.org/cbc/). The password to access the video is the same we used for the zoom session. Best, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Correctness by Construction: connection data for today's lecture
by Manuel 10 Feb '21

10 Feb '21

Hello everyone. The first lecture of the the Correctness by Construction course will take place today, February Wednesday 10, via Zoom. Please connect using the following data: https://zoom.us/j/9911012202 Password: CbyC Time: 4pm to 7pm The Zoom room will be available half an hour before the starting of the lecture in case you want to test your setup and make sure you can connect. I strongly advise to download the desktop application, rather than relying on the web-based interface. Please let you classmates know in case you think some of them is not reading / not receiving emails. Best regards, -- +-----------------------------------------------------------------------------+ | 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 |

1 0

Correctness by Construction: connection data for today's lecture
by Manuel 10 Feb '21

10 Feb '21

1 0

2025

2024

2023

2022

2021

2020

cbc February 2021