|
3rd International
Symposium on Leveraging Applications of Formal Methods,
Verification and Validation
|
This year ISoLA features a rich program of Special
Tracks and Thematic
Sessions, in addition to Regular
Contributions.
You can submit the Regular or Tool Papers and the Special
Tracks or Thematic Sessions contributions on this
link.
Conference announcement as pdf
Deadlines
Papers submission (electronic): May 4st,
2008
Notification of acceptance: June 15th,
2008
Final version: July 15th, 2008
Early Registration: September 15th, 2008
All accepted papers will be published in the symposiums´
proceedings.
Selected papers will appear in Post-Conference
Proceedings (approval by Springer LNCS pending) and in
Special Sections of international journals.
Awards will be given to outstanding contributions (best
paper, industrial paper, student papers).
Sponsors
Endorsed by
|