Home > Program Committees

Program Committee Member

Panel Reviewer

and Site visitor for the National Research Council.

Panel Reviewer
for the Polish - U.S. Fulbright Commission.

Reviewer
for National Science Foundation, USA, National Science Foundation, Canada, International Symposium on Methodologies for Intelligent system, 1986 - present

Reviewer
for papers and books for Mathematical Reviews .

Referee
of manuscripts for IBM Journal of Research and Development, Journal of Symbolic Computation, International Journal of Man-Machine Studies, Fundamenta Informaticae, Studia Logica, The Journal of Symbolic Logic, Fundamenta Mathematicae

Reviewer
for papers and books for Mathematical Reviews.