I've just become aware of a special issue of the journal BioSystems entitled "Foundations of Mathematics and Theoretical Biology", dedicated to the memory of Vladimir Voevodsky, edited by Elena Fimmel and Andrei Rodin, 2021. See it at https://www.sciencedirect.com/journal/biosystems/special-issue/10PPLLRFK11 -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/a687963a-5d15-413e-bd26-f169d46fb5adn%40googlegroups.com.