Difference between revisions of "SEFM 2019"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
Line 3: | Line 3: | ||
|Title=17th International Conference on Software Engineering and Formal Methods | |Title=17th International Conference on Software Engineering and Formal Methods | ||
|Series=SEFM | |Series=SEFM | ||
− | | | + | |Event type=Conference |
|Start date=2019/09/16 | |Start date=2019/09/16 | ||
|End date=2019/09/20 | |End date=2019/09/20 |
Latest revision as of 11:19, 8 March 2021
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 | |