cbc January 2020

cbc@software.imdea.org

1 participants
3 discussions

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

2025

2024

2023

2022

2021

2020

cbc January 2020