Logic Meeting at UCLA

PIS提议于2013年2月1日至2月3日在加州大学洛杉矶分校举行为期三天的数理逻辑会议。会议将涵盖数学逻辑，广义解释，包括集合论、模型理论、递归理论、计算机科学中的逻辑和数学哲学。这次会议将继续在加州大学洛杉矶分校举行的一系列两年一次的逻辑会议，该会议从20世纪70年代中期开始，一直是西海岸数学逻辑最重要的论坛之一。这次会议将是逻辑学家了解和讨论研究中的重要进展、交流思想和就科学项目进行合作的关键机会。大会将做广告以吸引大批观众。特别是处于职业生涯早期阶段的研究生和研究人员将被鼓励参与。组织者将确保妇女和少数民族数学家知道这次会议，并强烈鼓励他们参加。

The PIs propose holding a three-day conference on mathematical logic at UCLA from February 1 to February 3, 2013. The conference will cover mathematical logic, broadly interpreted, including set theory, model theory, recursion theory, logic in computer science, and philosophy of mathematics. The conference will continue a series of biennial logic meetings at UCLA which, starting in the mid 1970s, has been one of the most important forums for mathematical logic on the West Coast. The conference will be a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. The conference will be advertised to attract a large audience. Graduate students and researchers at early career stages, in particular, will be encouraged to participate. The organizers will ensure that women and minority mathematicians are made aware of the conference and are strongly encouraged to participate.