US Participation in New Zealand Logic Meetings

该奖项将支持美国参与者，特别是研究生和最近获得博士学位的人，以及那些没有其他联邦支持的人，参加2017年1月在新西兰举行的两次数理逻辑会议。第一场名为《2017可计算性与复杂性研讨会》将于2017年1月5日至8日在新西兰惠灵顿举行。第二个是2017年新西兰数学研究所暑期学校，重点是数理逻辑和可计算性，将于2017年1月9日至14日在新西兰纳皮尔举行。这些会议的主要内容是关于可计算性理论和复杂性的最新发展。惠灵顿会议将是一次数学研讨会。讲座将由资深和初级研究人员在为期三天的会议上进行。还将留出时间进行非正式讨论。纳皮尔会议将采用研讨会的形式。主要研究人员(初级和高级)将提供五个教程(每个教程3到4个小时)，面向研究生和新近的博士。还将有更多适合研究生入门的背景讲座。会议的网页是http://sms.victoria.ac.nz/Events/CCS2017/WebHome和http://sms.victoria.ac.nz/Events/NZMRI2017/WebHome

This award will support US participants, particularly graduate students and recent doctoral degree recipients, as well as those with no other federal support, to attend two meetings in mathematical logic in New Zealand in January 2017. The first, "Computability and Complexity Symposium 2017," will be held from the 5th to the 8th of January 2017, in Wellington, NZ. The second, the New Zealand Mathematical Research Institute Summer School 2017, focusing on mathematical logic and computability, will be held from the 9th to the 14th of January 2017, in Napier, NZ. The meetings feature talks on recent developments in computability theory and complexity. The Wellington meeting will be a mathematical symposium. Lectures will be given by a mix of senior and junior researchers over the three days of the conference. Time will also be set aside for informal discussions. The Napier meeting will follow the format of a workshop. There will be five tutorials (3 to 4 hours each) by leading researchers (both junior and senior) aimed at graduate students and recent Ph.D.s. There will be further background lectures suitable for beginning graduate students.The web pages for the conferences are at http://sms.victoria.ac.nz/Events/CCS2017/WebHome and http://sms.victoria.ac.nz/Events/NZMRI2017/WebHome