Perspectives on Formal Verfication (CPP 2016) - CPP 2016

Topics of interest: We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interest to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement. certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors program logics, type systems, and semantics for certified code certified decision procedures, mathematical libraries, and mathematical theorems proof assistants and proof theory new languages and tools ...