The Coq mailing list

[Christoph Sprenger <sprenger AT inf.ethz.ch>]

(Apologies for multiple postings.)

-----

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)
Christoph Sprenger (ETH, Zurich)
Hans van Ditmarsch (University of Sevilla, Spain)
Luca Viganò (University of Verona, Italy )


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

CONTACTS

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

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