MAP 2014-数学、算法和证明

亨利·庞加莱研究所2014年5月26日至30日，巴黎

这个MAP社区由来自认证证明和程序、构造数学、计算机代数、有效代数（实代数几何、代数拓扑和同调代数等）等领域的研究人员组成。
这项倡议始于11年前的Dagstuhl（2003年），当时油田之间的距离仍然更远。欧洲人数学课程项目（2010-2013年）源自MAP社区。请参阅MAP宣言有关MAP的更多信息。

2014年，MAP研讨会将在巴黎特别的三个月内举行证明和证明数学的语义亨利·彭加莱研究所。

新闻
（2014年6月3日）MAP会议结束。谢谢你的到来。
大多数幻灯片都可以在程序页面