Difference between revisions of "SEFM 2018"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 16: | Line 16: | ||
|Title =16th International Conference on Software Engineering and Formal Methods | |Title =16th International Conference on Software Engineering and Formal Methods | ||
|Accepted papers=17 | |Accepted papers=17 | ||
− | |Submitted papers=58}} | + | |Submitted papers=58 |
+ | }} | ||
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | <!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | ||
Latest revision as of 04:27, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at SEFM 2018/rating
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: | FR/OCC/Toulouse, FR/OCC, FR |
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| colspan="2" style="padding-top: 2px; " | |