Time	Speakers	Titles
9:00 - 9:50	Mou Bo	Advanced metatheory in second-order logic
9:50 - 10:40	Yan Zhang	有穷深度的传递逻辑的可有穷公理化问题
10:40 - 11:00	Coffee Break
11:00 - 11:50	Yongqi Sun	Finding Ramsey numbers with computational methods
12:00 - 14:00	Lunch Time
14:00 - 14:50	Zhilin Wu	Decision procedures for separation logic with inductive definitions
14:50 - 15:40	Aleksander Ivanov	Soficity and hyperlinearity for metric groups
15:40 - 16:00	Tea Break
16:00 - 16:50	Liang Yu	Analysis aspects of Omega operators

Organizers

• Zhaokuan Hao 郝兆宽
(Fudan University)
• Shichang Song 宋诗畅
(Beijing Jiaotong University)
• Yanjing Wang 王彦晶
(Peking University)
• Liang Yu 喻良
(Nanjing University)
• Shuguo Zhang 张树果
(Sichuan University)

• School of Science, Beijing Jiaotong University
• National Science Foundation of China

• Hongguoyuan Hotel (in the campus of Beijing Jiaotong University)
3 Shangyuancun, Beijing. Tel: (010)51685100

(All the guests payed by the host will stay in this hotel)

红果园宾馆（北京交通大学校园里）