Official LSV Web Site
Program Committees
2012
- ISPEC 2012, 8th International Conference on Information Security Practice and Experience, Hangzhou, China, April 9-12, 2012.
- WooPS 2012, 1st Workshop on Petri Net Security, Hamburg, Germany, June 26, 2012.
2011
- SecCo 2011, 9th International Workshop on Security Issues in Concurrency, Aachen, Germany, September 5th, 2011.
- FST&TCS 2011, 31st Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 12-14, 2011.
- CCS 2011,18th ACM Conference on Computer and Communications Security, Chicago, USA, October 17-21, 2011.
- CSF 2011, 24th IEEE Computer Security Foundations Symposium,
Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011.
- CADE 2011, 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31st - August 5th, 2011.
2010
- FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy, Edinburgh, United Kingdom, July 14-15, 2010.
2009
- SecCo 2009, 7th International Workshop on Security Issues in Concurrency,Bologna, Italy, September 5th, 2009.
- FCS 2009, Workshop on Foundations of Computer Security, Los Angeles, USA, August 10th, 2009.
- SecReT 2009, Workshop on Security and Rewriting Techniques, New York, USA, July 10-11, 2009.
2008
- FMSE 2008, 6th ACM Workshop on Formal Methods in Security Engineering, Virginia, USA, October 27th, 2008.
- WOTE 2008, IAVoSS Workshop On Trustworthy Elections, Leuven, Belgium, July 22-23, 2008.
2007
- WOTE 2007, IAVoSS Workshop On Trustworthy Elections, Ottawa, Canada, June 20-21, 2007.