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,