EVTSIC track at INFORUM 2010

The second edition of the Portuguese symposium on Informatics will take place in Braga in September 2010.
The goal of this track is to bring together researchers from the critical software community, together with researchers working in rigorous development of software, to foster collaboration and to address the growing demand for the application of so-called formal methods in the critical systems arena. Cross-fertilisation between theory and practice is the main focus of the track, but both fundamental work and industry experience reports are welcome