S公司盖子S公司OME公司R（右）ECENT公司（A）ND（无损检测）S公司OME公司N个OT公司S公司O（运行）R（右）ECENT公司)T型阿尔克斯

本页提供了一些近期（和一些非近期）的幻灯片集合最近）邀请的会谈和我所做的会议报告。这些幻灯片旨在补充我的一篇论文和我的口头陈述本身，所以他们并不是真正独立的。

S公司点火开关T型EAM公司P（P）陈述2010/2011

SIGNES团队的演示稍微详细一些和说教（至少我希望如此！）相比，研讨会演示。

Moot，R.（2011），“动词和时间”。对方面的简短介绍，基于Vendler（1957）的经典文章，但参考了有影响力的后期文章数量(幻灯片).

Moot，R.（2011），“逻辑与拓扑”。逻辑简介和拓扑，注意逻辑S4u个，与建模相关以及与Itipy项目相关的推理(幻灯片).

Moot，R.（2010），“法语语法提取”。由两部分组成的演示描述我提取类型逻辑的法语树库的工作(第一部分幻灯片，幻灯片第二部分).

A类九、-E类N个-P（P）罗文斯2011

应邀在实验室假释和语言实验室发表演讲Aix-en-Provence，2011年1月19日。我谈论我的语法语体中预设的提取与实现Bos e.a.（2004）和Kamp（2001），（我的幻灯片).

C类澳大利亚LD 2010，北欧ANCY公司

在被邀请参加最后一次CauLD研讨会时，我做了一次演讲（和演示），12月13日至14日，南希(幻灯片)，正在交谈关于法语的POS标记、超级标记和广泛覆盖语义。

TALN 2010年，MONTREAL公司

这些幻灯片来自我在TALN的“助推器”和演示文稿2010年7月19日至23日在加拿大蒙特利尔举行的会议。它们描述了法语的类型逻辑树库，及其在宽覆盖语义(提取幻灯片，演示幻灯片).

一些旧的幻灯片和演讲

B类阿塞洛纳2005

这些幻灯片是2005年11月18日在巴塞罗那举行的受邀演讲。它介绍了我在语料库提取和广泛覆盖分析方面的工作类型逻辑语法，组合圣杯用我的一套语料库工具.

但请注意，这要归功于更精细的语料库提取和更复杂的我开发的工具，超级标签的性能提高了自从那次谈话以来，情况相当不错。

Moot，R.（2005），“使用类型逻辑语法的广域解析”(幻灯片)

D类UBLIN公司2007

本演示文稿概述了不同的过滤策略Grail使用的，并用一组随机生成的序列。

Moot，R.（2007），“过滤公理链接”(幻灯片).

U型TRECHT公司2007

这些幻灯片是2007年7月7日在乌得勒支随后为纪念马泰奥·卡佩莱蒂博士辩护而组织的研讨会那天。它概述了我的技术报告“Proof Nets”的思想这是我第一次链接Lambek-Grishin树邻接文法的微积分。

Moot，R.（2007），“显示逻辑的验证网络”(幻灯片，技术报告).

P（P）AUILLAC公司2007

这是在阿兰·勒科姆（Alain Lecomte）60周年之际的演讲2007年11月2日和3日，我们在波亚克庆祝了生日。它多模Lambek演算与Ed Stabler演算的链接证明网解读乔姆斯基的极简主义语法。这是一种尝试协调Vermaat的工作和Amblard、Lecomte和Retoré提供了嵌入极简主义者的不同方法语法分为范畴语法。

Moot，R.（2007），“证明网和极简主义”(幻灯片)

P（P）雷吕德2008

这些幻灯片向1月16日ANR Blanc“Prélude”会议与会者2008年在巴黎。这与我在乌得勒支2007年的演讲很相似，但更适合线性逻辑受众，更关注LG证明网并给出了更多的语言应用示例。

Moot，R.（2008），“LG的防护网”(幻灯片).

M（M）埃托德斯F类奥米尔斯2008

这些幻灯片是我在2008年5月13日为我的研究团队做的演讲Formelles’a波尔多。它类似于下面的TAG+演示，但关于树邻接语法的细节较少，而技术性更强类型逻辑证明的超边缘替换文法细节网络。

Moot，R.（2008），“类型逻辑和超边缘替换语法”(幻灯片).

标签+2008 T尤宾根

我展示了我的工作，将类型逻辑文法与树邻接关联起来语法和超边缘替换语法将于2008年6月7日在此发布。技术性较差比我上面的波尔多葡萄酒演示文稿，它勾勒出了正常的形式树邻接文法的证明。

Moot，R.（2008），“Lambek语法，树邻接语法和Hyperedge Replacement Grammars’，第九届TAG+2008演讲国际邻接树语法及相关会议形式主义，2008年6月7日至8日，图宾根(幻灯片，会议记录文件).

50年耳朵S公司YNTACTIC公司C类阿尔库卢斯，CHIETI公司

庆祝兰贝克《微积分论》发表50周年“句法类型”，Claudia Casadia组织了一次研讨会，以纪念Lambek在Chieti/Pescara。几位研究人员应邀出席与句法演算相关的最新发展。我展示了一个我的TAG+对话的更长版本，更多地关注Lambek语法以及我的结果对解析的影响例如。

Moot，R.（2008），“Lambek语法和超边缘替换语法”，7月10日至11日在句法演算五十年大会上受邀演讲2008年，基辅(幻灯片).

理查德·穆特@labri.fr
上次修改时间：2011年3月18日星期五01:27:33 CET