Logicians [leaving | 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, Valeria de Paiva*
*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
TueApr 2617:00Edson BezerraProof systems for some many-valued modal logics
ThuNov 0419:00Martin EscardoEquality of mathematical structures
ThuOct 2114:00Gabriel SchererOpen Access in Programming Languages research
ThuSep 2319:00Luis Felipe Bartolo AlegreCan we test inconsistent empirical theories?
ThuSep 0919:00Angeline AguinaldoDiary of a software engineer using categories
ThuAug 1219:00Ciro RussoCoproduct and amalgamation of deductive systems by means of ordered algebras
ThuAug 0519:00Andrés VillavecesCompleteness as (topological) Reconstruction (of logical properties)
ThuJul 0817:00Tero TulenheimoObjects and Modalities
ThuJun 1019:00Davide TrottaThe Gödel fibration
ThuMay 2719:00Michael ShulmanLinear logic for constructive mathematics
ThuApr 2919:00Marco Panza, Daniele Struppa, Domenico NapoletaniAgnostic Science and Mathematics
ThuApr 0817:00Mirna DžamonjaFormalising Ordinal Partition Relations Using Isabelle/HOL
ThuMar 2519:00Lukasz T. StepienOn Inconsistency of Classical Logic
ThuMar 1119:00Bruno BentzenWhat went wrong with Frege's theory of types?
MonFeb 2219:00Paul TarauTraining Neural Networks to Do Logic, with Logic
ThuFeb 1119:00Richard EpsteinTemporal Propositional Logic
ThuNov 2618:00Jean-Yves BeziauThe Mystery of the Fifth Logical Notion
ThuNov 1218:00Samuel Gomes da SilvaOn striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything
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