Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Keisuke Nakano

Registered user since Wed 2 Sep 2015

Name:Keisuke Nakano
Affiliation:The University of Electro-Communications
Research interests:Formal language, Programming language, Program transformation, Certified programming


ICFP 2016 Committee Member in Program Committee within the Research Papers-track
Programming Contest Organiser in Organizing Committee
Show activities from other conferences

ICFP 2016-profile
View general profile