South-Eastern Logic Symposium

pi将在盖恩斯维尔的佛罗里达大学组织一次年度周末会议。会议将集中讨论集合论、可计算性及其相互作用。预计的听众将包括三到四名高级演讲者和更多的研究生和博士后研究人员，地理重点是东南地区，目前类似的活动缺乏服务。该提案的目的是为集合理论家和可计算理论家提供一个定期会面的论坛。2006年东南逻辑系列研讨会结束后，东南逻辑系列论坛不复存在；事实上，在东南地区没有定期的数理逻辑会议。与此同时，随着类似图灵等价的可数等价关系的研究，这两个领域的对话得到了新的推动。该提案将资助一系列周末年度会议，集中讨论集合论、可计算性及其相互作用。该系列将在盖恩斯维尔的佛罗里达大学举行，该大学位于服务不足的东南地区的中心。这笔资金将在很大程度上使年轻的研究人员能够参加会议，改善他们的交流和网络；资金的一小部分将花在资深演讲者身上，他们的演讲应该吸引尽可能广泛的听众。在过去的几年里，集合论和可计算性之间的新的相互作用出现了，它们将成为会议系列的焦点。

The PIs will organize an annual weekend conference at University of Florida in Gainesville. The conference will concentrate on set theory, computability and their interactions. The expected audience will consist of three or four senior speakers and a greater number of graduate students and postdoctoral researchers, with geographical emphasis on the southeastern region, currently underserved by similar events. The purpose of the proposal is to provide a forum for set theorists and computability theorists to meet on a regular basis. After the end of series of Southeast Logic Symposia in 2006, no such forum exists; indeed, in the southeastern region no regular mathematical logic meetings take place. At the same time, the conversation of the two fields has received new impetus with the study of countable equivalence relations similar to the Turing equivalence.The proposal will fund a series of weekend annual conferences concentrating on set theory, computability, and their interactions. The series will take place at University of Florida in Gainesville, at the center of the under-served southeastern region. The funding will in its greater part enable young researchers to attend the conference, improving their communication and networking; a smaller part of the funding will be spent on senior speakers, whose lectures should attract broadest possible audience. New lines of interaction between set theory and computability appeared in the last couple of years, and they will be at the focus of the conference series.