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 Lempp 威斯康星州南部逻辑研讨会现已进入第五个年头，仍然是该国最大的地区逻辑研讨会之一，每隔一周举行一次或两次演讲，平均吸引了来自威斯康星州南部的二十或三十名教师和研究生。威斯康星大学麦迪逊分校、马凯特大学（密尔沃基）、威斯康星大学帕克赛德分校（基诺沙）和威斯康星大学森特罗克县（简斯维尔）。演讲代表了整个逻辑领域，包括数理逻辑的所有领域以及计算机科学、语言学和工业中应用的逻辑。 ***

项目成果

期刊论文数量（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其他文献

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

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