cbc

cbc@software.imdea.org

2 participants
125 discussions

Material & next lecture
by Manuel Carro 13 Feb '20

13 Feb '20

Hi. I have left at https://wp.software.imdea.org/cbc/ ("Course Log" section) the material for the last lecture, plus homework (to be turned in by Wed., Feb 26th, 3pm). More people have joined the lectures, and we won't fit in the meeting room we were using. Therefore, next Wednesday's lecture will take place in meeting room 302 (same level, in the corner by the kitchen). See you there. -- 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

Tomorrow's lecture
by Manuel Carro 11 Feb '20

11 Feb '20

This is a reminder that tomorrow we'll have a lecture again @ the IMDEA Software Institute, room 379, from 3pm to 6pm. If you bring a mug I'll treat you to coffee or tea (we try not to generate waste). Cheers, -- 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

CbC: from today's lecture
by Manuel 29 Jan '20

29 Jan '20

Some things from today: - If you want to register for the blockchain talks next Wednesday (Wed. 5th) @ IMDEA Software, please do so at https://www.eventbrite.es/e/entradas-reflections-on-blockchain-at-chainreac… - Since we did not find an alternative slot for next week's lecture, we are skipping it. - Please tell me if you would like to change the starting time of the lectures. - The web page for the course is at https://wp.software.imdea.org/cbc/ I assume you all have programming experience. If you are not strong in logic, please have a look at the recommended material. Best, Manuel

1 0

MFII - Correctness by Construction: intro y primeros pasos
by Manuel Carro 28 Jan '20

28 Jan '20

Hola a todos. Os escribo otra vez para coordinar el inicio de la asignatura de Correctness by Construction del MFII. 1.- Para estar seguro de que tenemos un canal de comunicación lo más fiable posible, me gustaría que os apuntáseis todos a la lista de correo de la asignatura a través del interfaz https://software.imdea.org/mailman/listinfo/cbc Usad, por favor, una dirección de correo que no os falle y que leáis con regularidad. 2.- Deberíamos tener la primera clase el próximo miércoles 29, de 3 a 6. Si alguno tiene algún problema, decidlo lo antes posible, por favor, para ver si es necesario y posible cambiarla. 3.- Como somos pocos, creo que estaríamos mucho más cómodos si usamos alguna sala de IMDEA Software en lugar de un aula de la Escuela. Para los que no lo conozcan, es un instituto de investigación en el mismo campus de la ETSIINF y a un par de cientos de metros de la Escuela. Creo que no tenéis actividades antes o después de la asignatura, así que no debería ser un problema logístico. Pero si eso es un problema para alguno, decídmelo, por favor. 4.- El próximo miércoles 5 por la tarde tengo un compromiso que me hace difícil (pero no imposible) poder impartir la clase. No sé vuestros horarios, así que si el 29 nos vemos en clase, una de las cosas que tenemos que hacer todos juntos es ver cómo recuperar esa clase. 5.- Estoy ultimando un sitio web para poner todo el material. No estoy utilizando el moodle / aula virtual de la UPM porque no todos estáis matriculados en la UPM y parece que hay problemas en abrir cuentas, etc. En cuanto lo tenga hecho os lo hago saber. Si tenéis cualquier consulta, etc. sugiero que os suscribáis a la lista y la enviéis a través de ella. Saludos, -- +-----------------------------------------------------------------------------+ | 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 3

Test - first message to the list
by Manuel 24 Jan '20

24 Jan '20

1 0

2026

2025

2024

2023

2022

2021

2020

cbc