Affiliated Workshops

FSCD 2021: Sixth International Conference on Formal Structures for Computation and Deduction
July 17 - July 24, 2021, Buenos Aires, Argentina
https://fscd2021.dc.uba.ar

July 17 July 18 July 19 July 20 July 21 July 22 July 23 July 24
Pre-conf workshops FSCD Post-conf workshops
HoTT/UF LSFA
ITRS WPTE IWC IFIP WG 1.6
UNIF