Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
基本信息
- 批准号:2401437
- 负责人:
- 金额:$ 9万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2024
- 资助国家:美国
- 起止时间:2024-02-15 至 2027-01-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
The proposal is used to support the Southeastern Logic Symposium (SEALS), an annual series of weekend conferences in mathematical logic held at University of Florida during the first weekend of March. In each installment of the series, the conference brings together researchers in two selected subfields of mathematical logic to foster cooperation and exchange of information. Each installment will host three senior plenary speakers and about 35 participants in the early stages of their career giving talks in two special sessions. There are satellite colloquium talks on the shoulders of the conference weekend as well, encouraging the participants to stay longer and cooperate on their research projects.The proposal is used to support the Southeastern Logic Symposium (SEALS), an annual series of weekend conferences in mathematical logic held at University of Florida. In each installment of the series, the conference brings together researchers in two selected subfields of mathematical logic to foster cooperation and exchange of information. The paired subfields may include model theory/set theoretic dynamics, or descriptive set theory/computability, or choiceless set theory/Polish group actions. The target audience for the conference includes mainly researchers from advanced graduate students to postdocs to early career professors without personal travel grants. The website for the 2024 edition is https://people.clas.ufl.edu/r-tuckerdrob/seals-2024/This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
该提案用于支持东南逻辑研讨会 (SEALS),这是每年三月第一个周末在佛罗里达大学举行的数理逻辑周末系列会议。在该系列的每一期中,会议都汇集了数理逻辑两个选定子领域的研究人员,以促进合作和信息交流。每期将邀请三名资深全体演讲者和约 35 名处于职业生涯早期阶段的参与者在两场特别会议上发表演讲。会议周末还举办卫星座谈会,鼓励与会者停留更长时间并在他们的研究项目上进行合作。该提案用于支持东南逻辑研讨会(SEALS),这是数学领域的年度系列周末会议逻辑学在佛罗里达大学举行。在该系列的每一期中,会议都汇集了数理逻辑两个选定子领域的研究人员,以促进合作和信息交流。配对的子领域可以包括模型论/集合论动力学,或描述性集合论/可计算性,或无选择集合论/波兰群行动。会议的目标受众主要包括从高级研究生到博士后到没有个人旅行补助的早期职业教授的研究人员。 2024 年版的网站是 https://people.clas.ufl.edu/r-tuckerdrob/seals-2024/ 该奖项反映了 NSF 的法定使命,并通过使用基金会的智力优点和更广泛的影响进行评估,被认为值得支持审查标准。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Jindrich Zapletal其他文献
Jindrich Zapletal的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jindrich Zapletal', 18)}}的其他基金
SM: Logic Year at the University of Florida
SM:佛罗里达大学逻辑年
- 批准号:
0532644 - 财政年份:2005
- 资助金额:
$ 9万 - 项目类别:
Standard Grant
Cardinal Invariants and Descriptive Set Theory
基数不变量和描述集合论
- 批准号:
0300201 - 财政年份:2003
- 资助金额:
$ 9万 - 项目类别:
Standard Grant
Large Cardinals and the Methodology of Mathematics
大基数和数学方法论
- 批准号:
0071437 - 财政年份:2000
- 资助金额:
$ 9万 - 项目类别:
Standard Grant
相似国自然基金
青藏高原东南部隆升和三江流域演化的地表过程模拟与反演研究
- 批准号:42272261
- 批准年份:2022
- 资助金额:58 万元
- 项目类别:面上项目
青藏高原热动力强迫对中国东南部春季云和大气辐射收支的影响
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
西藏东南部濒危植物巨柏细根形态结构与功能研究
- 批准号:
- 批准年份:2022
- 资助金额:33 万元
- 项目类别:地区科学基金项目
青藏高原东南部隆升和三江流域演化的地表过程模拟与反演研究
- 批准号:
- 批准年份:2022
- 资助金额:58 万元
- 项目类别:面上项目
青藏高原东南部岩石圈热结构及其构造意义
- 批准号:42272352
- 批准年份:2022
- 资助金额:57 万元
- 项目类别:面上项目
相似海外基金
Synthesis of Antimalarial ICTs Using Biosynthetic Logic
使用生物合成逻辑合成抗疟ICT
- 批准号:
9066741 - 财政年份:2013
- 资助金额:
$ 9万 - 项目类别:
Synthesis of Antimalarial ICTs Using Biosynthetic Logic
使用生物合成逻辑合成抗疟ICT
- 批准号:
8720792 - 财政年份:2013
- 资助金额:
$ 9万 - 项目类别:
Synthesis of Antimalarial ICTs Using Biosynthetic Logic
使用生物合成逻辑合成抗疟ICT
- 批准号:
8596765 - 财政年份:2013
- 资助金额:
$ 9万 - 项目类别:
The Childhood Liver Disease Research and Education Network (ChiLDREN)
儿童肝病研究和教育网络 (ChiLDREN)
- 批准号:
9552412 - 财政年份:2005
- 资助金额:
$ 9万 - 项目类别: