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: