Universiteit Leiden

nl en

Conference

TYPES 2021: 27th International Conference on Types for Proofs and Programs

Date
Monday 14 June 2021 - Friday 18 June 2021
Location
Online
Room
Online

The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming.

Speakers:

More information on the Types 21 website.

This website uses cookies.  More information.