(Please notice that the program may be subject to changes)

Wednesday, September 6

Thursday, September 7

Friday, September 8

Proceedings - Online version

Online version of the proceedings of SEFM 2017 is available for registered participants at this link.

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