El Lunes 28 de Marzo volvemos con fuerza con dos actividades cientitico-técnicas. La información de las dos actividades la podéis encontrar mas abajo.

Introducción a Git y Github para desarrollo colaborativo

• Ponente: Antonio García Domínguez. Senior Research Associate Department of Computer Science of the University of York.
• Hora: 10:30-12:30 horas
• Lugar: Aula FS17.
• Dirigido a: Alumnado de la asignatura Complejidad Computacional del Grado en Ingeniería Informática. Alumnado de cualquier Grado de Ingeniería. Cualquier persona interesada en el tema.
• Resumen: Al desarrollar software en equipo, es clave poder integrar el trabajo de cada uno de los participantes de manera eficiente y fiable, a la vez que se mantiene un histórico completo de las distintas versiones que se han ido realizando. Git es un sistema de control de versiones distribuido que resuelve estos problemas. Muchos usuarios de Git alojan su código en Github, una plataforma social que permite que desarrolladores de todo el mundo colaboren de forma cómoda. En esta charla se impartirán los fundamentos de Git necesarios para desarrollar software en equipo, y se describirán varias formas en las que Github facilita la colaboración y la distribución de los productos. Es aconsejable disponer de conocimientos básicos sobre programación y el uso de terminales en sistemas UNIX o Windows. El taller requerirá portátil y conexión a internet. Se recomienda traer instalado Git (véase https://git-scm.com/download).

Modelado y análisis (formal) de sistema cloud

• Ponente: Manuel Núñez, Catedrático en la Facultad de Informática de la Universidad Complutense de Madrid.
• Hora: 12:30-13:30 horas
• Lugar: Aula FS17.
• Dirigido a: Alumnado de la asignatura Complejidad Computacional del Grado en Ingeniería Informática. Alumnado del Grado en Ingeniería Informática, en general. Cualquier persona interesada en el tema.
• Resumen: El objetivo principal de esta charla es el de mostrar como los métodos formales se pueden utilizar para incrementar la fiabilidad de sistemas cloud. Además, la charla pretende motivar al oyente a que conozca y use métodos formales a la hora de desarrollar sistemas.