Difference between revisions of "IFM 2019"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 12: Line 12:
 
|Accepted short papers=3
 
|Accepted short papers=3
 
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-34968-4#toc
 
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-34968-4#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 2019
15th International Conference on Integrated Formal Methods
Event in series IFM
Dates 2019/12/02 (iCal) - 2019/12/06
Location
Location: Bergen, Norway
Loading map...

Accepted short papers: 3
Papers: Submitted 95 / Accepted 25 (26.3 %)
Table of Contents