Logics in Security 2010

Workshop Chairs


Dov Gabbay

King's College London
Bar-Ilan University Israel
University of Luxembourg



Leendert van der Torre

University of Luxembourg

Program Committee


Steve Barker
Moritz Y. Becker
Guido Boella
Frédéric Cuppens
Deepak Garg
Fausto Giunchiglia
Wojtek Jamroga
Simon Kramer
Alessio Lomuscio
Fabio Martinelli
Fabio Masacci
Sjouke Mauw
Catuscia Palamidessi
Jun Pang
Ramaswamy Ramanujam
Jean-Francois Raskin
Mark Ryan
Christoph Sprenger
Hans van Ditmarsch
Luca Viganò
King's College, UK
Microsoft Research, UK
University of Torino, Italy
ENST-Bretagne, France
Carnegie Mellon University, USA
University of Trento, Italy
University of Luxembourg, Luxembourg
University of Tsukuba, Japan
Imperial College London, UK
CNR, Italy
University of Trento, Italy
University of Luxembourg, Luxembourg
Ecole Polytechnique, Palaiseau, France
University of Luxembourg, Luxembourg
Institute of Mathematical Sciences, Chennai
Université Libre de Bruxelles, Belgium
University of Birmingham, UK
ETH, Zurich
University of Sevilla, Spain
University of Verona, Italy