US Participation in New Zealand Logic Meetings

美国参加新西兰逻辑会议

• 批准号: 1640836
• 负责人: Peter Cholak
• 金额: $ 3.43万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-11-01 至 2017-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1640836&HistoricalAwards=false
• 关键词: US; Participation; New; Zealand; Logic

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

该奖项将支持美国参与者，特别是研究生和最近的博士学位获得者，以及那些没有其他联邦支持的人，参加2017年1月在新西兰举行的两次数理逻辑会议。第一届“Computability and Complexity Symposium 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