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.
Depending on the number of contributors ALICS will be a half or a full day workshop.
Invited speaker(s) are to be announced.
Program Committee and Organizers:
The workshop will be co-sponsored by TBA
Please submit a 1-5 page abstract to TBA
The selected abstracts will be made available electronically.
Important dates