Difference between revisions of "IFM 2017"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=IFM 2017 |Title=13th International Conference on integrated Formal Methods |Series=IFM |Type=Conference |Start date=2017/09/18 |End date=2017/09/22 |City=Turi...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=IFM 2017 | |Acronym=IFM 2017 | ||
| − | |Title=13th International Conference on | + | |Title=13th International Conference on Integrated Formal Methods |
|Series=IFM | |Series=IFM | ||
|Type=Conference | |Type=Conference | ||
| Line 12: | Line 12: | ||
|Accepted short papers=4 | |Accepted short papers=4 | ||
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-66845-1#toc | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-66845-1#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 | ||