Nosotros
Pregrado
Postgrado
Educación Continua
Investigación
Difusión
Contacto
Nosotros
Nosotros
Dirección
Coordinaciones
Académicas/os
Equipo
Reconocimientos
Campus
Centro de Estudiantes
Bolsa de Trabajo
Pregrado
Pregrado
Nuestra Carrera
Malla Curricular
Admisión
Académicas/os
Equipo
Postgrado
Postgrado
Magíster en TI
Magíster en Ciencias
Doctorado
Becas
Registro de Tesis
Claustro
Equipo
Protocolos
Guía para el Estudiante
Educación Continua
Educación Continua
Magíster en TI
Diplomas
Bootcamps
Cursos
Programas Corporativos
Académicas/os
Equipo
Investigación
Investigación
Áreas
Laboratorios
Publicaciones
Fondecyt
Fondef
Reportes Técnicos
Difusión
Difusión
Noticias
Eventos
Revista
Videos
Difusión
Noticias
Eventos
Revista
Videos
Eventos
2023
2022
2021
2020
2019
2018
2017
Marzo
Marzo
Jueves 02 de marzo de 2023 | 11:00
CHARLA: "BUILDING A VERIFICATION INFRASTRUCTURE FOR PROBABILISTIC PROGRAMS"
Philipp Schroer (PhD student, RWTH Aachen University, Germany)
Auditorio Ramón Picarte
Jueves 02 de marzo de 2023 | 14:30
CHARLA: "CERTIFICATES FOR PROBABILISTIC PUSHDOWN AUTOMATA VIA OPTIMISTIC VALUE ITERATION"
Tobias Winkler (PhD student, RWTH Aachen University, Germany)
Auditorio Ramón Picarte
Enero
Enero
Miércoles 11 de enero de 2023 | 18:00
WEBINAR BOOTCAMPS UNIVERSIDAD DE CHILE: "REINVÉNTATE Y ALCANZA NUEVAS OPORTUNIDADES"
Formulario de Registro
© 2022 Departamento de Ciencias de la Computación, Universidad de Chile
🔐