Difference between revisions of "ICTAC 2017"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=ICTAC 2017 |Title=14th International Colloquium on Theoretical Aspects of Computing |Series=ICTAC |Type=Conference |Start date=2017/10/23 |End date=2017/10/27...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
Line 15: | Line 15: | ||
|Submitted papers=40 | |Submitted papers=40 | ||
|Accepted papers=17 | |Accepted papers=17 | ||
+ | |pageCreator=Kerrin.Hogrefe | ||
+ | |pageEditor=Kerrin.Hogrefe | ||
+ | |contributionType=1 | ||
}} | }} | ||
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | <!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line |
Latest revision as of 19:51, 1 April 2022
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 | |
Location: | Hanoi, Vietnam |
Papers: | Submitted 40 / Accepted 17 (42.5 %) |
Committees | |
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 | |