BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ruy de Queiroz (Universidade Federal de Pernambuco)
DTSTART:20200520T190000Z
DTEND:20200520T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/1/">Computational paths and the calculation of fundamental group
 s</a>\nby Ruy de Queiroz (Universidade Federal de Pernambuco) as part of L
 ogicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paulo Oliva (Queen Mary University)
DTSTART:20200611T190000Z
DTEND:20200611T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/2/">The power of continuations</a>\nby Paulo Oliva (Queen Mary U
 niversity) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA
 \n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcelo Finger (Universidade de São Paulo)
DTSTART:20200617T190000Z
DTEND:20200617T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/3/">Logic and Numbers</a>\nby Marcelo Finger (Universidade de S
 ão Paulo) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA
 \n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gilles Dowek (LSV\, CNRS & ENS Paris-Saclay)
DTSTART:20200702T190000Z
DTEND:20200702T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/4/">Logipedia: towards a Wikipedia of formal proofs</a>\nby Gill
 es Dowek (LSV\, CNRS & ENS Paris-Saclay) as part of Logicians [leaving | i
 n] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Johanna Franklin (Hofstra University)
DTSTART:20200709T190000Z
DTEND:20200709T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/5/">Randomness and computability theory</a>\nby Johanna Franklin
  (Hofstra University) as part of Logicians [leaving | in] Quarantine\n\nAb
 stract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mario Benevides (Universidade Federal Fluminense)
DTSTART:20200716T190000Z
DTEND:20200716T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/6/">What makes a Logic Dynamic?</a>\nby Mario Benevides (Univers
 idade Federal Fluminense) as part of Logicians [leaving | in] Quarantine\n
 \nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alejandro Díaz-Caro (ICC (CONICET/UBA) & UNQ)
DTSTART:20200723T190000Z
DTEND:20200723T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/7/">Extensional proofs in a propositional logic modulo isomorphi
 sms</a>\nby Alejandro Díaz-Caro (ICC (CONICET/UBA) & UNQ) as part of Logi
 cians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Carlos Areces (UNC & CONICET)
DTSTART:20200806T190000Z
DTEND:20200806T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/9/">Henkin Completeness in Modal Logic</a>\nby Carlos Areces (UN
 C & CONICET) as part of Logicians [leaving | in] Quarantine\n\nAbstract: T
 BA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Brendan Fong (MIT)
DTSTART:20200813T190000Z
DTEND:20200813T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/10/">Backprop as Functor: A compositional perspective on supervi
 sed learning</a>\nby Brendan Fong (MIT) as part of Logicians [leaving | in
 ] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jeremy Avigad (CMU)
DTSTART:20200820T190000Z
DTEND:20200820T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/11/">Formal Mathematics and the Lean Theorem Prover</a>\nby Jere
 my Avigad (CMU) as part of Logicians [leaving | in] Quarantine\n\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rehana Patel (African Institute for Mathematical Sciences)
DTSTART:20200825T190000Z
DTEND:20200825T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/12/">Combining Logic and Probability in the Presence of Symmetry
 </a>\nby Rehana Patel (African Institute for Mathematical Sciences) as par
 t of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Giovanni Sambin (UNIPD)
DTSTART:20200903T190000Z
DTEND:20200903T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/13/">Intuitionistic logic as abstraction\, classical logic as id
 ealization</a>\nby Giovanni Sambin (UNIPD) as part of Logicians [leaving |
  in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Javier Legris (UBA & CONICET)
DTSTART:20200924T190000Z
DTEND:20200924T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/15
DESCRIPTION:by Javier Legris (UBA & CONICET) as part of Logicians [leaving
  | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Damian Szmuc (IIF-SADAF/CONICET)
DTSTART:20200917T190000Z
DTEND:20200917T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/16/">The fragment of Classical Logic that respects the Variable-
 Sharing Principle</a>\nby Damian Szmuc (IIF-SADAF/CONICET) as part of Logi
 cians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Diogo Henrique Bispo Dias (DF/UENP & DF/USP)
DTSTART:20200910T190000Z
DTEND:20200910T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/17
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/17/">There is no good argument for logical monism</a>\nby Diogo 
 Henrique Bispo Dias (DF/UENP & DF/USP) as part of Logicians [leaving | in]
  Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Catarina Dutilh Novaes (VU Amsterdam)
DTSTART:20200929T190000Z
DTEND:20200929T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/18
DESCRIPTION:by Catarina Dutilh Novaes (VU Amsterdam) as part of Logicians 
 [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Samuel Gomes da Silva (DM/UFBA)
DTSTART:20201112T180000Z
DTEND:20201112T200000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/19
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/19/">On striking\, counterintuitive partitions - or: The Axiom o
 f Choice is not be blamed of anything</a>\nby Samuel Gomes da Silva (DM/UF
 BA) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jean-Yves Beziau (DF/UFRJ)
DTSTART:20201126T180000Z
DTEND:20201126T200000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/20
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/20/">The Mystery of the Fifth Logical Notion</a>\nby Jean-Yves B
 eziau (DF/UFRJ) as part of Logicians [leaving | in] Quarantine\n\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lukasz T. Stepien (The Pedagogical University of Cracow)
DTSTART:20210325T190000Z
DTEND:20210325T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/21
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/21/">On Inconsistency of Classical Logic</a>\nby Lukasz T. Stepi
 en (The Pedagogical University of Cracow) as part of Logicians [leaving | 
 in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marco Panza\, Daniele Struppa\, Domenico Napoletani (Chapman Unive
 rsity & IHPST & CNRS)
DTSTART:20210429T190000Z
DTEND:20210429T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/22
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/22/">Agnostic Science and Mathematics</a>\nby Marco Panza\, Dani
 ele Struppa\, Domenico Napoletani (Chapman University & IHPST & CNRS) as p
 art of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mirna Džamonja (Logique Consult & IHPST)
DTSTART:20210408T170000Z
DTEND:20210408T190000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/23
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/23/">Formalising Ordinal Partition Relations Using Isabelle/HOL<
 /a>\nby Mirna Džamonja (Logique Consult & IHPST) as part of Logicians [le
 aving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Richard Epstein (Advanced Reasoning Forum)
DTSTART:20210211T190000Z
DTEND:20210211T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/24
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/24/">Temporal Propositional Logic</a>\nby Richard Epstein (Advan
 ced Reasoning Forum) as part of Logicians [leaving | in] Quarantine\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paul Tarau (University of North Texa)
DTSTART:20210222T190000Z
DTEND:20210222T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/25
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/25/">Training Neural Networks to Do Logic\, with Logic</a>\nby P
 aul Tarau (University of North Texa) as part of Logicians [leaving | in] Q
 uarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bruno Bentzen (Czech Academy of Sciences)
DTSTART:20210311T190000Z
DTEND:20210311T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/26
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/26/">What went wrong with Frege's theory of types?</a>\nby Bruno
  Bentzen (Czech Academy of Sciences) as part of Logicians [leaving | in] Q
 uarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Shulman (University of San Diego)
DTSTART:20210527T190000Z
DTEND:20210527T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/27
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/27/">Linear logic for constructive mathematics</a>\nby Michael S
 hulman (University of San Diego) as part of Logicians [leaving | in] Quara
 ntine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Davide Trotta (University of Pisa)
DTSTART:20210610T190000Z
DTEND:20210610T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/28
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/28/">The Gödel fibration</a>\nby Davide Trotta (University of P
 isa) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tero Tulenheimo (CNRS-STL & Université de Lille)
DTSTART:20210708T170000Z
DTEND:20210708T190000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/29
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/29/">Objects and Modalities</a>\nby Tero Tulenheimo (CNRS-STL & 
 Université de Lille) as part of Logicians [leaving | in] Quarantine\n\nAb
 stract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ciro Russo (UFBA)
DTSTART:20210812T190000Z
DTEND:20210812T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/30
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/30/">Coproduct and amalgamation of deductive systems by means of
  ordered algebras</a>\nby Ciro Russo (UFBA) as part of Logicians [leaving 
 | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrés Villaveces (Universidad Nacional de Colombia)
DTSTART:20210805T190000Z
DTEND:20210805T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/31
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/31/">Completeness as (topological) Reconstruction (of logical pr
 operties)</a>\nby Andrés Villaveces (Universidad Nacional de Colombia) as
  part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Angeline Aguinaldo (University of Maryland)
DTSTART:20210909T190000Z
DTEND:20210909T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/32
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/32/">Diary of a software engineer using categories</a>\nby Angel
 ine Aguinaldo (University of Maryland) as part of Logicians [leaving | in]
  Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/32/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Luis Felipe Bartolo Alegre (Sociedade Peruana de Epistemologia e L
 ógica)
DTSTART:20210923T190000Z
DTEND:20210923T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/33
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/33/">Can we test inconsistent empirical theories?</a>\nby Luis F
 elipe Bartolo Alegre (Sociedade Peruana de Epistemologia e Lógica) as par
 t of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/33/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gabriel Scherer (INRIA)
DTSTART:20211021T140000Z
DTEND:20211021T150000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/34
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/34/">Open Access in Programming Languages research</a>\nby Gabri
 el Scherer (INRIA) as part of Logicians [leaving | in] Quarantine\n\nAbstr
 act: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/34/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Martin Escardo (University of Birmingham)
DTSTART:20211104T190000Z
DTEND:20211104T210000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/35
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/35/">Equality of mathematical structures</a>\nby Martin Escardo 
 (University of Birmingham) as part of Logicians [leaving | in] Quarantine\
 n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/35/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Edson Bezerra (UNICAMP)
DTSTART:20220426T170000Z
DTEND:20220426T180000Z
DTSTAMP:20260422T212730Z
UID:LogiciansInQuarantine/36
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LogiciansInQ
 uarantine/36/">Proof systems for some many-valued modal logics</a>\nby Eds
 on Bezerra (UNICAMP) as part of Logicians [leaving | in] Quarantine\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/LogiciansInQuarantine/36/
END:VEVENT
END:VCALENDAR