SEFM 2019
SEFM 2019 | |
---|---|
17th International Conference on Software Engineering and Formal Methods
| |
Event in series | SEFM |
Dates | 2019/09/16 (iCal) - 2019/09/20 |
Homepage: | https://sefm2019.inria.fr/ |
Twitter account: | @sefm_conf |
Location | |
Location: | Oslo, Norway |
Papers: | Submitted 89 / Accepted 27 (30.3 %) |
Committees | |
Organizers: | Gwen Salaün, Peter Ölveczky, Olaf Owe, Daniel Fava |
PC chairs: | Peter Ölveczky, Gwen Salaün |
Workshop chairs: | Javier Cámara, Martin Steffen |
Keynote speaker: | Wil van der Aalst, David Basin, Koushik Sen |
Table of Contents | |
Tweets by @sefm_conf | |