Welcome Features Quotes Upcoming Contact F.A.Q. Demo   SAVCBS'05, Lisbon   Title: SAVCBS'05 - Specification and Verification of Component-Based Systems   Location: Lisbon, Portugal   Date: September 5-6, 2005   Website: http://www.cs.iastate.edu/~leavens/SAVCBS/2005/   Submission Site: The submission site is closed   Submission Deadline: June 20, 2005