POLITEHNICA București l-a invitat pe profesorul Wei-Ngan Chin de la National University of Singapore pentru o prelegere despre verificarea programelor, structuri de date și funcții de ordin superior.
Evenimentul a adus în campus teme avansate de analiză și optimizare software, sisteme de tipuri și verificare formală.