搜索结果: 1-1 共查到“计算机科学技术基础学科 LICS 2020”相关记录1条 . 查询时间(0.067 秒)
第35届ACM/IEEE计算机科学逻辑国际会议(ACM/IEEE Symposium on Logic in Computer Science,http://lics.siglog.org/lics20/),简称LICS 2020,将于7月08日—7月11日在线举行(主会场设在德国萨尔布吕肯)。该会议是理论计算机科学领域最顶级的国际会议之一,与STOC、FOCS齐名,在计算机科学领域享有崇高的声誉...