WoSoCer (9th Intl. Workshop on Software Certification)

The call for papers can be found at here.