Entre os dias 06 e 10 de outubro próximos, serão realizadas duas conferências internacionais na área de lógica e semântica de programas no nosso Departamento, apoiadas pela PPGI. Além das conferências, também serão realizados diversos tutoriais, A programação completa pode ser conferida em:

 

https://cicm-conference.org/2025/cicm.php?event=&menu=program