Pablo Barceló en LICS 2023: el simposio más importante del mundo sobre lógica y ciencia de la computación La versión número 38 del evento Logic in Computer Science se efectuará […]
Seminarios de Investigación IMFD 2022: con la interdisciplina como foco principal Diciembre 2022.- Los Seminarios de Investigación IMFD tienen como objetivo promover el conocimiento de los diferentes temas de trabajo […]
Leer más… from Seminarios de Investigación IMFD 2022: con la interdisciplina como foco principal
Workshop PE2 y PE3 en Valparaíso Diciembre, 2022.- Con productivas reuniones de trabajo, en las cuales los y las participantes se dividieron por temas de interés y especialización, culminó el […]
Exitoso encuentro ChileWiC 2022 Diciembre, 2022.- Consolidando la relevancia de los modelos a seguir y la colaboración en la comunidad de mujeres que trabajan en computación, informática y otras STEM, […]
Jocelyn Dunstan, investigadora IMFD, es reconocida por la Academia de Ciencias Jocelyn Dunstan es Licenciada y Magíster en Física de la Universidad de Chile y Doctora en Matemática Aplicada por […]
Leer más… from Jocelyn Dunstan, investigadora IMFD, es reconocida por la Academia de Ciencias
Académico UAI Naim Bro se incorpora como investigador joven al IMFD Diciembre de 2022.- Naim Bro, Profesor Asistente en la Escuela de Gobierno de la Universidad Adolfo Ibáñez, se ha […]
Leer más… from Académico UAI Naim Bro se incorpora como investigador joven al IMFD
Con éxito culmina evaluación de primeros cinco años e IMFD es renovado por un nuevo periodo Diciembre de 2023.- El Instituto Milenio Fundamentos de los Datos recibió la renovación de […]
10 / 01 / 2023MIT–Chile Human-Centered AI & Visualization Research Workshop! RESUMEN MIT–Chile Human-Centered AI & Visualization Research Workshop is a collaborative initiative by MIT, PUC, CENIA, iHealth, and IMFD […]
Leer más… from 10/01/2023 MIT–Chile Human-Centered AI & Visualization Research Workshop!
04 / 01 / 2023Primera Conferencia Chilena de Redes Sociales La Primera Conferencia Chilena de Redes Sociales, organizada por la Chilean Society for Social Network Science (Chisconet) se realizará los días miércoles 4, […]
Leer más… from 04/01/2023 Primera Conferencia Chilena de Redes Sociales
22/06/2018 Éric Tanter, U. of Chile: «A (Way Too) Short Introduction to Coq» Abstract: Coq is a very popular proof assistant, used in a variety of academic and industrial projects, for […]
Leer más… from 22/06/2018 Éric Tanter, U. of Chile: «A (Way Too) Short Introduction to Coq»
