[Hol-info] CICM 2018 - Call for Papers

2018-04-02 Thread geoff
Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 -

[Hol-info] CICM 2018: Call for Papers, Workshops & Tutorials

2018-01-09 Thread Serge Autexier
Call for Papers formal papers - informal papers - doctoral programme - workshops - tutorials 11th Conference on Intelligent Computer Mathematics -