Aleks Nanevski investigador en Instituto IMDEA Software fue invitado a impartir una clase en Conference on Mathematical Foundations of Program Semantics 2015 (MFPS), que tuvo lugar el pasado mes de Junio en Nijmegen, Holanda. La clase abarcó temas como semántica de programas concurrentes y lógica de separación.
Más información aquí.
