The Journal of Formalized Reasoning (usually known as JFR; ISSN 1972-5787) is a free on-line peer-reviewed journal

Academic journal

An academic journal is a peer-reviewed periodical in which scholarship relating to a particular academic discipline is published. Academic journals serve as forums for the introduction and presentation for scrutiny of new research, and the critique of existing research...

 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

• Andrea Asperti, University of Bologna
  University of Bologna
  The Alma Mater Studiorum - University of Bologna is the oldest continually operating university in the world, the word 'universitas' being first used by this institution at its foundation. The true date of its founding is uncertain, but believed by most accounts to have been 1088...
  
   (managing editor)
• Jeremy Avigad, Carnegie Mellon University
  Carnegie Mellon University
  Carnegie Mellon University is a private research university in Pittsburgh, Pennsylvania, United States....
  
  
• Michael Beeson, San Jose State University
  San José State University
  San Jose State University is a public university located in San Jose, California, United States...
  
  
• Thierry Coquand, Chalmers University
• Herman Geuvers, Radboud University
• Georges Gonthier, Microsoft Research
  Microsoft Research
  Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
  
   Cambridge
• John Harrison, Intel Corporation
  Intel Corporation
  Intel Corporation is an American multinational semiconductor chip maker corporation headquartered in Santa Clara, California, United States and the world's largest semiconductor chip maker, based on revenue. It is the inventor of the x86 series of microprocessors, the processors found in most...
  
  
• Xavier Leroy
  Xavier Leroy
  Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system...
  
  , INRIA Paris
• Cesar Munoz, NASA
  NASA
  The National Aeronautics and Space Administration is the agency of the United States government that is responsible for the nation's civilian space program and for aeronautics and aerospace research...
  
   LaRC
• Christine Paulin-Morhing, LRI
  LRI
  LRI is an initialism for:*Leicester Royal Infirmary*London Research Institute*Limbal relaxing incisions*Lift Reserve Indicator*USCG Long Range Interceptor...
  
  
• Peter Sewell, Cambridge University
• Natarajan Shankar, SRI International
  SRI International
  SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...
  
  
• Carlos Simpson, Université de Nice
• Andrzej Trybulec
  Andrzej Trybulec
  Andrzej Trybulec, is a Polish mathematician and computer scientist, at the University of Bialystok, in Białystok, Poland, noted for development of the Mizar system....
  
  , University of Bialystok
• Freek Wiedijk, Radboud University

JFR was established in 2008, and it is maintained by CIB Centro Inter-Bibliotecario of the University of Bologna

University of Bologna

The Alma Mater Studiorum - University of Bologna is the oldest continually operating university in the world, the word 'universitas' being first used by this institution at its foundation. The true date of its founding is uncertain, but believed by most accounts to have been 1088...

.
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.

External links

• Journal of Formalized Reasoning
• http://www.ams.org/mathscinet/search/journaldoc.html?jc=JFORR Mathscinet entry for the Journal of Formalized Reasoning
• http://www.doaj.org/doaj?func=openurl&issn=19725787&genre=journal DOAJ entry for the Journal of Formalized Reasoning