Document is current

Chapter History

First Online: 6 November 2023

Conference Information

Conference Acronym: iFM

Conference Name: International Conference on Integrated Formal Methods

Conference City: Leiden

Conference Country: The Netherlands

Conference Year: 2023

Conference Start Date: 13 November 2023

Conference End Date: 15 November 2023

Conference Number: 18

Conference ID: ifm2023

Conference URL: https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/index.html

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: Easychair

Number of Submissions Sent for Review: 51

Number of Full Papers Accepted: 16

Number of Short Papers Accepted: 2

Acceptance Rate of Full Papers: 31% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 5

External Reviewers Involved: Yes