[PlanetKR] CfP: Logics in Security

[Guido Boella]

[Apologies for multiple postings]

CALL FOR PAPERS

LOGICS IN SECURITY (workshop at ESSLLI 2010)
August 9-13, 2010        Copenhagen, Denmark
     http://lis.gforge.uni.lu
     http://esslli2010cph.info/

----------------------------------------------------------------------

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

More details can be found 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 1, 2010.
Notification of acceptance:   May 25, 2010.
Workshop:                     August 9-13, 2010.

--------------------------------------------------------------

PAPER SUBMISSION

Papers should not exceed 15 pages, including references, in the Springer
LNCS style (http://www.springer.de/comp/lncs/authors.html). Authors of
accepted papers must guarantee that their papers will be presented at
the workshop. Papers should be submitted electronically, in pdf, via
easychair: http://www.easychair.org/conferences/?conf=lis2010 .

--------------------------------------------------------------

WORKSHOP CHAIRS

Dov Gabbay (King's College London, Bar-Ilan University and University of
Luxembourg)
Leendert van der Torre (University of Luxembourg)

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)

------------------------------------------------------------

CONTACT

For further inquiries please contact leon.vandertorre at uni.lu .

--------------------------------------------------------------