7th International Conference on Interactive Theorem Proving, Nancy, France, Aug 22-27, 2016
Inria Nancy - Grand-Est, LORIA, MPII Saarbrücken (org.)
; Aesthetic Integration, Alsace Champagne-Ardene Lorraine, Microsoft, Springer, INRIA, LORIA (sponsor)
