University of Cambridge > Talks.cam > PMP Presentation Day > Interactive theorem proving with Isabelle: aiming for the boundaries

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Interactive theorem proving with Isabelle: aiming for the boundaries

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Francis Woodhouse.

Abstract not available

This talk is part of the PMP Presentation Day series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge Society for Economic Pluralism Cambridge University Bahá'í Society Data Management Roadshow Project Access Graham Storey Lecture Basic Statistics Reading Group

Other talks

CANCELLED - Mathematical methods in reacting flows: From spectral to Lyapunov analysis Architecture and the English economy, 1200-1500: a new history of the parish church over the longue durée Deterministic RBF Surrogate Methods for Uncertainty Quantification, Global Optimization and Parallel HPC Applications SciScreen: Finding Dory Michael Alexander Gage and the mapping of Liverpool, 1828–1836 Deficits in axonal transport in ALS and Charcot-Marie-Tooth disease models
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity