No matches were found for subject:"\[TYPES\/announce\] 1st CfP\: Workhop on Rewriting Logic and its Applications 2010 \(\* Springer LNCS proceedings \+ journal special issue \*\)"