Update of information in [SIAN05p2-8] The full version of this announcement is available.
The full announcement contains the list of Accepted Papers, cronologically presented according to a preliminary version of the LICS'95 programme.