- Computer Science Laboratory LIP6 supports the Pink October campaign for breast cancer awareness.

GdT programmation / séminaire IRILL

RSS

Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob

Miércoles 14 de noviembre de 2012
Nicolas Pouillard (IT University of Copenhagen, DemTech project)



Más detalles aquí …
Emmanuel.Chailloux (at) nulllip6.fr