Pierre Jouvelot, research academics at Computer science Centre (MINES ParisTech - CRI) and Pierre Talpin, PhD MINES ParisTech, were prize-winners in june, in Dubrovnik, of the IEEE Logic in Computer Science (LICS) "Test-of-Time" Award, for the article: The Type and Efect Discipline published in 1992.
http://lii.rwth-aachen.de/lics/archive/test-of-time-award.html
©2009 Mines ParisTech
|