Programme
(Please notice that the program may be subject to changes)
Wednesday, September 6
Wednesday, September 6
Thursday, September 7
Friday, September 8
Friday, September 8
Proceedings - Online version
Proceedings - Online version
Online version of the proceedings of SEFM 2017 is available for registered participants at this link.
Best Paper Award
Best Paper Award
The Program Committee of the 15th International Conference on Software Engineering and Formal Methods has granted the SEFM 2017 Best Paper Award to:
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory
Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel and Valérie Viet Triem Tong