Twentieth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2005)
June  26th-29th, 2005, Chicago, Illinois
http://www.lfcs.informatics.ed.ac.uk/lics/

CALL FOR SHORT PRESENTATIONS

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed.

LICS 2005 will have a session of short (5-10 minutes) presentations.
This session is intended for descriptions of work in progress, student
projects, and relevant research being published elsewhere; other brief
communications may be acceptable.  Submissions for these presentations,
in the form of short abstracts (1 or 2 pages long), should be entered
at the LICS 2005 submission site between 19th March and 25th March 2005.
Authors will be notified of acceptance or rejection by 1st April 2005.