In addition to a traditional 5-minute talk session on general CSF topics (talks to be solicited a few weeks before the event), we will also have a joint CSF/LICS short-talk session on Logic and Security during CSF 2008. Talks should be of interest to the security and logic communities, ideally building bridges or proposing new points of intersection or applications of one area in the other. The session is a part of joint CSF/LICS activities on Tuesday, June 24.
You may submit a 1-2 page abstract to give a 5-10 minute talk during this session. Short talks may be trailers for longer presentations at one of the affiliated workshops, or stand entirely on their own. Abstracts are made available electronically but are not published in the conference proceedings. Provocative and programmatic presentations are welcome! Note that speakers in this session must be registered for CSF or LICS.
Abstracts can be submitted at
http://www.easychair.org/conferences/?conf=licscsfshorts2008
Please check the appropriate box, if you would like your talk to be considered for the joint CSF/LICS session. (The submission site also handles submissions to another session on general LICS topics.)
Abstracts for proposed short talks must be in pdf format and should be 1-2 pages long.
Submission: April 21, 2008
Notification: April 28, 2008