Following a now established tradition, there will be two short talk sessions during LICS 2008. You may submit a 1-2 page abstract to give a 5-10 minute talk during one of two sessions described below. You must clearly indicate which session you would like to speak at. Short talks may be trailers for longer presentations at one of the affiliated workshops, or stand entirely on their own. Abstracts are made available on the LICS website but are not published in the conference proceedings. Provocative and programmatic presentations are welcome! Note that speakers in either session must be registered for LICS or CSF.
Session 1 (Tue Jun 24): Logic and Security (joint session with CSF)
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.
Session 2 (Thu Jun 26): Logic in Computer Science (LICS-only session)
Talks can be of any topic related to logic in computer science as summarized in the LICS call for papers.
Abstracts can be submitted at
Please check the appropriate box, if you would like your talk to be considered for the joint CSF/LICS session.
Submission: April 21, 2008
Notification: April 28, 2008
The URL for submitting papers is http://www.easychair.org/conferences/?conf=licscsfshorts2008. This link will bring you to a page labelled Submission Page for LICS/CSF Shorts 2008.
There are two zones: (1) Registered User and (2) New User. The first time you use the system you will have to use the New User fields. Shortly after that a password will be emailed to you. You can use this password to access the system thereafter as a registered user.
On this page you can enter the title, authors, contact author information and plain text abstract. The plain text abstract has to be under 300 words. It can be typed in directly or pasted in with a browser. You can upload your talk abstract using the web page. Using this submission system you can manage your short talk abstract submitted to LICS 2008. You can submit new papers, resubmit previously submitted papers, or change information about authors.
Abstracts for proposed short talks must be in pdf format and should be 1-2 pages long.
In case of problems please send email to the PC Chair, firstname.lastname@example.org