19th International Symposium on Formal Methods


ESSS 2013 Location

The Centre Culturel de Rencontre Abbaye de Neumünster (CCRN), a major historical site of Luxembourg City, is located in the old quarters on an itinerary classified as World Heritage by the UNESCO. Since May 2004, Neumünster has been opened to the public as a meeting place and a cultural centre.

Centre Culturel de Rencontre
Abbaye de Neumünster
28, rue Münster
L-2160 Luxembourg

Abbaye de Neumünster

ICST 2013 will be held in the Abbaye de Neumünster. (Google Maps)