NUS Programming Language and Verification Club For the talks and topics, check the reading group Wiki pages