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á)…
