Jump to ContentJump to Main Navigation

Online

Open Access
* Prices subject to change. Shipping costs will be added if applicable.
ISSN:
1898-9934

Formalized Mathematics

4 Issues per year

VERSITA

Open Access

  • Pioneering Journal in the field of formalized and mechanically checked mathematics.
  • Excellent articles on latest research in formal methods and computer-checked mathematics.
  • Full-length original research articles in English.
  • Archival issues available at the journal's home page http://fm.mizar.org/

Aims and Scope

Why subscribe and read

  • Pioneering source of high quality research in formalized and mechanically checked mathematics.
  • The oldest journal in the field, a medium for the publication of research reporting pioneering findings of broad mathematical significance that are likely to advance the direction and thinking of the field.
  • Long-term experience in publishing original articles on mechanizing mathematics and various aspects of automated reasoning, since 1990.

Why submit

  • Fair and constructive peer review by international experts in the field (three referees are designated for the assessment of each manuscript).
  • New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
  • Articles abstracted by online indexing services and databases.

Rejection Rate

  • 59% of submitted articles.

The rejection percentage is described in detail in the following paper, pp.239-240: http://dx.doi.org/10.1007/978-3-540-73086-6_20

 

VERSITA
Language:
English
Type of Publication:
Journal

Scopus, DBLP, DOAJ, IndexCopernicus, SJR SCImago, CrossRef, Cite Seer-beta (Most Cited Computer Science Articles), Zentralblatt MATH

Editor-in-Chief
Roman Matuszewski, University of Bialystok, Poland

Scientific Editor
Grzegorz Bancerek, Bialystok Technical University, Poland 

Language Editor
Pauline N. Kawamoto, Shinshu University, Japan 

Editorial Board
Jesse Alama, USA
William W. Armstrong, Canada
Robert S. Boyer, USA
Czeslaw Bylinski, Poland
Marco Caminati, Italy
Adam Grabowski, Poland
Klaus Grue, Denmark.
John Harrison, USA
Fairouz Kamareddine, UK
Pauline N. Kawamoto, Japan
Michael Kohlhase, Germany
Artur Kornilowicz, Poland
Krystyna Kuperberg, USA
Xiquan Liang, China
Yatsuka Nakamura, Japan
Adam Naumowicz, Poland
Marco Riccardi, Italy
Piotr Rudnicki, Canada
Christoph Schwarzweller, Germany/Poland
Alexander Shibakov, USA
Yasunari Shidama, Japan
Andrzej Trybulec, Poland
Josef Urban, Czech Republic
Katsumi Wasaki, Japan
Freek Wiedijk, the Netherlands

Contact
dr Roman Matuszewski
University of Bialystok
Plac Uniwersytecki 1
15-420 Białystok
Poland

mobile: +48 603 491 986
faks: + 48 85 745 74 78
e-mail: romat@mizar.org

Please log in or register to comment.