Add NCProofs talk and reorganize folders