計算機科学の基礎に関する国際学術誌(IJFOCS)の発刊とコンピュータ・ソフトウェアの理論に関する国際会議の主催