The 11th Conference on Mathematical Foundations of Programming Semantics, Tulane University, New Orleans, Louisiana

第 11 届编程语义数学基础会议,杜兰大学,路易斯安那州新奥尔良

基本信息

  • 批准号:
    9503096
  • 负责人:
  • 金额:
    $ 0.34万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1995
  • 资助国家:
    美国
  • 起止时间:
    1995-03-15 至 1995-08-31
  • 项目状态:
    已结题

项目摘要

TITLE: The 11th Conference on Mathematical Foundations of This award supported the eleventh meeting in a series concerned with the Mathematical Foundations of Programming Semantics. Research in this area ranges from the design to the implementation of programming languages, focusing on the semantics of such languages, and includes those areas of mathematics that underlie these research areas. Topics ranged from type theory, polymorphism, and models of the lambda calculus to specification, program logics, and proof theories. Previous meetings have been distinguished by the breadth of interests of the participants and by the high degree of interaction that has taken place between researchers representing these diverse areas. The purpose of this award was to assist students and to create wider opportunities for participation in this research community, in particular for women and members of other underrepresented groups.
标题:该奖项的第11届数学基础会议支持了关于编程语义的数学基础的系列会议的第11次会议。这一领域的研究范围从编程语言的设计到实现,侧重于这些语言的语义,并包括这些研究领域的基础数学领域。主题从类型理论、多态和lambda演算的模型到规范、程序逻辑和证明理论。以往会议的特点是与会者的兴趣广泛,以及代表这些不同领域的研究人员之间的高度互动。该奖项的目的是帮助学生并创造更广泛的机会参与这一研究领域,特别是为妇女和其他代表性不足群体的成员创造机会。

项目成果

期刊论文数量(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 }}

Michael Mislove其他文献

Erratum to: Articles by A.H. Clifford
  • DOI:
    10.1007/s00233-013-9494-7
  • 发表时间:
    2013-06-06
  • 期刊:
  • 影响因子:
    0.700
  • 作者:
    Michael Mislove
  • 通讯作者:
    Michael Mislove
Dimension raising maps in topological algebra
  • DOI:
    10.1007/bf01214302
  • 发表时间:
    1973-03-01
  • 期刊:
  • 影响因子:
    1.000
  • 作者:
    Karl Heinrich Hofmann;Michael Mislove;Albert Stralka
  • 通讯作者:
    Albert Stralka
Semilattices which must contain a copy of 2n
  • DOI:
    10.1007/bf02575524
  • 发表时间:
    1985-12-01
  • 期刊:
  • 影响因子:
    0.700
  • 作者:
    Jimmie D. Lawson;Michael Mislove
  • 通讯作者:
    Michael Mislove
Amalgamation in categories with concrete duals
  • DOI:
    10.1007/bf02485840
  • 发表时间:
    1976-12-01
  • 期刊:
  • 影响因子:
    0.600
  • 作者:
    Karl Heinrich Hofmann;Michael Mislove
  • 通讯作者:
    Michael Mislove
The centralizing theorem for left normal groups of units in compact monoids
  • DOI:
    10.1007/bf02572939
  • 发表时间:
    1971-12-01
  • 期刊:
  • 影响因子:
    0.700
  • 作者:
    Karl Heinrich Hofmann;Michael Mislove
  • 通讯作者:
    Michael Mislove

Michael Mislove的其他文献

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

{{ truncateString('Michael Mislove', 18)}}的其他基金

EAGER: Computational Models, Topological Games, and Classical Information
EAGER:计算模型、拓扑博弈和经典信息
  • 批准号:
    1258595
  • 财政年份:
    2012
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Collaborative Research: A Coalgebraic Framework for Development and Composition of Hybrid Systems
协作研究:混合系统开发和组合的代数框架
  • 批准号:
    0208743
  • 财政年份:
    2002
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Continuing Grant
Support for Mathematical Foundations of Programming Semantics Special Session on Hybrid Systems
支持混合系统编程语义特别会议的数学基础
  • 批准号:
    0211217
  • 财政年份:
    2002
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Probabilistic Analysis of Hybrid Systems
混合系统的概率分析
  • 批准号:
    0130550
  • 财政年份:
    2001
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Semantics Models for Concurrency
并发语义模型
  • 批准号:
    9803815
  • 财政年份:
    1998
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
US-Brazil Workshop on Formal Foundations of Software Systems: Tulane University, New Orleans, LA, November 1997
美国-巴西软件系统形式基础研讨会:杜兰大学,路易斯安那州新奥尔良,1997 年 11 月
  • 批准号:
    9727866
  • 财政年份:
    1997
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Conference on Semigroup Theory & Its Applications
半群理论会议
  • 批准号:
    9402118
  • 财政年份:
    1994
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
5th WORKSHOP ON MATHEMATICAL FOUNDATION OF PROGRAMMING SEMANTICS
第五届编程语义数学基础研讨会
  • 批准号:
    8820516
  • 财政年份:
    1989
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
U.S.-United Kingdom Cooperative Research: Continuous Lattices, their Structure, Theory and Applications (Mathematics)
美英合作研究:连续格子、其结构、理论与应用(数学)
  • 批准号:
    8402236
  • 财政年份:
    1984
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant

相似海外基金

Collaborative Research: Conference: Great Lakes Mathematical Physics Meetings 2024-2025
合作研究:会议:2024-2025 年五大湖数学物理会议
  • 批准号:
    2401257
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: Mathematical Sciences Institutes Diversity Initiative
合作研究:会议:数学科学研究所多样性倡议
  • 批准号:
    2317573
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Continuing Grant
Conference: Mathematical Methods for Novel Metamaterials
会议:新型超材料的数学方法
  • 批准号:
    2328600
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Conference: Creating an accessible conference to support inclusive research in Mathematical Cognition and Learning
会议:创建一个无障碍会议以支持数学认知和学习的包容性研究
  • 批准号:
    2348499
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: Mathematical Sciences Institutes Diversity Initiative
合作研究:会议:数学科学研究所多样性倡议
  • 批准号:
    2317570
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Continuing Grant
Conference: Quantum Topology, Quantum Information and connections to Mathematical Physics
会议:量子拓扑、量子信息以及与数学物理的联系
  • 批准号:
    2350250
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: Great Lakes Mathematical Physics Meetings 2024-2025
合作研究:会议:2024-2025 年五大湖数学物理会议
  • 批准号:
    2401258
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Conference: Mathematical models and numerical methods for multiphysics problems
会议:多物理问题的数学模型和数值方法
  • 批准号:
    2347546
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic
会议:参加第二十届拉丁美洲数理逻辑研讨会的旅行奖
  • 批准号:
    2414907
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: Mathematical Sciences Institutes Diversity Initiative
合作研究:会议:数学科学研究所多样性倡议
  • 批准号:
    2317572
  • 财政年份:
    2024
  • 资助金额:
    $ 0.34万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了