Call for Papers: Workshop on Logics in Security
Posted under: Events; Workshop Calls for Papers.
The deadline for submissions for the ESSLLI 2010 workshop Logics in Security is April 1st, 2010.
The call for papers is available on the workshop website: http://lis.gforge.uni.lu/
