Investigador UC liderará el simposio de lógica y ciencias de la computación más importante del mundo

El foro Logic in Computer Science (LICS) es un encuentro internacional donde cada año se abordan temas centrales del área de la lógica y ciencia de la computación, desde computación cuántica e inteligencia artificial, hasta teoría de bases de datos, bioinformática y semántica de lenguajes de programación, entre otros.

La versión número 42 de este foro –que organiza la Association for Computing Machinery (ACM) y el Institute of Electrical and Electronics Engineers (IEEE)– se realizará en 2027 en Montreal, Canadá, y tendrá como co chair al académico del Instituto de Ingeniería Matemática y Computacional UC Pablo Barceló, quien además está a cargo de la Dirección de IA de la Vicerrectoría de Inteligencia Digital (VRID).

El académico será el primer latinoamericano en asumir este rol, que cumplirá junto a Alexandra Silva, de la Universidad de Cornell, Estados Unidos. Ambos estarán encargados de escoger al comité de programa del simposio, conformado por científicos que, a su vez, se dedican a seleccionar los artículos que se aceptan y a diseñar el programa final del evento.

La labor de cada co chair es dirigir a este grupo, además de tener la última palabra sobre los papers que serán incorporados: normalmente llegan cerca de 300 trabajos y se eligen entre 50 y 60.

Debido a la responsabilidad que implica, constituye un gran logro ser nombrado como chair en esta conferencia. Quienes han cumplido ese rol suelen ser líderes en sus áreas de investigación y no sólo poseen una visibilidad científica debido a su trabajo, sino que también han cooperado a crear comunidad en el área mediante la creación de redes.

“LICS es una de las conferencias que lidera el ámbito de la lógica y la ciencia de la computación teórica y un foro central para el trabajo fundamental sobre las matemáticas de la computación. Es un gran honor para mí; he admirado a la comunidad de LICS por muchos años y me siento verdaderamente privilegiado de poder servirle en este rol. Haré todo lo posible para ayudar a organizar un programa inspirador para la conferencia”, comenta Barceló.

El rol de la lógica dentro de la computación

El doctor en Ciencia de la Computación de la Universidad de Toronto e investigador del Centro Nacional de Inteligencia Artificial (CENIA) y del Instituto Milenio Fundamentos de los Datos (IMFD), señala que la “lógica no es sólo un área de interés en sí misma en la computación, sino que además es la base de muchas áreas dentro de este campo”, como las bases de datos, la verificación formal, la inteligencia artificial y los lenguajes de programación. Por eso, explica que se suele decir que “mientras para los ingenieros lo más importante en matemáticas es el cálculo diferencial e integral, para la gente de la computación los fundamentos de este campo están en la lógica”.

Barceló comenta que los desarrollos teóricos más importantes en el área de la lógica, que son transversales a muchas áreas de la computación, comúnmente se publican en LICS: “Se trata de una conferencia sumamente amplia, porque no sólo interesa la lógica en sí, sino que también sus usos en diferentes áreas de la computación. Siempre pensando en aplicaciones muy fundamentales, desarrollos matemáticos muy profundos que generen nuevas perspectivas o muestren resultados sumamente robustos”.

Como todos los años, en LICS se entregará el “Test of Time Award” a un grupo selecto de papers que han tenido un impacto esencial desde su inclusión en las colecciones de trabajos aceptados en la conferencia hace 20 años. Además, la publicación más destacada perteneciente a un estudiante recibirá el premio Stephen C. Kleene, bautizado con ese nombre en honor al fallecido matemático estadounidense que ayudó a fundar la rama de la lógica matemática conocida como teoría de la recursión. Esa idea, entre otras, contribuyó a establecer los fundamentos de la teoría de la computación.