From: Laure Petrucci Subject: [CfP] Logical Aspects of Cryptographic Protocol Verification To: designCPN@daimi.au.dk Date: Fri, 30 Mar 2001 17:13:34 +0200 Reply-To: Laure Petrucci CALL FOR PAPERS CAV'01 Workshop on: Logical Aspects of Cryptographic Protocol Verification Paris, France, July 23rd, 2001. This is a one-day workshop following CAV'01. Papers are sought on cryptographic protocol verification, notably focusing on relations with logic in the large. For more information, see: http://www.lsv.ens-cachan.fr/cav01/lacpv.html Submission deadline: May 15, 2001 Acceptance notification: June 15, 2001 Final version: July 01, 2001 Invited speakers: R. Amadio, Y. Lakhnech, M. Rusinowitch. Chair: Jean Goubault-Larrecq, LSV, ENS Cachan (goubault@lsv.ens-cachan.fr). Program Committee will include: H. Comon, M. Debbabi, S. Stoller. --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]