Editorial board
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