Difference between revisions of "IFM 2018"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
− | |||
|Acronym=IFM 2018 | |Acronym=IFM 2018 | ||
+ | |Title=14th International Conference on Integrated Formal Methods | ||
+ | |Series=IFM | ||
+ | |Type=Conference | ||
+ | |Start date=2018/09/05 | ||
|End date=2018/09/07 | |End date=2018/09/07 | ||
− | + | |City=Maynooth | |
− | + | |Country=Ireland | |
− | + | |Submitted papers=60 | |
− | |City | ||
− | | | ||
− | | | ||
|Accepted papers=17 | |Accepted papers=17 | ||
− | | | + | |Accepted short papers=5 |
+ | |has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-98938-9#toc | ||
}} | }} | ||
<!-- 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 |
Revision as of 23:51, 24 October 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at IFM 2018/rating
IFM 2018 | |
---|---|
14th International Conference on Integrated Formal Methods
| |
Event in series | IFM |
Dates | 2018/09/05 (iCal) - 2018/09/07 |
Location | |
Location: | Maynooth, Ireland |
Accepted short papers: | 5 |
Papers: | Submitted 60 / Accepted 17 (28.3 %) |
Table of Contents | |