Buenos Aires Semester in Computability, Complexity and Randomness
Buenos Aires Semester in Computability, Complexity and Randomness
批准号:
1242444
负责人:
Joseph Miller
金额:
$4.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-01-15 至 2014-06-30
中文摘要
布宜诺斯艾利斯关于可计算性、复杂性和随机性的学期将是2013年1月至6月数学家和计算机科学家的国际聚会。会议将在布宜诺斯艾利斯大学理工学院举行。我们预计在整个过程中将有8到10名研究人员在此居住,并有类似数量的研究生陪同。我们还预计另外8到10名研究人员会进行两到四周的较短时间的访问。在可计算性理论、随机性、可计算结构和逆数学方面将有密集和持续的研究努力。本学期将把该领域许多最活跃的研究人员在更长的时间间隔内聚集在一起,实现通常不可能实现的合作水平,并从这种持续的互动中加速进步。除了研究工作外,还将重点培养研究生和传播最新研究成果。我们将组织一个由Ted Slaman教授的关于组合学、复杂性和逻辑的研究生课程;一个主题研讨会,所有长期参与者,包括研究生,将轮流介绍先进的材料;每周一个关于个人研究兴趣和相关开放问题的研讨会;以及一个地区研讨会,将有南美逻辑学家参加。NSF的资金将主要用于支持美国初级研究人员的参与:研究生、博士后研究员和初级教职员工。
英文摘要
The Buenos Aires Semester in Computability, Complexity and Randomness will be an international gathering of Mathematicians and Computer Scientists from January to June 2013. It will be held at the Departamento de Computación, Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. We anticipate between eight and ten researchers will be in residence for the entire period, accompanied by a similar number of graduate students. We also expect shorter visits, of two to four weeks, by another eight to ten researchers. There will be an intense and sustained research effort in computability theory, randomness, computable structures and reverse mathematics. The semester will bring together many of the area's most active researchers over an extended interval, allowing for a level of collaboration that is not usually possible and the accelerated progress that arises from such continuous interaction. In addition to the research effort, there will be a focus on training graduate students and disseminating recent research. We will organize a graduate-level course on Combinatorics, Complexity and Logic taught by Ted Slaman; a topics seminar in which all of the long term participants, including the graduate students, will take turns presenting advanced material; a weekly seminar on individual research interests and related open problems; and a regional seminar that will feature South American logicians. The NSF funding will primarily be used to support the participation of junior US researchers: graduate students, postdoctoral fellows, and junior faculty.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Randomness, Dimension and Computability
-
批准号:1001847
-
项目类别:Continuing Grant
-
资助金额:$24.0万
-
财政年份:2010
-
负责人:Joseph Miller
-
依托单位:
Randomness and Computability
-
批准号:0945187
-
项目类别:Standard Grant
-
资助金额:$3.04万
-
财政年份:2009
-
负责人:Joseph Miller
-
依托单位:
FRG: Collaborative Research: Algorithmic Randomness
-
批准号:0946325
-
项目类别:Continuing Grant
-
资助金额:$4.76万
-
财政年份:2009
-
负责人:Joseph Miller
-
依托单位:
FRG: Collaborative Research: Algorithmic Randomness
-
批准号:0652677
-
项目类别:Continuing Grant
-
资助金额:$7.01万
-
财政年份:2007
-
负责人:Joseph Miller
-
依托单位:
Randomness and Computability
-
批准号:0601021
-
项目类别:Standard Grant
-
资助金额:$10.41万
-
财政年份:2006
-
负责人:Joseph Miller
-
依托单位:
Collaborative Research: Phylogeny and Evolution of American Taxa of Acacia Subgenus Acacia
-
批准号:0414902
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Joseph Miller
-
依托单位:
Continued Development of a CCD for Astronomy
-
批准号:8914908
-
项目类别:Continuing Grant
-
资助金额:$60.0万
-
财政年份:1990
-
负责人:Joseph Miller
-
依托单位:
Studies of Quasi-Stellar Objects and Related Active Systems
-
批准号:8818925
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1989
-
负责人:Joseph Miller
-
依托单位:
A Program to Develop an Astronomy Charge-Coupled Device Imager
-
批准号:8617297
-
项目类别:Continuing Grant
-
资助金额:$39.9万
-
财政年份:1987
-
负责人:Joseph Miller
-
依托单位:
Charge-Coupled Devices for Astronomical Research at Lick Observatory
-
批准号:8514682
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:Joseph Miller
-
依托单位:
Studies of Quasi-Stellar Objects and Related Active Systems
-
批准号:8406843
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1984
-
负责人:Joseph Miller
-
依托单位:
Development of Ccd Instrumentation For Astronomical ResearchAt Lick Observatory
-
批准号:8120960
-
项目类别:Continuing Grant
-
资助金额:$26.75万
-
财政年份:1982
-
负责人:Joseph Miller
-
依托单位:
Studies of Quasi-Stellar Objects and Related Active Systems
-
批准号:8019322
-
项目类别:Standard Grant
-
资助金额:$10.2万
-
财政年份:1980
-
负责人:Joseph Miller
-
依托单位:
A Spectropolarimeter For the Lick Observatory Image Tube Scanner
-
批准号:7819753
-
项目类别:Standard Grant
-
资助金额:$7.32万
-
财政年份:1978
-
负责人:Joseph Miller
-
依托单位:
Summer Workshop in Astronmy and Astrophysics at Ucsc, July 9Through July 29, 1978
-
批准号:7812397
-
项目类别:Standard Grant
-
资助金额:$0.3万
-
财政年份:1978
-
负责人:Joseph Miller
-
依托单位:
Area Scanning With the Lick Observatory Image Tube Scanner For Astronomical Research
-
批准号:7605703
-
项目类别:Continuing Grant
-
资助金额:$10.44万
-
财政年份:1976
-
负责人:Joseph Miller
-
依托单位:
Spectrophotometry of Quasi-Stellar Objects
-
批准号:7620843
-
项目类别:Standard Grant
-
资助金额:$6.24万
-
财政年份:1976
-
负责人:Joseph Miller
-
依托单位:
海外基金