课题基金 / 基金详情

US Participation in New Zealand Logic Meetings

US Participation in New Zealand Logic Meetings
美国参加新西兰逻辑会议
批准号:
1640836
负责人:
Peter Cholak
金额:
$3.43万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-11-01 至 2017-10-31

项目摘要

项目成果

Peter Cholak的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FRG: Collaborative Research: Computability-Theoretic Aspects of Combinatorics
  • 批准号:
    1854136
  • 项目类别:
    Standard Grant
  • 资助金额:
    $27.2万
  • 财政年份:
    2019
  • 负责人:
    Peter Cholak
  • 依托单位:
Ramsey Theory and Computability: Rome
  • 批准号:
    1822193
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.5万
  • 财政年份:
    2018
  • 负责人:
    Peter Cholak
  • 依托单位:
EMSW21-RTG: Notre Dame's Mathematical Logic Program
  • 批准号:
    0838506
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $117.8万
  • 财政年份:
    2009
  • 负责人:
    Peter Cholak
  • 依托单位:
EMSW21 - RTG: Research Training in Mathematical Logic at Notre Dame
  • 批准号:
    0739007
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.1万
  • 财政年份:
    2008
  • 负责人:
    Peter Cholak
  • 依托单位:
海外基金