Difference between revisions of "SEFM 2018"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=SEFM 2018 |Title=16th International Conference on Software Engineering and Formal Methods |Series=SEFM |Type=Conference |Superevent=STAF 2018 |Start date=2018...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| Line 15: | Line 15: | ||
|Submitted papers=58 | |Submitted papers=58 | ||
|Accepted papers=17 | |Accepted papers=17 | ||
| + | |pageCreator=Birgit.Hofmann | ||
| + | |pageEditor=Birgit.Hofmann | ||
| + | |contributionType=1 | ||
}} | }} | ||
<!-- 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 19:59, 1 April 2022
| 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 |
| 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 | |
The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.