Conference: Logic Meeting at UCLA

会议:加州大学洛杉矶分校的 Logic 会议

基本信息

  • 批准号:
    2302308
  • 负责人:
  • 金额:
    $ 1.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-01-01 至 2023-12-31
  • 项目状态:
    已结题

项目摘要

This award supports a meeting on mathematical logic, titled a Very Informal Gathering of Logicians, from Friday February 10, to Sunday February 12, 2023, at the University of California Los Angeles. This is the twenty-first in a series of biennial logic meetings at UCLA which, starting in the mid 1970s, has been one of the most important forums for mathematical logic on the West Coast. The meeting is a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. About half the grant funds are dedicated to travel awards for graduate students and early career researchers, to allow them to come to the meeting. Most of the participants will be research mathematicians and university teachers. What they learn at the meeting will have a positive impact on their research and teaching.The meeting is scheduled to have twelve talks, on a wide range of topics within mathematical logic, including set theory, model theory, recursion theory, and philosophical logic, with speakers at all career stages who have obtained outstanding results in these fields. One of the talks is a named lecture in honor of Greg Hjorth. The 2023 Hjorth speaker is Maryanthe Malliaris. The meeting's webpage is at http://www.math.ucla.edu/~ineeman/Conf/VIG2023/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.
该奖项支持于 2023 年 2 月 10 日星期五至 2023 年 2 月 12 日星期日在加州大学洛杉矶分校举行的题为“非常非正式的逻辑学家聚会”的数理逻辑会议。这是 UCLA 每两年一次的一系列逻辑会议中的第二十一次,该会议自 20 世纪 70 年代中期开始,一直是西海岸最重要的数理逻辑论坛之一。这次会议是逻辑学家了解和讨论研究的重要进展、交流思想以及在科学项目上进行合作的重要机会。大约一半的拨款资金专门用于为研究生和早期职业研究人员提供差旅费,以便他们能够参加会议。大多数参与者将是研究数学家和大学教师。他们在会议上学到的东西将对他们的研究和教学产生积极的影响。会议安排了十二场演讲,主题广泛,涉及数理逻辑领域,包括集合论、模型论、递归论和哲学逻辑,演讲者来自各个职业阶段,在这些领域取得了杰出的成果。其中一场演讲是以格雷格·霍斯 (Greg Hjorth) 的名字命名的演讲。 2023 年 Hjorth 演讲者是 Maryanthe Malliaris。该会议的网页位于 http://www.math.ucla.edu/~ineeman/Conf/VIG2023/ 该奖项反映了 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 }}

Itay Neeman其他文献

Two applications of finite side conditions at ω2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega _2$$\end{docume
有限边条件在 ω2documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek 的两个应用} setlength{oddsidemargin}{-69pt} egin{文档}$$omega _2$$end{文档
  • DOI:
    10.1007/s00153-017-0550-y
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0.3
  • 作者:
    Itay Neeman
  • 通讯作者:
    Itay Neeman
The domestic levels ofK c are iterable
  • DOI:
    10.1007/bf02773379
  • 发表时间:
    2001-12-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Alessandro Andretta;Itay Neeman;John Steel
  • 通讯作者:
    John Steel
Unraveling Π 1 1 sets, revisited
  • DOI:
    10.1007/bf02771982
  • 发表时间:
    2006-12-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Itay Neeman
  • 通讯作者:
    Itay Neeman

Itay Neeman的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Itay Neeman', 18)}}的其他基金

Forcing, inner models, and large cardinals.
强迫、内部模型和大基数。
  • 批准号:
    2246905
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1901676
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Forcing with Large Cardinals
强迫大红雀
  • 批准号:
    1800613
  • 财政年份:
    2018
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Forcing and Large Cardinals
强迫和大红衣主教
  • 批准号:
    1764029
  • 财政年份:
    2018
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
Logic meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1700600
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Combinatorial Set Theory, Model Theory of Abstract Elementary Classes, and Borel Combinatorics
组合集合论、抽象初等类模型论和 Borel 组合学
  • 批准号:
    1700425
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1463601
  • 财政年份:
    2015
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Forcing and large cardinals
强迫和大基数
  • 批准号:
    1363364
  • 财政年份:
    2014
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
Logic Meeting at UCLA
加州大学洛杉矶分校的逻辑会议
  • 批准号:
    1305671
  • 财政年份:
    2013
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Large cardinals and the continuum
大基数和连续体
  • 批准号:
    1101204
  • 财政年份:
    2011
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant

相似国自然基金

greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目

相似海外基金

Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343607
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
  • 批准号:
    2401437
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials
职业:由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件
  • 批准号:
    2339723
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method
RII Track-4:NSF:将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部
  • 批准号:
    2327247
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343606
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
  • 批准号:
    2347294
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
  • 批准号:
    BB/Y000234/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Research Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
  • 批准号:
    2408942
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Enriched Categorical Logic
丰富的分类逻辑
  • 批准号:
    EP/X027139/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Fellowship
SHF: Small: Game Logic Programming
SHF:小:游戏逻辑编程
  • 批准号:
    2346619
  • 财政年份:
    2024
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了