Skip to content
24th International Conference on Types for Proofs and Programs,TYPES 2018

24th International Conference on Types for Proofs and Programs,TYPES 2018

Braga, Portugal, 18-21 June 2018

  • TYPES 2018
    • About Conference
    • Call for Contributions
    • Poster
    • Photos
    • Programme Committee
    • Organization
    • Contact
  • Invited Talks
  • Contributed Talks
  • Registration
  • Programme
    • Accepted Papers
    • Book of Abstracts
    • Conference Programme
    • Social Programme
  • Venue
  • Practical
    • Accommodation
    • Getting to Braga
    • About Braga
    • Braga Experiences
  • Post-proceedings

Invited Talks

    • Cédric Fournet  (Microsoft Research, UK)

Title:   Building verified cryptographic components using F*

    • Delia Kesner   (IRIF — CNRS and Université Paris-Diderot, France)

Title:   Multi Types for Higher-Order Languages

    • Matthieu Sozeau   (INRIA, France)

Title:   The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation

    • Josef Urban   (CIIRC, Czech Republic)

Title:   Machine Learning for Proof Automation and Formalization

Proudly powered by WordPress