• Sign in
  • Sign up
conf.researchr.org / Neng-Fa Zhou
  • FLOPS 2022 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile

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

Share
xSat 10 Jun 13:43
using conf.researchr.org (v1.60.0)
Support page
Sign Up