LOGICAL FOUNDATIONS OF COMPUTER SCIENCE

2013年计算机科学逻辑基础(LFCS)研讨会将于2013年1月6日至8日在加利福尼亚州圣地亚哥举行。LFCS总主席是Anil Nerode(康奈尔大学)，计划委员会主席是Sergei Artemov(纽约城市大学研究生中心)，组委会主席是Jeff Remmel(加州大学圣地亚哥分校)。LFCS系列代表了与计算机科学相关的基本逻辑领域的工作内容。这次会议的目的是鼓励交流和使用来自各种领域和应用的各种思想。自1989年创立以来，每一次LFCS会议都在会议之前发布了Springer卷的会议记录，并按照惯例，在会议后发布了《纯逻辑与应用逻辑年鉴》-数学逻辑的旗舰期刊。LFCS会议似乎对美国的逻辑和基金会社区具有重要的且日益增长的重要性，因为计算机和信息科学提供了一系列核心逻辑方法以最直接和最强大的方式适用的领域。这样的会议对于建立一支未来计算机科学逻辑基础的骨干队伍至关重要。美国逻辑界和基金会将从这样的会议中受益匪浅。圣地亚哥地区的逻辑生活充满活力，许多方向的逻辑和基础以最富有成效的方式相互作用。这次会议将吸引大量与会者，其中包括研究生，对他们来说，这次会议将是一个里程碑式的事件。LFCS 2013网站位于http://www.lfcs.info/lfcs13

The Logical Foundations of Computer Science (LFCS) symposium of 2013 will be held in San Diego, CA on January 6-8 of 2013. The LFCS General Chair is Anil Nerode (Cornell University), the Program Committee Chair is Sergei Artemov (Graduate Center of the City University of New York), and the Organizing Committee Chair is Jeff Remmel (University of California San Diego). The LFCS series represents the body of work in those areas of fundamental logic related to computer science. The conference is intended to encourage the interchange and interuse of ideas emanating from a wide variety of fields and applications. Since its origin in 1989, each LFCS meeting has resulted in a Springer volume of proceedings published prior to the conference and, as has been the norm, a post-conference volume of Annals of Pure and Applied Logic - a flagship journal in mathematical logic.LFCS conferences appear to be of significant and growing importance for the logic and foundations community in the United States since computer and information sciences provide a cluster of areas in which the core logical methods are applicable in the most immediate and powerful way. Such a conference is pivotal for building a cadre of future logical foundations of computer science. The US community in logic and foundations will benefit greatly from such a conference. Logic life in the San Diego area is vibrant with many directions of logic and foundations interacting in most fruitful ways. The conference will attract a good number of participants including graduate students for whom this conference will be a milestone event.The LFCS 2013 Web site is located at http://www.lfcs.info/lfcs13