The deadline for submissions has be extended to April 30. For workshop and submission details, see: http://www.cis.syr.edu/~royer/icc/LCC07/ LCC'07 will be held on 15 July 2007 in Wroclaw, Poland as a satellite workshop of the Logic in Computer Science Conference (LICS'07).