كما شملت اﻷنشطة التي قام بها المعهد الدولي لتكنولوجيا البرامج الحاسوبية التابع للجامعة تنفيذ مشاريع تتعلق باﻻستنتاج الهندسي والبرامج الهندسية التي ترمي إلى تحديد لغة لمواصفات حوسبة هندسة البناء التي تميز ميدان المشاكل الهندسية.
Los proyectos relativos al razonamiento y los programas geométricos también formaron parte de las actividades que llevó a cabo el Instituto de Nuevas Tecnologías a fin de definir un lenguaje de especificación para la computación geométrica constructiva que caracteriza el ámbito de los problemas geométricos.