LICS 2006 Call for Short Presentations

LICS 2006 Call for Short Presentations

[Kreutzer + Schweikardt]

CALL FOR SHORT PRESENTATIONS
Twenty-First Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2006)
August  12th - 15th, 2006, Seattle, Washington
http://www.informatik.hu-berlin.de/lics/lics06/

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly construed.
LICS 2006 will be organized as part of the Fourth Federated Logic Conference
(FLoC 2006) to be held in Seattle from August 10 to August 22, 2006.
Visit http://research.microsoft.com/floc06/ for information regarding
FLoC 2006 and the participating meetings.

As in the previous LICS meetings,
LICS 2006 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 in IEEE 2-column
style file), should be entered  at the LICS 2006 submission site by
21st April 2006 (see the LICS 2006 homepage for submission instructions).
Authors will be notified of acceptance or rejection by 28th April 2006.