The Eighteenth Latin American Symposium on Mathematical Logic
The Eighteenth Latin American Symposium on Mathematical Logic
批准号:
1947015
负责人:
Russell Miller
金额:
$2.16万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-11-15 至 2021-10-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This award will support the participation of U.S.-based researchers at the Eighteenth Latin American Symposium on Mathematical Logic (the Simposio Latino Americano de Logica Matematica, or SLALM) at the Universidad de Concepcion in Chile on December 16-20, 2019. The SLALM series was conceived by Abraham Robinson in the 1960's, and SLALM meetings have been held intermittently since then, usually every two to four years, always in Latin America. These meetings have been instrumental in the growth of the discipline of logic in the region during that time, and also in encouraging cooperation between the logic communities in North and South America, as researchers from the U.S. and Canada frequently attend the SLALM. With the expansion of this contact has come fruitful exchange: the very top ranks of logicians in the U.S. these days include researchers born in Brazil and Uruguay, while U.S.-born logicians have taken permanent jobs in countries such as Colombia, and a substantial further number of researchers have traveled between the regions for postdoctoral positions. This particular NSF award will support the attendance of eight to ten US-based logicians at the 2019 SLALM, with an emphasis on students and junior researchers, and with preference for researchers from groups underrepresented in mathematics. The award will be administered by the Association for Symbolic Logic, which has supported the SLALM series since its inception and which recently made the SLALM an official ASL meeting, providing financial support for it to invite prominent speakers, in recognition of the growth of logic in Latin America. The 2019 SLALM will include eight plenary talks, four mini-courses, and four special sessions: computability and computer science; model theory; philosophy and non-classical logics; and set theory. The special sessions include prominent invited speakers and also contributed talks in which younger researchers will have the opportunity to present their work. SLALM website: http://slalmxviii.udec.clThis 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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability and the absolute Galois group of the rational numbers
-
批准号:2348891
-
项目类别:Continuing Grant
-
资助金额:$19.5万
-
财政年份:2024
-
负责人:Russell Miller
-
依托单位:
Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic
-
批准号:2414907
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2024
-
负责人:Russell Miller
-
依托单位:
Nineteenth Latin American Symposium on Mathematical Logic
-
批准号:2212620
-
项目类别:Standard Grant
-
资助金额:$2.7万
-
财政年份:2022
-
负责人:Russell Miller
-
依托单位:
Student Travel Support to Attend the North American Annual and European Summer Meetings of the Association For Symbolic Logic
-
批准号:1935558
-
项目类别:Continuing Grant
-
资助金额:$13.0万
-
财政年份:2020
-
负责人:Russell Miller
-
依托单位:
Mid-Atlantic Mathematical Logic Seminar
-
批准号:1834219
-
项目类别:Continuing Grant
-
资助金额:$5.59万
-
财政年份:2018
-
负责人:Russell Miller
-
依托单位:
Computability Theory, Facing Outwards
-
批准号:1362206
-
项目类别:Standard Grant
-
资助金额:$11.23万
-
财政年份:2014
-
负责人:Russell Miller
-
依托单位:
Student Travel Awards to Attend the North American Annual and European Summer Meetings of the ASL
-
批准号:1317262
-
项目类别:Continuing Grant
-
资助金额:$12.5万
-
财政年份:2013
-
负责人:Russell Miller
-
依托单位:
Computability Theory, Facing Outwards
-
批准号:1001306
-
项目类别:Standard Grant
-
资助金额:$10.72万
-
财政年份:2010
-
负责人:Russell Miller
-
依托单位:
Instructional Scientific Equipment Program
-
批准号:7511376
-
项目类别:Standard Grant
-
资助金额:$0.2万
-
财政年份:1975
-
负责人:Russell Miller
-
依托单位:
国内基金
海外基金
拓扑半金属LaTIn4(T=Ni,Pd,Pt)的费米面结构和朗道能级劈裂研究
-
批准号:12174039
-
项目类别:面上项目
-
资助金额:60万元
-
批准年份:2021
-
负责人:房勇
-
依托单位: