En el próximo evento de HABLA Computing en el iLAB, contarán con Alex Gryzlov del IMDEA Software, en el que veremos cómo formalizar la noción de infinito en nuestros programas (streams, sistemas operativos, etc.) utilizando Agda como vehículo. Se trata de una charla presencial y en inglés.
¡¡¡MUY IMPORTANTE!!! Es obligatorio rellenar este formulario (nombre, apellidos e identificación) para poder acceder al Madrid International Lab. En ningún caso se utilizará esta información para fines comerciales y será eliminada una vez tenga lugar el evento.