Section: Overall Objectives

Highlights of the Year

Moscova is proud of producing the following important results in 2011:

• 1 PhD was defended, another one will be defended on February 8, 2012.

• 1 paper accepted at POPL 2012 (1 paper was accepted at POPL 2011).