en Charla |

Tendiendo puentes sobre aguas turbulentas: comunicando representaciones no ejecutables y representaciones ejecutables en Isabelle/HOL

 

Ponente: Jesús María Aransay Azofra (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 4 de mayo, 12:00