包容性

学生

• 塞尔盖·伦格利特（L3）
• 罗曼·巴杜（L3）
• Aurélien Pardon（M2，博士）
• 米查·帕·卡（平方米）
• 弗洛里安·哈塔特（M2，2013年博士）
• 奥罗尔·阿尔科莱（L3）
• 克洛维斯·埃伯哈特（M2，普雷多克，博士）
• 阿德里安·杜里尔（预文档）
• Alexis Laouar（L3，流产博士）
• 安布罗西·拉丰（博士N.塔巴鲁)
• Gaïa Loutchmia（L3）
• 帕科梅·卢顿（L3）
• 罗宾·乔尔德（L3）
• 佩奥·博雷尔（M2，博士G.贾比尔和Y.Zakowski先生)
• Yoann Barszezak（M2，博士）

论文

会谈

• 双相似同余的范畴框架.巧克力研讨会，2023年10月。作为Topos座谈会，也面向专业程度较低的观众：幻灯片和视频.
• 带有归纳辅助操作的初始代数语义.羽状物工作组，2021年。
• 单体上的模块和操作语义.FSCD 2020（实际上是在巴黎）。没有任何发言准备！(安布鲁瓦兹拉丰特已经预先录制了，但由于一些原因技术问题，无法广播。）
• 一个细胞Howe定理.LICS 2020（实际上在萨尔州大学）和LIPN研讨会, 2020.
• 家族单子与结构操作语义.2019年POPL，葡萄牙卡斯凯。
• Monades familiales et sémantique opérationnelle structurelle系列.首先会议的逻辑，同伦与范畴工作组GdR即时消息。马赛，2018年10月。
• 波利尼奥米亚克斯和卡莱斯教堂严格执行圣母玛利亚圣母玛利亚斯教堂（Foncteurs polynomiaux et carrés exacts en sémantique des jeux）.受邀演讲卡特戈里斯埃米纳伊雷·伊廷兰特（Séminaire Itinérant de Catégories）.里尔，2018年10月。
• 游戏里有什么？受邀演讲游戏语义25,庆祝游戏语义学诞生25周年的研讨会。牛津，2018年7月。
• 的操作语义和指称语义之间的桥梁程序设计语言.适应理论防守,Le Bourget-du-Lac，2016年11月。在巧克力研讨会，里昂，2016年12月，以及低密度聚乙烯研讨会，马赛，2017年3月。
• 尤内达满足并发游戏语义，与克洛维斯埃伯哈特。这个巧克力研讨会，里昂，2016年5月。
• pi的一个内涵完全抽象层模型，与Clovis Eberhart和托马斯塞勒.CALCO’15年,奈梅亨，2015年6月。取代之前的谈话。书面在里面帕托林,可获得的在里面pdf格式.
• 圆周率的完全抽象游戏，与Clovis Eberhart和托马斯塞勒.加洛普,格勒诺布尔，2014年4月。书面在里面帕托林,可获得的在里面pdf格式和html/SVG格式.
• 走向编程理论语言.SIESTE公司研讨会，ENS里昂，2013年4月。写入时间帕托林，可用在里面pdf格式和html/SVG格式（请不要尝试打印pdf版本直接；由于标准pdf库。）在这里是这个来源：主文件是在这里.
• 已满CCS中公平测试的抽象（写入帕托林,这是html/SVG格式版本）。在各种标题下给出，略不同的版本：羽状物-Limd研讨会（4月至3月，2012),羽状物工作组（2012年3月），上限咖啡馆（2012年5月），CALCO公司（2013年9月）。
• 公平测试与必须测试在公平的环境中进行测试。以各种标题和略有不同的版本给出：里昂PiCoq/Cogip车间，2011年9月，巴黎GdT sémantique PPS，2011年2月22日，雷克雅未克ICE研讨会，2011年6月，2011年2月3日，马赛，自民党研讨会，第91届逍遥法外研讨会Sheeves and Logic（阿姆斯特丹），2010-11-27和1stPiCoq研讨会，里昂，2010年11月22日。
• 代数方法高阶理论与重写.国际范畴逻辑研讨会，Brno（2010年8月28日）。
• 简介范畴逻辑.现实主义查姆布雷香槟色(2010-5-31). 现场版本中纠正了一些拼写错误，由于乔纳斯·弗雷（Jonas Frey）的指点，一些声明得到了加强。
• 代数结构来自形状.旅程地理-LAC，尼斯（2010-3-17）。
• 什么是编程语言？受邀在决策支持系统南安普顿研讨会（2010-3-10）。
• 形状的代数结构。绝对的计算机科学格勒诺布尔（2009-11-26）。（当时第二部分中的错误，在Geocal 2010（如上所述）
• 变量约束，对称单体闭理论，以及双字符。 Concur公司，博洛尼亚(2009-9-4).
• 无收缩线性逻辑的证明和游戏。 MFPS公司,牛津（2009-4-6）。

社区

项目

• ANR成员CoREACT公司.
• ANR成员PiCoq公司.
• ANR成员雷克雷.
• ANR成员熊猫.
• 成员地理工作组全球存托凭证IM.
• 成员类型项目。
• ANR负责人MoDyFiable手机(2006-2008).

教学

• 2012-2013年和2013-2014年，在Chambéry开设M1课程逻辑和Lambda-calculus.
• 2012-2013年，再次出现Python。
• 2012年，Pierre Hyvernat、Christophe Raffalli、Thomas Seiller、，我在Chambéry教一级学生Python（！）。
• 2008-2009年，Dominique Duval、Pierre Hyvernat和我分类语言和逻辑和计算机科学的概念。
• 2007-2008年，菲利普·奥德保我教了一门M2的共同课程证明理论。
• 2006-2007年，我教了一门M2课程计算机科学和逻辑.

标题和曲目

联系人