Crossmark

The Computational Relevance of Formal Logic Through Formal Proofs

Crossref DOI link: https://doi.org/10.1007/978-3-030-32441-4_6

Published Online: 2019-09-23

Published Print: 2019

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

Authors

Almeida, Ariane A.

Rocha-Oliveira, Ana Cristina

Ramos, Thiago M. Ferreira

de Moura, Flávio L. C.

Ayala-Rincón, Mauricio
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 23 September 2019

Conference Information

Conference Acronym: FMTea

Conference Name: Formal Methods Teaching Workshop

Conference City: Porto

Conference Country: Portugal

Conference Year: 2019

Conference Start Date: 7 October 2019

Conference End Date: 7 October 2019

Conference Number: 3

Conference ID: tfm2019

Conference URL: https://fmtea.github.io/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 22

Number of Full Papers Accepted: 14

Number of Short Papers Accepted: 3

Acceptance Rate of Full Papers: 64% - 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: 4,5

External Reviewers Involved: Yes