Difference between revisions of "IFM 2018"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 12: Line 12:
 
|Accepted short papers=5
 
|Accepted short papers=5
 
|has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-98938-9#toc
 
|has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-98938-9#toc
 +
|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:52, 1 April 2022

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
Loading map...

Accepted short papers: 5
Papers: Submitted 60 / Accepted 17 (28.3 %)
Table of Contents