conf.researchr.org / Neng-Fa Zhou

Not registered as user yet

Name:Neng-Fa Zhou
Affiliation:CUNY Brooklyn College and Graduate Center
Personal website:http://www.sci.brooklyn.cuny.edu/~zhou/

Contributions

FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
PADL 2020 Session Chair of Answer Set Programming Systems (part of PADL 2020)
Author of Competitive Programming with PiCat within the PADL 2020-track
PADL 2017 Author of Canonicalizing High-Level Constructs in Picat within the PADL-track
PADL Author of The Picat-SAT Compiler within the PADL-track
Committee Member in Program Committee within the PADL-track