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),这是3月的第一个周末在佛罗里达大学举行的年度数学逻辑周末会议。在该系列的每一部分中,会议将研究人员汇集到两个选定的数学逻辑子场中,以促进信息的合作和交流。每一期将在职业生涯的早期阶段举办三位高级全体演讲者和大约35名参与者,以两次特别会议进行会谈。在会议周末的肩膀上,还举办了卫星座谈会,鼓励参与者停留更长的时间并在其研究项目上进行合作。该建议用于支持东南逻辑研讨会(SEALS),这是佛罗里达大学举行的年度数学逻辑周末逻辑周末会议系列。在该系列的每一部分中,会议将研究人员汇集到两个选定的数学逻辑子场中,以促进信息的合作和交流。配对的子字段可能包括模型理论/集合理论动力学,或描述性集理论/计算性或无选的集合理论/波兰人组动作。会议的目标受众包括从高级研究生到博士后再到没有个人旅行补助的早期职业教授的研究人员。 2024年版的网站是https://people.clas.ufl.edu/r-tuckerdrob/seals-2024/this Award反映了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
相似国自然基金
桂东南印支期花岗岩轻-重稀土分异和重稀土富集机制研究
- 批准号:42372102
- 批准年份:2023
- 资助金额:53 万元
- 项目类别:面上项目
华北克拉通东南缘徐淮盆地早新元古界物源分析及其构造意义
- 批准号:42302249
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于机载冰雷达数据的东南极冰盖冰下地貌形态及其冰流作用研究
- 批准号:42301162
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
复合功能菌群对镉-土霉素复合污染土壤上番茄-东南景天间作效应的调控作用机制
- 批准号:42307019
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
藏东南史前作物结构演变与农业活动研究
- 批准号:42371171
- 批准年份:2023
- 资助金额:52.00 万元
- 项目类别:面上项目
相似海外基金
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万 - 项目类别: