to be held 22 November, 2008, in the context of
LPAR 2008,
The 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
November 23-27, 2008, Doha, Qatar
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. No formal proceedings is planned, but accepted abstracts will be posted online.
Depending on the number of contributors ALICS will be a half or a full day workshop.
Program Committee and Organizers:
Please submit a 1-5 page abstract to http://www.easychair.org/conferences/?conf=alics08
The selected abstracts will be made available electronically.
Important dates
Contact Information
alics08 "at" chacs.nrl.navy.mil
The appearance of external hyperlinks does not constitute endorsement by the United States Department of Defense, the United States Department of the Navy and The Naval Research Laboratory of the linked web sites, or the information, products or services contained therein. For other than authorized activities such as military exchanges and Morale, Welfare and Recreation (MWR) sites, the United States Department of Defense, the Department of the Navy and The Naval Research Laboratory does not exercise any editorial control over the information you may find at these locations. Such links are provided consistent with the stated purpose of this DoD web site.