林哲研究员出访捷克并参加TACL2017 会议

  2017 年6 月26 日至6 月30 日,我所林哲研究员应邀前往布拉格参加了由捷克科学院计算研究所与查理大学共同举办的“逻辑中的拓扑代数与范畴2017”(TACL 2017)国际会议。会上林哲博士作了题为“On the computational complexity of the equation theory over residuated lattices” 的报告,得到了良好的反响,同时与多个专家就报告内容进行深入讨论、切磋。