Group: comp.lang.functional · Group Profile · Search for Kongens in comp.lang.functional
Author: A.Serebrenik
Date: Mar 20, 2007 03:51
Call for papers International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2007 22-24 August 2007, Kongens Lyngby, Denmark (co-located with SAS 2007) url: http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ email: lopstr-2007@kent.ac.uk ...
|