LICS 2006 Call for Short Presentations