Formalized Mathematics

Editor-in-Chief
Cezary Kaliszyk, The University of Melbourne, Australia

Honorary Board

• William W. Armstrong, University of Alberta, Canada,
• Robert S. Boyer, University of Texas at Austin, USA,
• Fairouz Kamareddine, Heriot-Watt University, UK,
• Michael Kohlhase, Friedrich-Alexander-University, Erlangen-Nuremberg, Germany

Editorial Board

• Cezary Kaliszyk, University of Melbourne, Australia,
  Thematic Editor - Automated Reasoning
• John Harrison, Amazon Web Services, Portland, USA,
  Thematic Editor - Computer Science
• Krystyna Kuperberg, Auburn University, USA,
  Thematic Editor - Mathematics
• Jesse Alama, Stanford University, USA,
• Kenichi Arai, Nagasaki University, Japan,
• Andrej Bauer, University of Ljubljana, Slovenia,
• Marco Caminati, Lancaster University, UK,
• Pawel Gburzynski, University of Alberta, Canada,
• Adam Grabowski, University of Bialystok, Poland,
• Klaus Grue, University of Copenhagen, Denmark,
• Pauline N. Kawamoto, Shinshu University, Japan,
• Artur Kornilowicz, University of Bialystok, Poland,
• John Mayer, University of Alabama at Birmingham, USA,
• Adam Naumowicz, University of Bialystok, Poland,
• Marco Riccardi, University of Pisa, Italy,
• Pawel Stacewicz, Warsaw University of Technology, Poland,
• Geoff Sutcliffe, University of Miami, USA
• Josef Urban, Czech Institute of Informatics, Prague,
• Freek Wiedijk, Radboud University, the Netherlands.

Contact to Managing Editor
Roman Matuszewski
University of Bialystok
Faculty of Computer Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok
Poland
mobile: +48 603 491 986
e-mail: romat@mizar.org

Paradigm Publishing Services