ALICS 08:  Workshop on Applications of Logic in Computer Security,  
Doha, Qatar, November 22, 2008), held in the context of LPAR 08.
Submissions (1-5 page abstracts) due October 24, 2008

ALICS is intended to be an informal workshop devoted to the  
applications of logic in computer security. This workshop is intended  
for presentation and discussion of work in progress and the discussion  
of emerging and foundational ideas. We are interested in all aspects  
of the application of logic to computer security. Applications of  
interest include security policy, access control, security protocols,  
information flow, but we are also interested in new and as yet untried  
applications of logic to different areas of computer security. We are  
also interested in discussion papers that raise fundamental questions  
and/or suggest new lines of research in this area.  Work that has  
already appeared or is under consideration by other venues is welcome.

More information may be found at http://chacs.nrl.navy.mil/projects/ALICS08/