e/Journal of Formalized Reasoning

Information
has gloss	eng: The Journal of Formalized Reasoning (usually known as JFR; ISSN 1972-5787) is a free on-line peer-reviewed journal publishing significant formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification. It has a distinguished editorial board currently composed by the following people * , University of Bologna (managing editor) * , Carnegie Mellon University * , San Jose State University * , Chalmers University * , Radboud University * , Microsoft Research Cambridge * , Intel Corporation * Xavier Leroy, INRIA Paris * , NASA LaRC * , LRI * , Cambridge University * , SRI International * , Université de Nice * Andrzej Trybulec, University of Bialystok * , Radboud University JFR was established in 2008, and it is maintained by Centro Inter-Bibliotecario of the University of Bologna. It features a short review period, with most articles being reviewed within three months of submission; accepted papers are published on the Internet immediately upon acceptance.
lexicalization	eng: Journal of formalized reasoning
instance of	c/Computer science journals