The 2010 Federated Logic Conference

FLoC（联邦逻辑会议）是一个四年一次，为期两周的活动，汇集了8个在计算机科学中应用逻辑方法的顶级会议，以及大约60个研讨会。该领域对计算研究非常重要：逻辑为计算机科学提供了统一的基础框架和建模计算系统的工具；它被称为“计算机科学的微积分”，在人工智能、计算复杂性、分布式计算、数据库系统、硬件设计、编程语言和软件工程等多个领域发挥了至关重要的作用。超过20%的图灵奖获得者的研究是逻辑在计算机科学中的应用；在英国，UKCRC目前面临的8个重大挑战中有5个是在FLoC地区。这项提议是为了让我们能够邀请顶级的研究人员在FLoC进行全体会议和辅导，使efloc对学生特别有吸引力，并使来自英国和其他地方的研究人员更容易参加FLoC。

FLoC (Federated Logic Conference) is a quadrennial two-week event that brings together eight top conferencesapplying methods of logic in computer science, and about 60 workshops. The area is of great importance to computing research: logic provides computer science with both a unifying foundational framework and a tool for modelling computing systems; it has been called ``the calculus of computer science,'' and played a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The research of just over 20% of Turing award winners has been on the application of logic to computer science; in the UK, five of the current eight UKCRC grand challenges are in FLoC areas.The proposal is to enable us to invite top-level researchers to deliver plenaries and tutorials at FLoC, to makeFLoC particularly attractive to students and to make it easier for researchers from the UK and elsewhereto attend FLoC.