Logicians in Quarantine

External homepage

logic in computer science logic

Brazilian Logic Society / Logic Interest Group/Brazilian Computing Society

Audience: Researchers in the topic
Seminar series times: Wednesday 19:00-21:00, Thursday 19:00-21:00 in your time zone, UTC
Organizers: Bruno Lopes*, Petrucio Viana
*contact for this listing

All of the schedule and links to livestreams and YouTube records are available in the webpage lq.sbl.org.br . If you have any problem/question, please send an email to contato@sbl.org.br .

Upcoming talks
Past talks
Your timeSpeakerTitle
TueSep 2919:00Catarina Dutilh NovaesTBA
ThuSep 2419:00Javier LegrisTBA
ThuSep 1719:00Damian SzmucThe fragment of Classical Logic that respects the Variable-Sharing Principle
ThuSep 1019:00Diogo Henrique Bispo DiasThere is no good argument for logical monism
ThuSep 0319:00Giovanni SambinIntuitionistic logic as abstraction, classical logic as idealization
TueAug 2519:00Rehana PatelCombining Logic and Probability in the Presence of Symmetry
ThuAug 2019:00Jeremy AvigadFormal Mathematics and the Lean Theorem Prover
ThuAug 1319:00Brendan FongBackprop as Functor: A compositional perspective on supervised learning
ThuAug 0619:00Carlos ArecesHenkin Completeness in Modal Logic
ThuJul 2319:00Alejandro Díaz-CaroExtensional proofs in a propositional logic modulo isomorphisms
ThuJul 1619:00Mario BenevidesWhat makes a Logic Dynamic?
ThuJul 0919:00Johanna FranklinRandomness and computability theory
ThuJul 0219:00Gilles DowekLogipedia: towards a Wikipedia of formal proofs
WedJun 1719:00Marcelo FingerLogic and Numbers
ThuJun 1119:00Paulo OlivaThe power of continuations
WedMay 2019:00Ruy de QueirozComputational paths and the calculation of fundamental groups
Embed this schedule
Export series to