Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation
 
 
Symposia    
ISoLA 2004
ISoLA 2006
CfP 2008
ISoLA-Med 2009
Workshops
ISoLA 2005
ISoLA 2007

 


ISoLA-Bio 2009

3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

13-15 October 2008 - Porto Sani (Kassandra, Chalkidiki) - Greece

 

 

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

 

 

 

 

 
   
 
Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation