Announcements
- FESCA'16 website has been moved to http://d3s.mff.cuni.cz/conferences/fesca/.
You can find all the relevant information there.
13th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 3rd, 2016, Eindhoven, Netherlands
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.