Delta 7 Workshop on Logic

Delta 7 Logic Workshop

Venue: Room Z201, Mechanical Engineering Building, Beijing Jiaotong University, Beijing

地点: 北京交通大学机械工程楼Z201室

Time: 23 September 2017

时间: 2017年9月23日

Invited speakers

 

Schedule

 
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

 

Supported by

 

Hotel

 

Last Updated:9-14-2017, Shichang Song