THEORY AND PRACTICE OF COMPUTATION - PROCEEDINGS OF WORKSHOP ON COMPUTATION: THEORY AND PRACTICE (WCTP2015)
暫譯: 計算的理論與實踐 - 計算：理論與實踐研討會論文集 (WCTP2015)

This is the proceedings of the Fourth Workshop on Computing: Theory and Practice, WCTP 2015 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.

Readership: Graduate students, academics and researchers in the field of formal specification, artificial intelligence, software engineering and programming.