SEFM 2018

From Openresearch
Jump to: navigation, search
SEFM 2018
16th International Conference on Software Engineering and Formal Methods
Event in series SEFM
Subevent of STAF 2018
Dates 2018/06/27 (iCal) - 2018/06/29
Homepage: https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
Twitter account: ‎@sefm_conf
Location
Location: Toulouse, France
Loading map...

Papers: Submitted 58 / Accepted 17 (29.3 %)
Committees
PC chairs: Einar Broch Johnsen, Ina Schaefer
Keynote speaker: Mark Harman, Andrzej Wasowski
Table of Contents
Tweets by ‎@sefm_conf


Event