Theory and practice of computation: proceedings of workshop on computation theory and practice. - Nishizaki, Shin-ya; Numao, Masayuki; Caro, Jaime D.L; Suarez, Merlin Teodosia C.