objectivesorganizationalpapercall  
Partners
gomusic ruProfNastil
glazing balconies
Full papers
describing original research work, intended for an oral plenary presentation, should not exceed 15 pages (LNCS style)
Short papers
describing on-going less mature research work, or research prototype demonstations, intended for presentation as poster or during the tool day, should not exceed 4 pages (LNCS style).
 TOPICS

 

Topics of interest include, but are not limited to:

  • formal specification languages
  • formal methods for commercial high-level description languages
  • correctness preserving transformations
  • formal synthesis methods
  • use of theorem provers for verification
  • correctness aspects in HW/SW co-design
  • abstraction and compositional techniques
  • formal timing verification
  • formal verification for special classes of virtual modules
  • formal verification of hardware/software systems
  • formal verification of hardware-dependent software
  • combinations of formal and semi-formal methods
  • synergies between methods
  • reuse of proven correct virtual modules
  • diagnosis of design errors
  • practical and industrial applications of formal techniques

 
AUTHOR'S SCHEDULE
for the CHARME2005 paper submission:

March 29:
Deadline for paper registration (title, authors, email, abstract)

Apr 8:
Deadline for paper submission

May 23:
Notification of acceptance

June 30:
Deadline for final version


At least ...
one author for each accepted paper will be
requested to register when submitting the final version of their paper, to guarantee lower registration fees and publication of their contribution.
   
 


imprint