我室人员参加CP 2017会议

2017年8月27日至9月2日，我室副研究员孙思维赴澳大利亚墨尔本参加第23届约束规划原理与应用2017会议（CP 2017）。本年度的约束规划会议和SAT 2017、ICLP 2017等在墨尔本共同举办。参会人员针对各方面与约束规划相关的计算问题展开了深入讨论，包括计算理论、算法、语言、模型、系统和应用等。

本次会议，我室孙思维参加博士论坛关于约束规划在密码算法分析中的应用的讨论，我们和法国奥弗涅大学Gerault David，Pascal Lafourcade等在FSE2017年发表的论文中阐述的一些计算问题，成为国际CP求解软件竞赛的一个benchmark 问题。

在此次会议上，我室人员与来自意大利、法国、美国等的学者进行了深入交流，对我们日后密码分析的研究起到了一定的促进作用。