University of Helsinki and Chinese Academy of Science organizes a joint seminar on mathematical logic in Helsinki 30 October - 2 November 2018.