The next talk will by given by Kevin Buzzard: "Is HoTT the way to do mathematics?" https://www.cs.bham.ac.uk/~vicaryjo/owls/
The Online Worldwide Seminar on Logic and Semantics is a new series of fortnightly research talks, highlighting the most exciting recent work in the international computer science logic community. The scope of the seminar series is roughly that of the major computer science logic conferences such as LICS, ICALP and FSCD. In this time of restricted international travel, a key aim of this series is to provide a forum for the informal discussion and social interaction that is so important for the progress of science. To join any OWLS seminar, visit the following link, up to 15 minutes before the posted start time: https://zoom.us/j/177472153 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhBj9E2SPCEy3aD-WQgq%2BNMe12wGVF3JXN5tQxzvjgAKQ%40mail.gmail.com.
