Formalized Mathematics
Editor |
Journal of Formalized Reasoning
Editor |
Central European Journal of Computer Science
(currently: Open Computer Science) Managing Editor (2010-2014) |
Studies in Logic, Grammar and Rhetoric
Guest Editor for a special issue on Computer Reconstruction of the Body of Mathematics |
Conferences on Intelligent Computer Mathematics
PC Member CICM 2015, July 13-17, 2015 Washington DC, USA |
Institute of Computer Science
University of Bialystok
ul. Ciolkowskiego 1M
15-245 Bialystok, Poland
Contactadamn@math.uwb.edu.pl |