Investigadores del DCC participan en conferencia más importante de Lógica para Ciencia de la Computación


Compartir

 

En el contexto de la conferencia ACM/IEEE LICS 2014, que se lleva a cabo en Viena, el Profesor del DCC Pablo Barceló y el alumno de doctorado Pablo Muñoz presentaron el artículo "Graph logics with rational relations: The role of word combinatorics". Cabe notar que esta es la conferencia más importante de lógica para ciencia de la computación. La conferencia es parte de "Vienna Summer of Logic 2014", el evento más grande en la historia de la lógica. Consiste en 12 conferencias importantes, múltiples workshops y atrae a más de 2500 asistentes.