Crossmark

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)

Crossref DOI link: https://doi.org/10.1007/978-3-030-03427-6_10

Published Online: 2018-10-30

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Felderer, Michael

Gurov, Dilian

Huisman, Marieke

Lisper, Björn

Schlick, Rupert
License Information

Text and Data Mining valid from 2018-01-01

Text and Data Mining valid from 2018-01-01

Version of Record valid from 2018-01-01
More Information

Chapter History

First Online: 30 October 2018

Conference Information

Conference Acronym: ISoLA

Conference Name: International Symposium on Leveraging Applications of Formal Methods

Conference City: Limassol

Conference Country: Cyprus

Conference Year: 2018

Conference Start Date: 5 November 2018

Conference End Date: 9 November 2018

Conference Number: 8

Conference ID: isola2018

Conference URL: http://www.isola-conference.org/isola2018/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: Equinocs

Number of Submissions Sent for Review: 149

Number of Full Papers Accepted: 126

Number of Short Papers Accepted: 0

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

Average Number of Papers per Reviewer: 3

External Reviewers Involved: Yes

Additional Info on Review Process: invitation-based event