Se invita a los alumnos a participar de Charla “Métodos Formales y Sistemas Distribuidos: Promela y UML“, que será dictada por el Sr. Cristian Vidal Silva, Ingeniero Civil en Computación, Master en Ciencias de la Computación, el día jueves 31 de mayo/2012 a las 11:30 hrs. lugar por confirmar.