22-26 September 2008, Logic and information security, Lorentz Center, Leiden

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302