Mathematical Sciences: Southern Wisconsin Logic Colloquium
Mathematical Sciences: Southern Wisconsin Logic Colloquium
批准号:
9413458
负责人:
Steffen Lempp
金额:
$1.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-12-01 至 1997-11-30
中文摘要
9413458 Lempp南威斯康星逻辑研讨会现已进入第五个年头,仍然是美国最大的区域逻辑研讨会之一,每隔一周举行一到两次讲座,平均吸引了来自威斯康星大学麦迪逊分校、密尔沃基马凯特大学(密尔沃基)、威斯康星大学帕克赛德分校(基诺沙)和威斯康星大学罗克县分校(简斯维尔)的二三十名教职员工和研究生。讲座涵盖了整个逻辑领域,包括数理逻辑的所有领域,以及在计算机科学、语言学和工业中应用的逻辑。***
英文摘要
9413458 Lempp The Southern Wisconsin Logic Colloquium, now in its fifth year, continues to be one of the largest regional logic seminars in the country, meeting every other week for one or two talks and attracting an average of twenty or thirty faculty and graduate students from the University of Wisconsin-Madison, Marquette University (Milwaukee), the University of Wisconsin-Parkside (Kenosha), and the University of Wisconsin Center-Rock County (Janesville). Talks represent the whole spectrum of logic, including all areas of mathematical logic and logic applied in computer science, linguistics, and industry. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
-
批准号:0555381
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Steffen Lempp
-
依托单位:
Computability Theory
-
批准号:0140120
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Steffen Lempp
-
依托单位:
Computability and Effective Constructions in Mathematics
-
批准号:0075899
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:2000
-
负责人:Steffen Lempp
-
依托单位:
Computability, Enumerability, Decidability and Definability
-
批准号:9732526
-
项目类别:Standard Grant
-
资助金额:$9.66万
-
财政年份:1998
-
负责人:Steffen Lempp
-
依托单位:
Workshop in Recursion Theory and Complexity Theory to be held in Kazan, Russia in July, 1997
-
批准号:9707156
-
项目类别:Standard Grant
-
资助金额:$1.55万
-
财政年份:1997
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Conference on Applied Model Theory
-
批准号:9625584
-
项目类别:Standard Grant
-
资助金额:$0.72万
-
财政年份:1996
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Computability, Decidability, and Definability
-
批准号:9504474
-
项目类别:Continuing Grant
-
资助金额:$8.04万
-
财政年份:1995
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:9100114
-
项目类别:Continuing Grant
-
资助金额:$9.49万
-
财政年份:1991
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Southern Wisconsin Logic Colloquium
-
批准号:9111849
-
项目类别:Standard Grant
-
资助金额:$0.96万
-
财政年份:1991
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8901529
-
项目类别:Standard Grant
-
资助金额:$3.86万
-
财政年份:1989
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8701891
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:1987
-
负责人:Steffen Lempp
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Handbook of the Mathematics of the Arts and Sciences的中文翻译
-
批准号:12226504
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:黄朝凌
-
依托单位:
SCIENCE CHINA: Earth Sciences
-
批准号:41224003
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:魏建晶
-
依托单位:
Journal of Environmental Sciences
-
批准号:21224005
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Information Sciences
-
批准号:61224002
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:宋扉
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51224001
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:安梅
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
Journal of Environmental Sciences
-
批准号:21024806
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
-
批准号:41024801
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:魏建晶
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:安梅
-
依托单位: