会议名称(中文)： 第十六届国际逻辑和计算复杂性研讨会
会议名称(英文)： The Sixteenth International Workshop on Logic and Computational Complexity
所属学科： 计算数学与科学工程计算,计算机科学理论,计算机应用技术
开始日期： 2015-07-04
结束日期： 2015-07-05
所在国家： 日本
所在城市： 日本
具体地点： Kyoto, Japan
主办单位： Japan Advanced Institute of Science and Technology
[ 重要日期 ]
全文截稿日期： 2015-04-29
[ 会务组联系方式 ]
联系人： Nao Hirokawa
会议背景介绍：
The Sixteenth International Workshop on Logic and Computational Complexity will be held in Kyoto, Japan, on July 4-5, as an affiliated meeting of ICALP/LICS 2015.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. |
