ESSLLI workshop "Logics for Security"

[Valerio Genovese]

Apologies for multiple copies

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

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
Judgemental Analysis	
Automated Theorem Proving	
Term-Rewriting Systems		
Logical Programming				
Modal Logic				
Dynamic Logic				
Epistemic and Deontic Logic			
				
applied to

Access Control    
Privacy 
Protocol Verification
Security Architectures
Trust and Reputation Management
Static Analysis of Programs
Risk Management 
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 Ditmarsch (University of Sevilla, Spain)
Luca Viganò (University of Verona, Italy )
 

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

CONTACTS

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

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