FACS 2011
8th International Symposium on Formal Aspects of Component Software

Oslo, Norway, September 14-16, 2011

The FACS 2011 Best Paper Award was awarded to the paper

A Modal Specification Theory for Components with Data

by Sebastian Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski.

Our sponsors:

The Research Council of Norway      The Department of Informatics      The University of Oslo       Visit Oslo