If you are interested in doing postdoc about logic in Peking University, please contact us via pkulogic@pku.edu.cn.