From mboxrd@z Thu Jan  1 00:00:00 1970
To: armando@dist.unige.it
Subject: CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
X-Status: 
X-Keywords:                  
X-UID: 144
Message-Id: <47a58b4ea8af6c884dd196ef19df59893799dd1d@generated>


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners