Editor-in-Chief
Roman Matuszewski, University of Bialystok, Poland
Language Editor
Pauline N. Kawamoto, Shinshu University, Japan
Senior Advisory Board
Editorial Board
- Jesse Alama, Stanford University, USA,
Thematic Editor - Logic - Krystyna Kuperberg, Auburn University, USA,
Thematic Editor - Mathematics - John Harrison, Amazon Web Services, Portland, USA,
Thematic Editor - Computer Science - Andrej Bauer, University of Ljubljana, Slovenia
- Czeslaw Bylinski, University of Bialystok, Poland,
- Noboru Endou, Gifu National College of Technology, Japan,
- Pawel Gburzynski, Olsonet Communications Corporation, Canada,
- Adam Grabowski, University of Bialystok, Poland,
- Klaus Grue, University of Copenhagen, Denmark,
- Pauline N. Kawamoto, Shinshu University, Japan,
- Michael Kohlhase, Friedrich-Alexander-University, Erlangen-Nuremberg, Germany,
- Artur Kornilowicz, University of Bialystok, Poland,
- John Mayer, University of Alabama at Birmingham, USA,
- Adam Naumowicz, University of Bialystok, Poland,
- Alexander Shibakov, Tennessee Tech University, USA,
- Yasunari Shidama, Shinshu University, Japan,
- Geoff Sutcliffe, University of Miami, USA
Contact
dr Roman Matuszewski
University of Bialystok
Institute of Informatics
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok
Poland
mobile: +48 603 491 986
e-mail: romat@mizar.org
Publisher
De Gruyter Poland
Bogumiła Zuga 32A Str.
01-811 Warsaw, Poland
T: +48 22 701 50 15