ICTAC 2017

From Openresearch
Jump to: navigation, search
ICTAC 2017
14th International Colloquium on Theoretical Aspects of Computing
Event in series ICTAC
Dates 2017/10/23 (iCal) - 2017/10/27
Homepage: http://fit.uet.vnu.edu.vn/ictac2017/
Location: Hanoi, Vietnam
Loading map...

Papers: Submitted 40 / Accepted 17 (42.5 %)
General chairs: Viet-Ha Nguyen
PC chairs: Dang Van Hung, Deepak Kapur
PC members: Bernhard K. Aichernig, Farhad Arbab, Ana Cavalcanti, Wei-Ngan Chin, Hung Dang-Van
Keynote speaker: Joose-Pieter Katoen, June Andronick, K. Rustan M. Leino
Table of Contents