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:20260404T095328Z
UID:LogiciansInQuarantine/1
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/1/">Computational paths and the calculation of fundamenta
 l groups</a>\nby Ruy de Queiroz (Universidade Federal de Pernambuco) as pa
 rt of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paulo Oliva (Queen Mary University)
DTSTART:20200611T190000Z
DTEND:20200611T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/2
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/2/">The power of continuations</a>\nby Paulo Oliva (Queen
  Mary University) as part of Logicians [leaving | in] Quarantine\n\nAbstra
 ct: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcelo Finger (Universidade de São Paulo)
DTSTART:20200617T190000Z
DTEND:20200617T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/3
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/3/">Logic and Numbers</a>\nby Marcelo Finger (Universidad
 e de São Paulo) as part of Logicians [leaving | in] Quarantine\n\nAbstrac
 t: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gilles Dowek (LSV\, CNRS & ENS Paris-Saclay)
DTSTART:20200702T190000Z
DTEND:20200702T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/4
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/4/">Logipedia: towards a Wikipedia of formal proofs</a>\n
 by Gilles Dowek (LSV\, CNRS & ENS Paris-Saclay) as part of Logicians [leav
 ing | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Johanna Franklin (Hofstra University)
DTSTART:20200709T190000Z
DTEND:20200709T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/5
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/5/">Randomness and computability theory</a>\nby Johanna F
 ranklin (Hofstra University) as part of Logicians [leaving | in] Quarantin
 e\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mario Benevides (Universidade Federal Fluminense)
DTSTART:20200716T190000Z
DTEND:20200716T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/6
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/6/">What makes a Logic Dynamic?</a>\nby Mario Benevides (
 Universidade Federal Fluminense) as part of Logicians [leaving | in] Quara
 ntine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alejandro Díaz-Caro (ICC (CONICET/UBA) & UNQ)
DTSTART:20200723T190000Z
DTEND:20200723T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/7
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/7/">Extensional proofs in a propositional logic modulo is
 omorphisms</a>\nby Alejandro Díaz-Caro (ICC (CONICET/UBA) & UNQ) as part 
 of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Carlos Areces (UNC & CONICET)
DTSTART:20200806T190000Z
DTEND:20200806T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/9
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/9/">Henkin Completeness in Modal Logic</a>\nby Carlos Are
 ces (UNC & CONICET) as part of Logicians [leaving | in] Quarantine\n\nAbst
 ract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Brendan Fong (MIT)
DTSTART:20200813T190000Z
DTEND:20200813T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/10
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/10/">Backprop as Functor: A compositional perspective on 
 supervised learning</a>\nby Brendan Fong (MIT) as part of Logicians [leavi
 ng | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/10
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jeremy Avigad (CMU)
DTSTART:20200820T190000Z
DTEND:20200820T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/11
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/11/">Formal Mathematics and the Lean Theorem Prover</a>\n
 by Jeremy Avigad (CMU) as part of Logicians [leaving | in] Quarantine\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/11
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rehana Patel (African Institute for Mathematical Sciences)
DTSTART:20200825T190000Z
DTEND:20200825T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/12
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/12/">Combining Logic and Probability in the Presence of S
 ymmetry</a>\nby Rehana Patel (African Institute for Mathematical Sciences)
  as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/12
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Giovanni Sambin (UNIPD)
DTSTART:20200903T190000Z
DTEND:20200903T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/13
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/13/">Intuitionistic logic as abstraction\, classical logi
 c as idealization</a>\nby Giovanni Sambin (UNIPD) as part of Logicians [le
 aving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/13
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Javier Legris (UBA & CONICET)
DTSTART:20200924T190000Z
DTEND:20200924T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/15
DESCRIPTION:by Javier Legris (UBA & CONICET) as part of Logicians [leaving
  | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/15
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Damian Szmuc (IIF-SADAF/CONICET)
DTSTART:20200917T190000Z
DTEND:20200917T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/16
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/16/">The fragment of Classical Logic that respects the Va
 riable-Sharing Principle</a>\nby Damian Szmuc (IIF-SADAF/CONICET) as part 
 of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/16
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Diogo Henrique Bispo Dias (DF/UENP & DF/USP)
DTSTART:20200910T190000Z
DTEND:20200910T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/17
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/17/">There is no good argument for logical monism</a>\nby
  Diogo Henrique Bispo Dias (DF/UENP & DF/USP) as part of Logicians [leavin
 g | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/17
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Catarina Dutilh Novaes (VU Amsterdam)
DTSTART:20200929T190000Z
DTEND:20200929T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/18
DESCRIPTION:by Catarina Dutilh Novaes (VU Amsterdam) as part of Logicians 
 [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/18
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Samuel Gomes da Silva (DM/UFBA)
DTSTART:20201112T180000Z
DTEND:20201112T200000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/19
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/19/">On striking\, counterintuitive partitions - or: The 
 Axiom of Choice is not be blamed of anything</a>\nby Samuel Gomes da Silva
  (DM/UFBA) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA
 \n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/19
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jean-Yves Beziau (DF/UFRJ)
DTSTART:20201126T180000Z
DTEND:20201126T200000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/20
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/20/">The Mystery of the Fifth Logical Notion</a>\nby Jean
 -Yves Beziau (DF/UFRJ) as part of Logicians [leaving | in] Quarantine\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/20
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lukasz T. Stepien (The Pedagogical University of Cracow)
DTSTART:20210325T190000Z
DTEND:20210325T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/21
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/21/">On Inconsistency of Classical Logic</a>\nby Lukasz T
 . Stepien (The Pedagogical University of Cracow) as part of Logicians [lea
 ving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.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:20260404T095328Z
UID:LogiciansInQuarantine/22
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/22/">Agnostic Science and Mathematics</a>\nby Marco Panza
 \, Daniele Struppa\, Domenico Napoletani (Chapman University & IHPST & CNR
 S) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/22
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mirna Džamonja (Logique Consult & IHPST)
DTSTART:20210408T170000Z
DTEND:20210408T190000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/23
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/23/">Formalising Ordinal Partition Relations Using Isabel
 le/HOL</a>\nby Mirna Džamonja (Logique Consult & IHPST) as part of Logici
 ans [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/23
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Richard Epstein (Advanced Reasoning Forum)
DTSTART:20210211T190000Z
DTEND:20210211T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/24
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/24/">Temporal Propositional Logic</a>\nby Richard Epstein
  (Advanced Reasoning Forum) as part of Logicians [leaving | in] Quarantine
 \n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/24
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paul Tarau (University of North Texa)
DTSTART:20210222T190000Z
DTEND:20210222T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/25
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/25/">Training Neural Networks to Do Logic\, with Logic</a
 >\nby Paul Tarau (University of North Texa) as part of Logicians [leaving 
 | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/25
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bruno Bentzen (Czech Academy of Sciences)
DTSTART:20210311T190000Z
DTEND:20210311T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/26
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/26/">What went wrong with Frege's theory of types?</a>\nb
 y Bruno Bentzen (Czech Academy of Sciences) as part of Logicians [leaving 
 | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/26
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Shulman (University of San Diego)
DTSTART:20210527T190000Z
DTEND:20210527T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/27
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/27/">Linear logic for constructive mathematics</a>\nby Mi
 chael Shulman (University of San Diego) as part of Logicians [leaving | in
 ] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/27
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Davide Trotta (University of Pisa)
DTSTART:20210610T190000Z
DTEND:20210610T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/28
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/28/">The Gödel fibration</a>\nby Davide Trotta (Universi
 ty of Pisa) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TB
 A\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/28
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tero Tulenheimo (CNRS-STL & Université de Lille)
DTSTART:20210708T170000Z
DTEND:20210708T190000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/29
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/29/">Objects and Modalities</a>\nby Tero Tulenheimo (CNRS
 -STL & Université de Lille) as part of Logicians [leaving | in] Quarantin
 e\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/29
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ciro Russo (UFBA)
DTSTART:20210812T190000Z
DTEND:20210812T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/30
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/30/">Coproduct and amalgamation of deductive systems by m
 eans of ordered algebras</a>\nby Ciro Russo (UFBA) as part of Logicians [l
 eaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/30
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrés Villaveces (Universidad Nacional de Colombia)
DTSTART:20210805T190000Z
DTEND:20210805T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/31
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/31/">Completeness as (topological) Reconstruction (of log
 ical properties)</a>\nby Andrés Villaveces (Universidad Nacional de Colom
 bia) as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/31
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Angeline Aguinaldo (University of Maryland)
DTSTART:20210909T190000Z
DTEND:20210909T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/32
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/32/">Diary of a software engineer using categories</a>\nb
 y Angeline Aguinaldo (University of Maryland) as part of Logicians [leavin
 g | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.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:20260404T095328Z
UID:LogiciansInQuarantine/33
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/33/">Can we test inconsistent empirical theories?</a>\nby
  Luis Felipe Bartolo Alegre (Sociedade Peruana de Epistemologia e Lógica)
  as part of Logicians [leaving | in] Quarantine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/33
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gabriel Scherer (INRIA)
DTSTART:20211021T140000Z
DTEND:20211021T150000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/34
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/34/">Open Access in Programming Languages research</a>\nb
 y Gabriel Scherer (INRIA) as part of Logicians [leaving | in] Quarantine\n
 \nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/34
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Martin Escardo (University of Birmingham)
DTSTART:20211104T190000Z
DTEND:20211104T210000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/35
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/35/">Equality of mathematical structures</a>\nby Martin E
 scardo (University of Birmingham) as part of Logicians [leaving | in] Quar
 antine\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/35
 /
END:VEVENT
BEGIN:VEVENT
SUMMARY:Edson Bezerra (UNICAMP)
DTSTART:20220426T170000Z
DTEND:20220426T180000Z
DTSTAMP:20260404T095328Z
UID:LogiciansInQuarantine/36
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/Logic
 iansInQuarantine/36/">Proof systems for some many-valued modal logics</a>\
 nby Edson Bezerra (UNICAMP) as part of Logicians [leaving | in] Quarantine
 \n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/LogiciansInQuarantine/36
 /
END:VEVENT
END:VCALENDAR