Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Summary

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Product details

• Assisted by: Jasmin Christian Blanchette (Editor), Stephan Merz (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 07.08.2016
• EAN: 9783319431437
• ISBN: 978-3-31-943143-7
• No. of pages: 502
• Dimensions: 156 mm x 29 mm x 237 mm
• Weight: 780 g
• Illustrations: XVII, 502 p. 88 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, Computermodellierung und -simulation, Systemanalyse und -design, computer science, Logics and Meanings of Programs, Systems analysis & design, Algorithms & data structures, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Computer system failures, System Performance and Evaluation, Computer logic, Computer Science Logic and Foundations of Programming, Computer Modelling, Formal Languages and Automata Theory