[ANNOUNCE] Apache Any23 1.0 Release
CfP - 3rd International Workshop on Ordering and Reasoning - Riva del Garda, Italy, 19-20 October
CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014
Last message date: Monday, 19 May 2014 13:09:07 UTC