Pablo Barceló liderará la organización de LICS 2027
El próximo año se realizará la versión número 42 del foro Logic in Computer Science (LICS), organizado por la Association for Computing Machinery (ACM) y el Institute of Electrical and Electronics Engineers (IEEE). Se trata del simposio más importante del mundo sobre lógica y ciencia de la computación, el cual se efectuará en Montreal (Canadá) y tendrá como co chair a Pablo Barceló, académico del Instituto de Ingeniería Matemática y Computacional UC que hoy, además, está a cargo de la Dirección de IA de la Vicerrectoría de Inteligencia Digital (VRID); y también es investigador del Instituto Milenio Fundamentos de los Datos y CENIA.
LICS es un foro internacional anual que explora diversos aspectos teóricos y prácticos en el ámbito de la ciencia de la computación. Los temas que se abordan abarcan desde teoría de autómatas, modelos y lógicas categóricas, teoría de bases de datos, representación y razonamiento del conocimiento, aspectos lógicos de la inteligencia artificial y la computación cuántica, bioinformática y semántica de lenguajes de programación, entre otros ámbitos.
El académico cumplirá su rol de co chair junto a Alexandra Silva (Universidad de Cornell, EEUU). Ambos estarán encargados de escoger al comité de programa del simposio, conformado por diversos científicos que a su vez se dedican a seleccionar los artículos que se aceptan en el simposio 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 a 60.
Debido a la responsabilidad que implica, Pablo Barceló indica que es un gran logro ser nombrado como chair en este tipo de conferencia. De hecho, 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. Además, el académico será el primer latinoamericano en asumir este rol.
“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 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”, indica Barceló.
El rol de la lógica
El doctor en ciencia de la computación de la Universidad de Toronto 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. Es el caso de las bases de datos, la verificación formal, la inteligencia artificial y los lenguajes de programación”. Por eso, Barceló 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”.
Cabe mencionar que, 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.
Fuente: IMC UC