[Fwd: [computational.science] LIS2010 Call for Papers] - Cfp

24 Nov 2009


      -------- Original-Nachricht --------
Betreff: 	[computational.science] LIS2010 Call for Papers
Datum: 	Tue, 24 Nov 2009 17:19:03 +0100
Von: 	Guido Boella guido@di.unito.it
Organisation: 	"ICCSA"
An: 	Computational Science Mailing List 
computational.science@lists.iccsa.org
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@uni.lu
--------------------------------------------------------------
---------------------------------------------------------------------
To unsubscribe, e-mail: computational.science-unsubscribe@lists.iccsa.org
For additional commands, e-mail: computational.science-help@lists.iccsa.org