[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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).

Reply via email to