Time: 2019 Oct 16, 16:30-18:00 Venue: 新斋105, Tsinghua U […] [talk] Local Fact Change Logic, Memory Logic and Expressive …
