CALL FOR PAPERS August 9th - 13th at University of Copenhagen. LOGICS IN SECURITY http://lis.gforge.uni.lu CO-LOCATED WITH ESSLLI2010 http://esslli2010cph.info/ ------------------------------------------------------------- WORKSHOP CHAIRS - Dov Gabbay (King's College London, Bar-Ilan University and University of Luxembourg) - Leendert van der Torre (University of Luxembourg) -------------------------------------------------------------- ABSTRACT In the past two decades, a number of logics and formal frameworks have been proposed to model and analyse interconnected systems from the security point of view. Recently, the increasing need to cope with distributed and complex scenarios forced researchers in formal security to employ non-classical logics to reason about these systems. The aim of this workshop is to bring together logicians and formal security researchers to foster the cross-fertilization between these two areas. Logicians have a lot to benefit from specifying and reasoning about real-world scenarios as well as researchers in security can apply recent advances in non-classical logics to improve their formalisms. We are interested in logical foundations of security and in particular in the following topics: Language-based security Access Control Judgemental Analysis Privacy Automated Theorem Proving Protocol Verification Term-Rewriting Systems applied to Security Architectures Logical Programming Trust and Reputation Management Modal Logic Static Analysis of Programs Dynamic Logic Risk Management Epistemic and Deontic Logic Policy Compliance Security in Multi-Agent System Formal Cryptography Please find more informations at: http://lis.gforge.uni.lu -------------------------------------------------------------- SPECIAL ISSUE A selection of the accepted papers will be published in a special issue of the Journal of Logic and Computation ______________________________________________________________ IMPORTANT DATES Paper submission deadline: April 1st, 2010. Notification of acceptance: May 25th, 2010. Workshop: August 9-13, 2010. -------------------------------------------------------------- PAPER SUBMISSION Papers should be at most 15 pages, including references in the Springer LNCS style available at the URL http://www.springer.de/comp/lncs/authors.html. Only pdf files will be accepted. Papers must be received by the deadline of April 1st, 2010. Authors of accepted papers must guarantee that their papers will be presented at the workshop. Authors should submit their papers electronically, in .pdf format at the website : http://www.easychair.org/conferences/?conf=lis2010 -------------------------------------------------------------- PROGRAMME COMMITTEE Steve Barker (King's College, UK) Moritz Y. Becker (Microsoft Research, UK) Guido Boella (University of Torino, Italy) Frédéric Cuppens (ENST-Bretagne, France) Deepak Garg (Carnegie Mellon University, USA) Fausto Giunchiglia (University of Trento, Italy) Wojtek Jamroga (University of Luxembourg, Luxembourg) Simon Kramer (University of Tsukuba, Japan) Alessio Lomuscio (Imperial College London, UK) Fabio Martinelli (CNR, Italy) Fabio Masacci (University of Trento, Italy) Sjouke Mauw (University of Luxembourg, Luxembourg) Catuscia Palamidessi (INRIA and Ecole Polytechnique, France) Jun Pang (University of Luxembourg, Luxembourg) Jean-Francois Raskin (Université Libre de Bruxelles, Belgium) Mark Ryan (University of Birmingham, UK) Hans van Ditmarsch (University of Sevilla, Spain) Luca Viganó (University of Verona, Italy ) ------------------------------------------------------------ CONTACTS For further inquiries please contact: leon.vandertorre@uni.lu --------------------------------------------------------------