View source for IFM 2019

{{Event
|Acronym=IFM 2019
|Title=15th International Conference on Integrated Formal Methods
|Series=IFM
|Type=Conference
|Start date=2019/12/02
|End date=2019/12/06
|City=Bergen
|Country=Norway
|Submitted papers=95
|Accepted papers=25
|Accepted short papers=3
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-34968-4#toc
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line

==Topics==
==Submissions==
==Important Dates==

==Committees==
* Co-Organizers
* General Co-Chairs
** [[has general chair::some person]], some affiliation, country

* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country

* Workshop Chair
** [[has workshop chair::some person]], some affiliation, country

* Panel Chair
** [[has OC member::some person]], some affiliation, country

* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country

* Demonstration Co-Chairs
** [[has demo chair::some person]], some affiliation, country
** [[has demo chair::some person]], some affiliation, country

* Local Organizing Co-Chairs
** [[has local chair::some person]], some affiliation, country

* Program Committee Members
** [[has PC member::some person]], some affiliation, country
-->
Acceptance rate	26.3 +
Accepted papers	25 +
Accepted short papers	3 +
Acronym	IFM 2019 +
End date	December 6, 2019 +
Event in series	IFM +
Event type	Conference +
Has coordinates	60° 23' 40", 5° 19' 33"Latitude: 60.394305555556 Longitude: 5.3259194444444 +
Has location city	Bergen +
Has location country	Category:Norway +
IsA	Event +
Start date	December 2, 2019 +
Submitted papers	95 +
Title	15th International Conference on Integrated Formal Methods +