El Grupo de Lógica Algebraica del NUCOMPA, de la Facultad de Ciencias Exactas de la UNICEN, forma parte del proyecto internacional SemPER – Semantics, Proofs, and Effective Reasoning, financiado por la Unión Europea en el marco de Horizon Europe – Marie Skłodowska-Curie Actions (MSCA) Staff Exchanges.
El proyecto, que comenzó en junio de 2026 y se extenderá hasta mayo de 2030, reúne a 30 instituciones de 16 países de cinco continentes, con el objetivo de avanzar en el desarrollo de métodos de razonamiento efectivos que integren semántica, sistemas de prueba y herramientas computacionales, con aplicaciones en áreas como la inteligencia artificial, el razonamiento jurídico y el procesamiento del lenguaje natural.
La participación argentina se canaliza a través del CONICET, que integra el consorcio como Associated Partner. En este marco, el equipo del Grupo de Lógica Algebraica del NUCOMPA está conformado por el Dr. Sergio Celani, la Dra. Paula Menchón, el Dr. William Zuluaga y el Dr. Agustín Nagy, junto a las becarias Carolina Molano Castaño y Valeria Miguelez.
Investigación, formación y movilidad internacional
Uno de los aspectos centrales de SemPER es la modalidad MSCA Staff Exchanges, que contempla intercambios temporales de investigadores y becarios entre las instituciones que integran la red. Estas movilidades permitirán realizar estadías de investigación, recibir investigadores visitantes y participar de actividades de formación, escuelas y espacios de capacitación junto a especialistas de distintas partes del mundo.
Para el NUCOMPA, la participación en este proyecto representa una oportunidad para fortalecer sus vínculos científicos internacionales, promover la formación de recursos humanos y avanzar en la producción científica conjunta, articulando las líneas de investigación del grupo con equipos especializados en lógica algebraica, semántica, teoría de pruebas y razonamiento automatizado.
Además, la incorporación a una red de investigación con presencia en Europa, América, Asia, África y Oceanía contribuye a fortalecer la dimensión internacional de la investigación que se desarrolla en la Facultad y a generar nuevos vínculos de cooperación científica.
Desde la Facultad de Ciencias Exactas celebramos la participación del NUCOMPA en SemPER, una iniciativa que combina investigación científica, formación y movilidad internacional, y que abre nuevas oportunidades para la colaboración de sus investigadores e investigadoras y becarios/as con grupos de reconocida trayectoria a nivel internacional.