Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Publications of Lawrence C Paulson
[go: Go Back, main page]

Invited Lectures

  1. Compiler generation from denotational semantics
    In: B. Lorho (editor), Methods and Tools for Compiler Construction (Cambridge University Press, 1984), 219-251.
  2. Lessons learned from LCF. DDC Workshop on Combining Specification Methods, Nyborg, Denmark (1984)
  3. Joint BCS/SERC Workshop on Program Specification and Verification, York (1983)
  4. BCS Formal Aspects of Computing Science, London (1984)
  5. Specification and Derivation of Programs, Marstrand, Sweden (1985)
  6. IEE/BCS Colloquium on Theorem Provers in Theory and Practice, London (1987)
  7. Experience with Isabelle: a generic theorem prover
    In: P. Martin-Löf &G. Mints (editors), COLOG-88: International Conf. in Computer Logic.Tallinn, Estonia (1988). Preliminary proceedings.
  8. Applications of proof theory to Isabelle, Leeds Proof Theory Summer School (1990)
  9. Tool support for logics of programs. In: M. Broy (editor), Mathematical Methods in Program Development (Summer School Marktoberdorf 1996), Springer-Verlag,
    Slides available
  10. Strategic principles in the design of Isabelle.
    CADE-15 Workshop on Strategies in Automated Deduction,     Lindau, Germany (1998), 11-17.
    Slides available
  11. Security protocols and their correctness.
    Automated Reasoning Workshop 1998. St. Andrews, Scotland (1998)
    Slides available
  12. Proving security protocols correct.
    IEEE Symposium on Logic in Computer Science.     Trento, Italy (1999).
    Slides available
  13. Getting started with Isabelle.
    EEF Foundations School on Deduction and Theorem Proving    . Edinburgh, Scotland (2000).
  14. SET Cardholder Registration: the secrecy proofs.
    Automated Reasoning: First International Joint Conference. IJCAR,     Siena, Italy (2001), 5-12.
    Slides available
  15. Verifying the SET protocol: overview
    FASec 2002: Formal Aspects of Security. Royal Holloway College, University of London, England, December 2002.
    Slides available
  16. Formalizing Abstract Mathematics: Issues and Progress
    Computer-Supported Mathematical Theory Development. Cork, Ireland, July 2004.
    Slides available
  17. Computational Logic and the Quest for Greater Automation,
    Inaugural lecture upon conferment of the title of Distinguished Affiliated Professor, Munich, Germany (2006).
  18. Automated Assistance for Proof Assistants
    Colloquium in Honour of Gérard Huet    , Paris, France, June 2007.
    Slides available

Last revised: 3 January, 2008