Visualización del Evento

Denominación del Curso: TOPICOS-AVANZADOS-DE-METODOS-FORMALES

Categorización: Perfeccionamiento

Fecha de Inicio: 23-09-2021

Responsable:

Dr. RIESCO Daniel

Colaboradores:

Dra. GARIS Ana Gabriela

Dr. VILALLONGA Gabriel

Coordinador:

Dra. GARIS Ana Gabriela

Descripción:

 

CONTENIDOS MÍNIMOS:

El curso estudia y profundiza en los fundamentos y la aplicación de los Métodos Formales. Un objetivo de los métodos formales es garantizar el correcto funcionamiento y desempeño de sistemas de software y por lo tanto resultan un área de conocimiento central en la carrera.

DESTINATARIOS Y REQUISITOS DE INSCRIPCIÓN:

Los aspirantes deben ser graduados con título universitario de grado. Profesionales en Informática y títulos de grado similares correspondientes a carreras con planes de estudio que impliquen 4 o más años de duración. Los aspirantes deben ser candidatos al Doctorado en Ingeniería Informática.

CUPO: mínimo: 5 - máximo: 10 personas

PROCESO DE ADMISIÓN: Se evaluará el CV de los postulantes y su formación previa. Se priorizará a los estudiantes quienes sean candidatos al Doctorado en Ingeniería Informática.

CRONOGRAMA DE ACTIVIDADES: 

Fecha

Tipo de actividad / temas a desarrollar

Docente/s responsable/s de la actividad

Ámbito/plataforma digital

23/09/2021

Clases teórico-prácticos presenciales

/ Unidad 1

Dr. Daniel Riesco

Plataforma Google Meet / Sala de Posgrado

24/09/2021

Clases teórico-prácticos presenciales

/ Unidad 1

Dr. Daniel Riesco

Plataforma Google Meet / Sala de Posgrado

1/10/2021

Clases teórico-prácticos presenciales

/ Unidad 2

Dra. Ana Garis

Plataforma Google Meet / Sala de Posgrado

2/10/2021

Clases teórico-prácticos presenciales

/ Unidad 2

Dra. Ana Garis

Plataforma Google Meet / Sala de Posgrado

LUGAR DE DICTADO: Dpto. de Informática - UNSL

ARANCEL GENERAL: Gratuito

Informes: agaris@gmail.com

Resolución de Protocolización: 1654/21