CALL FOR SHORT PRESENTATIONS http://www.informatik.hu-berlin.de/lics/lics07/ Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007) 10th - 14th July 2007, Wroclaw, Poland The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be colocated with International Colloquium on Automata, Languages and Programming (ICALP 2007), 9th–13th July 2007, and ASL European Summer Meeting (Logic Colloquium 2007), 14th–19th July 2007. Joint events will be organized with these two conferences. For further details, visit http://july2007.ii.uni.wroc.pl/ As in previous LICS meetings, LICS 2007 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 or to be published elsewhere; other brief communications may be acceptable. Submissions of these presentations, in the form of short abstracts (1 or 2 pages long in the standard IEEE 2-column style file), should be entered at the LICS 2007 submission site http://www.easychair.org/LICS2007/ by 2359 (GMT) 10th April 2007. For further details on submission, see http://www2.informatik.hu-berlin.de/lics/lics07/lics07-submission-instructions.html Author will be notified of acceptance or rejection by 17th April 2007. --- A LaTeX style file for the IEEE 2-column style can be obtained at ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex.zip