IFM

Event series

IFM
International Conference on Integrated Formal Methods
Categories: Formal methods
Avg. acceptance rate:	31.8
Avg. acceptance rate (last 5 years):	31.8
Table of Contents

International Conference on Integrated Formal Methods (IFM) has an average acceptance rate of 31.8% (last 5 years 31.8%).

Events

The following events of the series IFM are currently known in this wiki:

	Ordinal	From	To	City	Country	General chair	PC chair	Submitted papers	Acceptance rate	Attendees
IFM 2020		Nov 16	Nov 20	Lugano	Switzerland	Carlo A. Furia	Elena Troubitsyna Brijesh Dongol
IFM 2019		Dec 2	Dec 6	Bergen	Norway			95	26.3
IFM 2018		Sep 5	Sep 7	Maynooth	Ireland			60	28.3
IFM 2017		Sep 18	Sep 22	Turin	Italy			61	39.3
IFM 2016		Jun 1	Jun 3	Reykjavik	Iceland			99	33.3

Add New Event:

Submission/Acceptance

Loading...

Locations

Loading map...

{"format":"leaflet","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","import-annotation":false,"width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","showtitle":true,"hidenamespace":true,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/ormk/index.php?title=IFM_2016\" title=\"IFM 2016\"\u003EIFM 2016\u003C/a\u003E\u003C/b\u003E","title":"IFM 2016","link":"","lat":64.145980555556,"lon":-21.942236111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/ormk/index.php?title=IFM_2017\" title=\"IFM 2017\"\u003EIFM 2017\u003C/a\u003E\u003C/b\u003E","title":"IFM 2017","link":"","lat":45.067755555556,"lon":7.6824888888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/ormk/index.php?title=IFM_2018\" title=\"IFM 2018\"\u003EIFM 2018\u003C/a\u003E\u003C/b\u003E","title":"IFM 2018","link":"","lat":53.383025,"lon":-6.5922805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/ormk/index.php?title=IFM_2019\" title=\"IFM 2019\"\u003EIFM 2019\u003C/a\u003E\u003C/b\u003E","title":"IFM 2019","link":"","lat":60.394305555556,"lon":5.3259194444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/ormk/index.php?title=IFM_2020\" title=\"IFM 2020\"\u003EIFM 2020\u003C/a\u003E\u003C/b\u003E","title":"IFM 2020","link":"","lat":46.005011111111,"lon":8.9520277777778,"icon":""}],"imageLayers":[]}