Document is current

Chapter History

First Online: 3 March 2023

Conference Information

Conference Acronym: FM

Conference Name: International Symposium on Formal Methods

Conference City: Lübeck

Conference Country: Germany

Conference Year: 2023

Conference Start Date: 6 March 2023

Conference End Date: 10 March 2023

Conference Number: 23

Conference ID: fm2023

Conference URL: https://fm2023.isp.uni-luebeck.de/wordpress/

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 95

Number of Full Papers Accepted: 26

Number of Short Papers Accepted: 2

Acceptance Rate of Full Papers: 27% - 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

Additional Info on Review Process: The proceedings also include 7 short industry papers