权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Mathematical Sciences: Southern Wisconsin Logic Colloquium

数学科学：威斯康星州南部逻辑研讨会

基本信息

批准号：
9413458
负责人：
Steffen Lempp
金额：
$ 1万
依托单位：
University of Wisconsin-Madison
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1994
资助国家：
美国
起止时间：
1994-12-01 至 1997-11-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9413458&HistoricalAwards=false
关键词：
Mathematical Sciences Southern Wisconsin Logic

项目摘要

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. ***

小行星9413458 南威斯康星州逻辑讨论会，现在在其第五个年头，仍然是最大的区域逻辑研讨会在该国之一，每隔一周举行一次会议，一个或两个讲座，并吸引了平均二十或三十名教师和研究生从威斯康星大学麦迪逊分校，马奎特大学（密尔沃基）、威斯康星大学帕克赛德分校（基诺沙）和威斯康星州中心岩县大学（简斯维尔）。讲座代表了逻辑的整个范围，包括数理逻辑和应用于计算机科学，语言学和工业的逻辑的所有领域。 ***

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Steffen Lempp其他文献

Computability-theoretic and proof-theoretic aspects of partial and linear orderings

DOI：
10.1007/bf02783429
发表时间：
2003-03-01
期刊：
ISRAEL JOURNAL OF MATHEMATICS
影响因子：
0.800
作者：
Rodney G. Downey;Denis R. Hirschfeldt;Steffen Lempp;Reed Solomon
通讯作者：
Reed Solomon

2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016

符号逻辑协会 2016 年北美年会康涅狄格大学美国康涅狄格州斯托尔斯 2016 年 5 月 23-26 日

DOI：
发表时间：
2017
期刊：
Bulletin of Symbolic Logic
影响因子：
0.6
作者：
A. Urquhart;Zoé Chatzidakis;École Normale;Magdalena Kaufmann;Patricia A. Blanchette;Uri Andrews;Hristo Ganchev;R. Kuyper;Steffen Lempp;Joseph S. Miller;And ALEXANDRA A. SOSKOVA;M. Soskova;Eric P. Astor;D. Dzhafarov;And REED SOLOMON;Jacob Suggs;David R. Belanger;Greg Igusa;Ludovic Patey;D. Turetsky;Jonathan Stephenson;Erin Caulfield;Spencer Unger
通讯作者：
Spencer Unger

Descriptive Set Theory and Computable Topology

描述集合论和可计算拓扑

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
M. Hoyrup;A. Pauly;V. Selivanov;M. Soskova;Dagstuhl Reports;Steffen Lempp;Jun Le Goh;K. Ng;Ronnie Chen;Takayuki Kihara;Matthias Schröder;Tu Darmstadt;DE License;Martin Ziegler;Riccardo Camerlo;E. Fokina;Nikolay Bazhenov;Dino Rossegger;Luca San;Alexandra Mauro;Stefan Soskova;Vatev Main;Philipp Schlicht;Alexandra A. Soskova;Rachael Alvir;W. Calvert;G. Goodman;V. Harizanov;Julia F. Knight;R. Miller;Andrei S. Morozov;Stefan V. Vatev;R. Weisshaar
通讯作者：
R. Weisshaar