Support for Participation in Logic and Computational Complexity: Workshop in Honor of Neil Immerman
Support for Participation in Logic and Computational Complexity: Workshop in Honor of Neil Immerman
批准号:
1417174
负责人:
Shlomo Zilberstein
金额:
$1.23万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-04-01 至 2016-05-31
中文摘要
该资助为研究生参加2014逻辑和计算复杂性研讨会提供旅费支持,该研讨会将于2014年7月12日至13日在奥地利维也纳举行,该研讨会将在维也纳逻辑夏季活动期间举行,其中包括联邦逻辑会议(FLoC'2014)。资助学生旅行具有显著的更广泛的影响,因为它使学生有机会成为他们研究社区的一部分,与他人讨论他们的研究,倾听并与该领域的领导者会面。这个研讨会是国际化的,提供了一个国际化的维度,因为学生将有相关的经验,成为全球劳动力的一部分。
英文摘要
The grant provides travel support for graduate students to attend the 2014 Logic and Computational Complexity Workshop that will take place in Vienna, Austria, on July 12-13, 2014, which is taking place during the Vienna Summer of Logic event, which encompasses the Federated Logic Conferences (FLoC'2014). Funding for student travel has significant broader impacts because of the opportunity it gives the students to become part of their research community, discuss their research with others, listen to and meet with leaders in the field. This workshop is international and provides an international dimension, because students will have experiences relevant to becoming part of a global workforce.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RI: Small: Foundations and Applications of Observer-Aware Planning
-
批准号:2205153
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2022
-
负责人:Shlomo Zilberstein
-
依托单位:
Collaborative Research: RI: Medium: Introspective Perception and Planning for Long-Term Autonomy
-
批准号:1954782
-
项目类别:Continuing Grant
-
资助金额:$60.0万
-
财政年份:2020
-
负责人:Shlomo Zilberstein
-
依托单位:
RI: Small: Adaptive Metareasoning for Bounded Rational Agents
-
批准号:1813490
-
项目类别:Standard Grant
-
资助金额:$40.47万
-
财政年份:2018
-
负责人:Shlomo Zilberstein
-
依托单位:
S&AS: FND: Reliable Semi-Autonomy with Diminishing Reliance on Humans
-
批准号:1724101
-
项目类别:Standard Grant
-
资助金额:$69.95万
-
财政年份:2017
-
负责人:Shlomo Zilberstein
-
依托单位:
RI: Small: Probabilistic Planning with Reduced Models
-
批准号:1524797
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2015
-
负责人:Shlomo Zilberstein
-
依托单位:
RI: Medium: Computational Models, Interaction Mechanisms, and Planning Algorithms for Semi-Autonomous Systems
-
批准号:1405550
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2014
-
负责人:Shlomo Zilberstein
-
依托单位:
RI: Small: Planning Algorithms for Large Decentralized Multiagent Settings
-
批准号:1116917
-
项目类别:Continuing Grant
-
资助金额:$44.99万
-
财政年份:2011
-
负责人:Shlomo Zilberstein
-
依托单位:
RI: Small: Foundations and Applications of Generalized Planning
-
批准号:0915071
-
项目类别:Standard Grant
-
资助金额:$45.5万
-
财政年份:2009
-
负责人:Shlomo Zilberstein
-
依托单位:
Support for Participation in the 2009 International Summer School on Planning and Scheduling
-
批准号:0937593
-
项目类别:Standard Grant
-
资助金额:$2.59万
-
财政年份:2009
-
负责人:Shlomo Zilberstein
-
依托单位:
RI-Small: Decision-Theoretic Planning for Multi-Agent Systems
-
批准号:0812149
-
项目类别:Standard Grant
-
资助金额:$40.47万
-
财政年份:2008
-
负责人:Shlomo Zilberstein
-
依托单位:
Improving the Scalability of Stochastic Planning Algorithms
-
批准号:0535061
-
项目类别:Continuing Grant
-
资助金额:$30.49万
-
财政年份:2005
-
负责人:Shlomo Zilberstein
-
依托单位:
Learning to Perform Moderation in Online Forums
-
批准号:0328601
-
项目类别:Continuing Grant
-
资助金额:$25.08万
-
财政年份:2004
-
负责人:Shlomo Zilberstein
-
依托单位:
ITR: A Formal Study of Coordination and Control of Collaborative Multi-Agent Systems Using Decentralized MDPs
-
批准号:0219606
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Shlomo Zilberstein
-
依托单位:
Dynamic Composition of Information Retrieval Techniques
-
批准号:9907331
-
项目类别:Continuing Grant
-
资助金额:$43.72万
-
财政年份:2000
-
负责人:Shlomo Zilberstein
-
依托单位:
U.S.-France Cooperative Research (INRIA): Resource-Bounded Knowledge-Based Systems
-
批准号:9612092
-
项目类别:Standard Grant
-
资助金额:$2.7万
-
财政年份:1997
-
负责人:Shlomo Zilberstein
-
依托单位:
Intelligent Information Gathering Using Decision Models
-
批准号:9634938
-
项目类别:Continuing Grant
-
资助金额:$32.29万
-
财政年份:1996
-
负责人:Shlomo Zilberstein
-
依托单位:
Resource-Bounded Reasoning in Intelligent Systems: New Directions & Opportunities
-
批准号:9624992
-
项目类别:Continuing Grant
-
资助金额:$22.3万
-
财政年份:1996
-
负责人:Shlomo Zilberstein
-
依托单位:
RIA: Optimal Resource-Bounded Reasoning Using Compilation and Monitoring of Anytime Algorithms
-
批准号:9409827
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1994
-
负责人:Shlomo Zilberstein
-
依托单位:
海外基金