In years: 2023-2024, expanding publishing software and development of web interface provided to authors and editors under agreement RCN/SP/0479/2021/1 with the funds from the Polish Minister of Education and Science for the development of scientific journals. |
|
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/P-DUN/2016 with the funds from the Polish Minister of Science and Higher Education for the dissemination of science. |
In years: 1995 - 1997 financed by Office of Naval Research Project (USA). |
|
William W. Armstrong, | University of Alberta, Canada, |
Robert S. Boyer, | University of Texas at Austin, USA, |
Fairouz Kamareddine, | Heriot-Watt University, U.K., |
Jesse Alama, Thematic Editor - Logic | Stanford University, USA, |
John Harrison, Thematic Editor - Computer Science | Amazon Web Services, Portland, USA, |
Krystyna Kuperberg, Thematic Editor - Mathematics | Auburn University, USA, |
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. |
Kenichi Arai, | Tokyo University of Science, Japan, |
Czeslaw Bylinski, | University of Bialystok, Poland, |
Marco Caminati, | University of St Andrews, Scotland, |
Roland Coghetto, | La Louviere, Belgium, |
Adam Grabowski, | University of Bialystok, Poland, |
Ievgen Ivanov, | Taras Shevchenko National University, Kyiv, Ukraine, |
Peter Jaeger, | Munich, Germany, |
Cezary Kaliszyk, | University of Innsbruck, Austria, |
Artur Kornilowicz, | University of Bialystok, Poland, |
Xiquan Liang, | Qingdao University of Science and Technology, China, |
Yatsuka Nakamura, | Shinshu University, Japan, |
Adam Naumowicz, | University of Bialystok, Poland, |
Hiroyuki Okazaki, | Shinshu University, Japan, |
Karol Pık, | University of Bialystok, Poland, |
Marco Riccardi, | University of Pisa, Italy, |
Christoph Schwarzweller, | University of Gdansk, Poland, |
Josef Urban, | Czech Institute of Informatics, Prague |
Katsumi Wasaki, | Shinshu University, Japan, |
Yasushige Watase, | Tokyo, Japan, |
Freek Wiedijk, | Radboud University, the Netherlands. |