Investigador IMFD será presentador en importante conferencia sobre lógica y autómatas
La edición 2024 de Highlights se desarrollará entre el 16 y el 20 de septiembre en la Universidad de Bordeaux (Francia). La charla que dictará Pablo Barceló abarcará tres casos de estudio que resaltan el rol clave de la lógica para mejorar la comprensión de las arquitecturas modernas de aprendizaje automático. El Laboratoire Bordelais de…