El proyecto PICOCRYPT, liderado por el Instituto IMDEA de Software, garantizará la integridad, la privacidad y la eficacia del cálculo sobre los datos almacenados en la nube
El congreso, que tendrá lugar desde el 23 al 27 de mayo, ha publicado recientemente el listado de papers aceptados
Los miembros del Comité Ejecutivo de ALP son elegidos por votación popular dentro de la comunidad entre los candidatos propuestos por sus contribuciones y reconocimiento dentro de la programación lógica
"Relational logics for higher-order effectful programs"