TYPES 2020, Post-Proceedings

26th International Conference on Types for Proofs and Programs

Open call far papers to TYPES 2020 Post-Proceedings

The submission to TYPES post-proceedings is now open, with deadline October the 19th.
As it is costumary, no previous submission to the TYPES workshop is required.
Here is the cfp with all infarmation included.

Workshop Abstracts

Below is the link to the book of abstracts of the accepted talks: