Online Worldwide Seminar on Logic and Semantics (OWLS)
9 views
Skip to first unread message
Joao Marcos
Mar 30, 2020, 9:07:06 PM3/30/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
"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
Reply all
Reply to author
Forward
0 new messages