2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
CICM 2014: Extended Deadline March 14th, 2014
First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems
Last message date: Friday, 28 February 2014 08:47:31 UTC