[Hol-info] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal

[Apologies for multiple postings] == SUBMISSION DEADLINE EXTENSION - THIRD CALL for PAPERS and DEDICATED THEMATIC SERIES on SPRINGER JISA JOURNAL == 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) Co-located event of STAF 2016 (http://st

[Hol-info] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

Final Call for Papers (*** submission deadline in 3 weeks!!! ***) Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted