Lista de noticias
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/
Celebramos a las mujeres en la ciencia, la tecnología, la ingeniería y las matemáticas.
Talleres lúdicos y experiencias STEM para niñas de 09 a 12 años.
*Sábado 3 de octubre.
*Horario 09-30 a 13-00.
*Facultad de Ciencias - UDELAR.
Inscripción libre y gratuita. Origami, juegos y más.
La II Jornada Académica de Hidrógeno Verde reunirá a estudiantes, docentes, investigadores, empresas y público general en un espacio de intercambio sobre el desarrollo del hidrógeno verde y sus derivados en Uruguay. El evento será el 1 al 2 de octubre de 2026 en UTEC Durazno.
El encuentro busca promover la discusión sobre los avances alcanzados en el país desde la primera edición de la jornada, incorporando las dimensiones académica, tecnológica, social, empresarial y gubernamental. El eje estará puesto en la presentación de proyectos desarrollados por investigadores nacionales y en el intercambio entre distintos actores vinculados al desarrollo del sector.
En particular, se destacará la colaboración entre la Universidad de la República (Udelar) y la Universidad Tecnológica (UTEC), que dio lugar al primer laboratorio de hidrógeno verde a escala piloto para enseñanza e investigación en Uruguay.
Durante dos jornadas participarán científicos de distintas partes del país que han abordado la temática desde perspectivas técnicas, ambientales y sociales. La programación incluirá conferencias magistrales, mesas de discusión con representantes del sector público, privado, agencias de financiamiento y la academia, además de instancias de visita a la planta piloto de hidrógeno.
La actividad cuenta con el auspicio de la Facultad de Ingeniería de la Universidad de la República (FIng-Udelar), en el marco de su compromiso con la investigación, la formación y la articulación con distintos actores vinculados a los desafíos de la transición energética.
Programa y más información
