Logical Foundations of Computer Science

2016年的计算机科学逻辑基础（LFCS）研讨会将于1月4日至7日在佛罗里达举行，由博卡拉顿的佛罗里达大西洋大学教授主持。LFCS总主席是Anil Nerode（康奈尔大学），计划委员会主席是Sergei Artemov（纽约城市大学研究生中心），组委会主席是Robert Lubarsky（佛罗里达大西洋大学，博卡拉顿）。LFCS系列代表了与计算机科学相关的基础逻辑领域的工作主体。会议旨在鼓励交流和相互利用来自各种领域和应用的想法。LFCS会议似乎是显着的和日益增长的重要性，为逻辑和基础社区在美国，因为计算机和信息科学提供了一个集群的领域中，核心的逻辑方法是适用于最直接和强大的方式。自1989年创立以来，每届LFCS会议都会在会前出版一本Springer会议录，并在会后出版一本Annals of Pure and Applied Logic（数理逻辑的旗舰期刊）。 美国的逻辑和基础社区从这样的会议中受益匪浅。LFCS会议吸引了大量的研究生，对他们来说，这次会议是一个里程碑式的事件。逻辑和基础生活在佛罗里达地区需要支持。2016年LFCS的另一个主要受益者是纽约城市大学的逻辑社区，这是一个拥有大量代表性不足群体的领先机构。LFCS 2016网站位于http://lfcs.info/lfcs-2016。

The Logical Foundations of Computer Science (LFCS) symposium of 2016 will be held in Florida under auspice of Florida Atlantic University, Boca Raton, on January 4-7. 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 Robert Lubarsky (Florida Atlantic University, Boca Raton). 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. 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.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. The US community in logic and foundations benefits greatly from such a conference. LFCS conferences attract a good number of graduate students for whom this conference is a milestone event. Logic and foundations life in Florida area needs support. Another major beneficiary of LFCS 2016 is the logic community in the City University of New York, one of the leading institutions with a high number of underrepresented groups. The LFCS 2016 Web site is located at http://lfcs.info/lfcs-2016.