Lista de noticias
La Unidad de Gestión de Infraestructura (UGI) presenta una nueva edición de su informativo, en donde se comparte información sobre los trabajos de limpiezas, reparaciones, proyectos, mantenimiento, entre otros.
Es posible acceder al informativo en el siguiente link:
https://www.fing.edu.uy/sites/default/files/2026-09/2026-09-informativo-ugi.pdf
Mas info de la UGI en el link:
https://www.fing.edu.uy/es/node/51118
El lunes 28/09/26 tendremos la 10a sesión del Seminario 2026, con la presentación de Nicolás Monzón
Título: Un cálculo lambda de control cuántico con múltiples bases de medición
Lugar: sala de seminarios del INCO
Fecha y hora: Lunes 28/09/2026, 16hs.
Resúmen: Nicolás Monzón presentará Lambda-SX, un cálculo lambda cuántico tipado que admite múltiples bases de medición. Al rastrear la duplicabilidad con respecto a bases arbitrarias dentro del sistema de tipos, Lambda-SX permite un control más flexible y un razonamiento composicional sobre las mediciones. Formalizamos su sintaxis, reglas de tipado, subtipado y semántica operacional, y establecemos sus principales propiedades metateóricas. Esta prueba de concepto demuestra que el soporte para múltiples bases puede integrarse de manera coherente en la disciplina de tipos de los lenguajes de programación cuántica.
Más información en la página del Seminario del Instituto de Computación
El llamado a los premios será realizado por el Consejo Científico del Área Informática (CCA) cada año. La edición 2026 comprenderá las tesis de Maestría defendidas entre el 1 de octubre de 2024 y el 30 de septiembre de 2026. El llamado permanecerá abierto del 21 de septiembre al 15 de octubre de 2026 y las aspiraciones serán recibidas por la Secretaria del Área. No se admitirán, bajo ninguna circunstancia, presentaciones fuera del plazo estipulado o la entrega incompleta de la documentación exigida.
Bases completas del llamado: aquí
Más información en: https://www.pedeciba.edu.uy/es/llamado/premio-tesis-de-maestria-2026-area-informatica/