[TYPES] LICS 2005: Call for Short Presentations
als+lics-replies-ignored at inf.ed.ac.uk
Tue Mar 8 16:03:22 EST 2005
Twentieth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2005)
June 26th-29th, 2005, Chicago, Illinois
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
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.
More information about the Types-list