5月22日，星期四。

9:00 - 9:30	登记处
9:30 - 9:45	会议开幕
9:45 - 10:30	Patrick Cegielski， 谢尔盖·格里戈里夫 和丹尼斯·理查德 （法国）	“关于自然数的基本理论康托配对功能“
10:30 - 11:00	马克西姆·维塞米尔诺夫 （俄罗斯）	“关于小阶n元组多项式”
11:00 - 11:15	咖啡碎
11:15 - 12:00	伊万·科雷奇 （斯洛伐克）	“算术运算能力最强到一阶可定义性”
12:00 - 12:30	佐菲亚·阿达莫维奇 （波兰）	“关于弱理论中的Tableau一致性”
13:00 - 14:00	午餐
14:30 - 15:15	珍妮·伊夫·马里恩 （法国）和D.利凡特（美国）	“预测函数和多空间”
15:15 - 15:45	安纳托利·贝尔蒂科夫 （俄罗斯）	“具有次递归可实现定理的理论”
15:45 - 16:00	咖啡碎
16:00 - 16:30	安纳托利·贝尔蒂科夫 （俄罗斯）	“初始子递归类中的新结果”
16:30 - 17:15	亨利·亚历克斯·埃斯贝林， （法国）	基本关系计数的新闭包性质和Grzegorcyk等级制度”

5月23日，星期五。

9:45 - 10:30	阿尔诺·梅斯 （比利时）	“形态与杏仁周期”
10:30 - 10:45	咖啡碎
10:45 - 11:30	马塞尔·纪尧姆 （法国）	“建立Nezondet部分结果的简化模型关于Erdos-Woods猜想和相关陈述”。
11:30 - 12:00	康斯坦丁·维奇宁 （法国）和沃洛基米尔·鲁登科 （乌克兰）	“两个三值模态逻辑的两种证明方法”
12:00 - 12:15	咖啡碎
12:15 - 13:00	列夫·贝克莱米舍夫 （俄罗斯）	“关于无参数感应示意图”
13:00 - 13:30	雅克·杜帕克 （法国）	“计算机科学与Borel集的精细结构”
14:00 - 15:00	午餐
15:30 - 19:30	有导游（英语）的巴士环城游
20:00 - .....	会议的聚会

5月24日，星期六。

10:00 - 10:45	尼古拉·科斯索夫斯基和阿特姆·蒂什科夫 （俄罗斯）	“具有整数系数和变量的线性不等式的弱理论”
10:45 - 11:00	咖啡碎
11:00 - 11:45	亚历克西斯·贝斯 （法国）	“论米肖和维尔梅尔的结果”
11:45 - 12:30	罗杰·埃斯佩尔·利马 （法国）	“可以计算结构（n，+，Vk）中的模n”
13:00 - 14:00	午餐
14:30 - 15:15	莫里斯·马根斯坦 （法国）	“关于准单边通用图灵机”
14:30 - 15:15	安卡·穆斯科尔 （德国）	“跟踪monoid的编码问题”
15:45 - 16:00	咖啡碎
16:00 - 16:30	奥利维尔·泰托 （法国）	“马蒂亚塞维奇中止问题的可判定性确定性机器”。
16:30 - 17:00	尤里·马蒂亚塞维奇 （俄罗斯）	“在消除有界全称量词“
17:00 - 17:15	会议结束。 宣布下次会议。

返回第14天弱算术的主页