Forthcoming events and news

None.

Past events (reverse chronological order)

• 2005 July 27
  AVISPA Review Meeting (Brussels, Belgium).
  This event is restricted to the AVISPA senior members.
• 2005 July 16
  2nd ARSPA Workshop on Automated Reasoning for Security Protocols Analysis
  Affiliated with the 32nd ICALP Colloquium, Lisboa, Portugal
  
• 2005 July 8
  CAV 2005, International Conference on Computer Aided Verification
  Alessandro Armando presented the paper
  The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
• 2005 June 7
  L. Vigneron, Tutorial: Un outil d'aide à la conception de protocoles cryptographiques,
  4th Conference on Security and Network Architectures (SAR),
  Batz sur Mer (France)
  Available in PDF.
• 2005 April 3
  AVASP - Automated Validation of Security Protocols
  ETAPS 2005 Tutorial, Edinburgh, Scotland
• 2004 December 15-17
  AVISPA Meeting (Siemens AG, Munich, Germany)
  This event is restricted to the AVISPA members.
• 2004 September 21-23
  3rd Synchronization Meeting (University of Genova, Italy)
  This event is restricted to the AVISPA members.
• 2004 July 5
  AVASP - Automated Validation of Security Protocols
  IJCAR 2004 Tutorial T4
• 2004 July 4
  ARSPA - Automated Reasoning for Security Protocols Analysis
  IJCAR 2004 Workshop W6 (II AVISPA Project Workshop)
• 2004 March 29,30
  2nd Synchronization Meeting (University of Genova, Italy)
  This event is restricted to the AVISPA members.
• 2004 January 27
  I AVISPA Review Meeting (Brussels, Belgium).
  This event is restricted to the AVISPA senior members.
• 2004 January 23
  I AVISPA Project Workshop (INRIA Lorraine, Nancy, France).
  This event is restricted to the AVISPA members and invited speakers.
• 2003 October 21,22,23
  AVISPA Meeting (ETHZ, Zürich, Switzerland).
  
• 2003 September 6
  SPV - Workshop on Security Protocols Verification (Marseille, France). See the related website
  
• 2003 July 8/9
  I AVISPA Results Meeting (Siemens, München, Germany).
  
• 2003 March 13/14 1st Synchronization Meeting (ETHZ, Zürich, Switzerland).
  
• 2003 January 21/22/23 Semantics meeting (INRIA, Nancy, France)
  
• 2002 November 29/30 AVISPA warm-up meeting (MRG-DIST, Genoa, Italy)