Front Page
Call for Participation
Call for Papers (Expired)
Accepted Papers
Invited Talks
Program
Registration
Venue
Excursion
More Excursions
Related Events
Sponsors
Steering Committee
Contact
JSSST (Japan Society for Software Science and Technology) SIG-PPL
CERIES (Tohoku University Electro-Related Departments Global COE Program)
Graduate School of Information Sciences, Tohoku University
International Information Science Foundation
AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)