逻辑中的拓扑代数与范畴2017(TACL 2017)国际会议

2017年6月26—30日在捷克布拉格召开,由捷克科学院计算研究所与查理大学共同举办。中山大学逻辑与认知研究所林哲研究员应邀参加会议,并作了题为“关于剩余格的等式理论的计算复杂性”的报告。