FSEN

FSEN is a biennial conference organised by IPM, the Institute for Research in Fundamental Sciences in Iran, on formal methods in software engineering. It began in 2005 as the IPM International Workshop on Foundations of Software Engineering and became the International Conference on Fundamentals of Software Engineering from the second edition. Its proceedings appear in LNCS. Andrea Omicini served on the programme committee of the first four editions.