16 luglio 20205.00 pmGoogle Meet: https://meet.google.com/hha-uhos-cdvJens Seeber - Logical Completeness for String Diagrams Poster