Southeastern Logic Symposium
东南逻辑研讨会
基本信息
- 批准号:1945890
- 负责人:
- 金额:$ 4.73万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2020
- 资助国家:美国
- 起止时间:2020-01-01 至 2024-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award supports participants of the Southeastern Logic Symposia in 2020-2022. The first meeting will take place February 29-March 1, 2020 at the University of Florida, Gainesville, and there will be one 2-day meeting per year, taking place at the University of Florida in early March. The Southeastern Logic Symposia series provides a forum for set theorists and computability theorists to meet on a regular basis and the interactions between the two fields keep producing new mathematical ideas. The conference series is also unique in a geographic respect: in the south-eastern region of the US, no other regular mathematical logic meetings take place.Each meeting will feature three plenary talks given by senior speakers in mathematical logic, and two special sessions, one in computability theory and another in set theory. The organizers expect roughly 30 participants each year. More details about the symposium will be available at https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/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.
该奖项支持2020-2022年东南逻辑研讨会的参与者。第一次会议将于2020年2月29日至3月1日在盖恩斯维尔的佛罗里达大学举行,每年将有一次为期2天的会议,于3月初在佛罗里达大学举行。东南逻辑研讨会系列为集合理论家和可计算性理论家提供了一个定期会面的论坛,这两个领域之间的相互作用不断产生新的数学思想。该系列会议在地理方面也是独一无二的:在美国东南部地区,没有其他定期的数理逻辑会议举行。每次会议将包括三个由数理逻辑高级发言人提供的全体会议,以及两个特别会议,一个在可计算性理论,另一个在集合论。组织者预计每年约有30名参与者。有关研讨会的更多细节将在www.example.com上提供https://people.clas.ufl.edu/zapletal/south-eastern-logic-symposium-2020/This奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Generically and coarsely computable isomorphisms
一般和粗略可计算的同构
- DOI:10.3233/com-210382
- 发表时间:2022
- 期刊:
- 影响因子:0.6
- 作者:Calvert, Wesley;Cenzer, Douglas;Harizanov, Valentina
- 通讯作者:Harizanov, Valentina
{{
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)}}的其他基金
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
- 批准号:
2401437 - 财政年份:2024
- 资助金额:
$ 4.73万 - 项目类别:
Continuing Grant
SM: Logic Year at the University of Florida
SM:佛罗里达大学逻辑年
- 批准号:
0532644 - 财政年份:2005
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
Cardinal Invariants and Descriptive Set Theory
基数不变量和描述集合论
- 批准号:
0300201 - 财政年份:2003
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
Large Cardinals and the Methodology of Mathematics
大基数和数学方法论
- 批准号:
0071437 - 财政年份:2000
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
- 批准号:
2401437 - 财政年份:2024
- 资助金额:
$ 4.73万 - 项目类别:
Continuing Grant
Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic
会议:参加第二十届拉丁美洲数理逻辑研讨会的旅行奖
- 批准号:
2414907 - 财政年份:2024
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
Nineteenth Latin American Symposium on Mathematical Logic
第十九届拉丁美洲数理逻辑研讨会
- 批准号:
2212620 - 财政年份:2022
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
The Eighteenth Latin American Symposium on Mathematical Logic
第十八届拉丁美洲数理逻辑研讨会
- 批准号:
1947015 - 财政年份:2019
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
16th Latin American Symposium on Mathematical Logic, July 28 - August 1, 2014
第16届拉丁美洲数理逻辑研讨会,2014年7月28日至8月1日
- 批准号:
1445110 - 财政年份:2014
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
Travel Awards to Attend the Fifteenth Latin American Symposium on Mathematical Logic
参加第十五届拉丁美洲数理逻辑研讨会的旅行奖
- 批准号:
1237389 - 财政年份:2012
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
WORKSHOP: Research Symposium: Logic and Mathematics 09
研讨会:研究研讨会:逻辑与数学 09
- 批准号:
EP/G057192/1 - 财政年份:2009
- 资助金额:
$ 4.73万 - 项目类别:
Research Grant
Latin American Symposium on Mathematical Logic, Paraty, Brazil, May 11-17, 2008
拉丁美洲数理逻辑研讨会,巴西帕拉蒂,2008 年 5 月 11-17 日
- 批准号:
0819590 - 财政年份:2008
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant
Latin American Symposium on Mathematical Logic XIII: Participant Support
拉丁美洲数理逻辑研讨会第十三届:参与者支持
- 批准号:
0605727 - 财政年份:2006
- 资助金额:
$ 4.73万 - 项目类别:
Standard Grant