FOSSACS 2011 - 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences (CC, ESOP, FASE, FOSSACS, and TACAS) accompanied by satellite workshops and other events. ETAPS 2011 is the forteenth event in the series.