[PlanetKR] LIS2010 Call for Papers

Guido Boella guido at di.unito.it
Wed Nov 25 03:19:03 EST 2009


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 9th - 13th, 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 Ditmarsh (University of Otago, New Zeland)
Luca Viganò (University of Verona, Italy )
 

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

CONTACTS

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

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



More information about the PlanetKR mailing list