BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Tin Lok Wong (National University of Singapore)
DTSTART:20211213T120000Z
DTEND:20211213T133000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/1
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/1/">Arithmetic under negated induction</a>\nby Tin Lok Wong (Nationa
 l University of Singapore) as part of IM CAS logic seminar\n\n\nAbstract\n
 Arithmetic generally does not admit any non-trivial quantifier elimination
 . I will talk about one exception\, where the negation of an induction axi
 om is included in the theory. Here the Weak Koenig Lemma from reverse math
 ematics arises as a model completion.\nThis work is joint with Marta Fiori
 -Carones (Novosibirsk)\, Leszek Aleksander Kolodziejczyk (Warsaw) and Keit
 a Yokoyama (Sendai).\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dmitry Sokolov (St Petersburg State University and PDMI RAS)
DTSTART:20220221T150000Z
DTEND:20220221T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/2
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/2/">Resolution\, heavy width and pseudorandom generators</a>\nby Dmi
 try Sokolov (St Petersburg State University and PDMI RAS) as part of IM CA
 S logic seminar\n\n\nAbstract\nFollowing the paper of Alekhnovich\, Ben-Sa
 sson\, Razborov\, Wigderson we call a pseudorandom generator hard for a pr
 opositional proof system P if P cannot efficiently prove the (properly enc
 oded) statement that $b$ is outside of the image for any string $b \\in \\
 {0\, 1\\}^m$.\nIn ABRW04 the authors suggested the "functional encoding" o
 f the considered statement for Nisan-Wigderson generator that allows the i
 ntroduction of "local" extension variables and gave a lower bound on the l
 ength of Resolution proofs if the number of extension variables is bounded
  by the $n^2$ (where $n$ is the number of inputs of the PRG).\n\nIn this t
 alk\, we discuss a "heavy width" measure for Resolution that allows us to 
 show a lower bound on the length of Resolution proofs of the considered st
 atement for the Nisan-Wigderson generator with a superpolynomial number of
  local extension variables. It is a solution to one of the open problems f
 rom ABRW04.\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Robert Robere (McGill University)
DTSTART:20220307T150000Z
DTEND:20220307T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/3
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/3/">On Semi-Algebraic Proofs and Algorithms</a>\nby Robert Robere (M
 cGill University) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Erfan Khaniki (IM CAS)
DTSTART:20220314T150000Z
DTEND:20220314T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/4
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/4/">Nisan-Wigderson generators in Proof Complexity: New lower bounds
 </a>\nby Erfan Khaniki (IM CAS) as part of IM CAS logic seminar\n\nAbstrac
 t: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Fernández-Duque (Ghent University and CAS)
DTSTART:20220321T150000Z
DTEND:20220321T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/5
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/5/">A Walk with Goodstein</a>\nby David Fernández-Duque (Ghent Univ
 ersity and CAS) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Azza Gaysin (Charles University)
DTSTART:20220404T140000Z
DTEND:20220404T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/6
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/6/">Proof complexity of CSP on algebras with linear congruence</a>\n
 by Azza Gaysin (Charles University) as part of IM CAS logic seminar\n\nAbs
 tract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leroy Chew (TU Wien)
DTSTART:20220425T140000Z
DTEND:20220425T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/7
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/7/">Simulations in QBF Proof Complexity</a>\nby Leroy Chew (TU Wien)
  as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Azza Gaysin (Charles University)
DTSTART:20220411T140000Z
DTEND:20220411T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/8
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/8/">Proof complexity of CSP on algebras with linear congruence\, Par
 t 2</a>\nby Azza Gaysin (Charles University) as part of IM CAS logic semin
 ar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leszek Kołodziejczyk (University of Warsaw)
DTSTART:20220516T140000Z
DTEND:20220516T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/9
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/9/">In search of the first-order part of Ramsey's theorem for pairs<
 /a>\nby Leszek Kołodziejczyk (University of Warsaw) as part of IM CAS log
 ic seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rahul Santhanam (University of Oxford)
DTSTART:20220523T140000Z
DTEND:20220523T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/10
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/10/">On the Conjectures of Razborov and Rudich</a>\nby Rahul Santhan
 am (University of Oxford) as part of IM CAS logic seminar\n\nAbstract: TBA
 \n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emil Jerabek (Czech Academy of Sciences)
DTSTART:20221017T140000Z
DTEND:20221017T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/11
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/11/">Elementary analytic functions in VTC^0</a>\nby Emil Jerabek (Cz
 ech Academy of Sciences) as part of IM CAS logic seminar\n\nAbstract: TBA\
 n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Moritz Müller (University of Passau)
DTSTART:20221121T150000Z
DTEND:20221121T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/12
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/12/">On the parameterized complexity of Δ0 truth</a>\nby Moritz Mü
 ller (University of Passau) as part of IM CAS logic seminar\n\nAbstract: T
 BA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emil Jerabek (Czech Academy of Sciences)
DTSTART:20221024T140000Z
DTEND:20221024T153000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/13
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/13/">Elementary analytic functions in VTC^0\, Part 2</a>\nby Emil Je
 rabek (Czech Academy of Sciences) as part of IM CAS logic seminar\n\nAbstr
 act: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Martin Suda (CVUT)
DTSTART:20221114T150000Z
DTEND:20221114T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/14
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/14/">Integrating Machine Learning into Saturation-based ATPs</a>\nby
  Martin Suda (CVUT) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ján Pich (University of Oxford)
DTSTART:20221212T150000Z
DTEND:20221212T163000Z
DTSTAMP:20260404T110825Z
UID:IMCASlogic/15
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/IMCAS
 logic/15/">Towards P != NP from Extended Frege lower bounds</a>\nby Ján P
 ich (University of Oxford) as part of IM CAS logic seminar\n\nAbstract: TB
 A\n
LOCATION:https://stable.researchseminars.org/talk/IMCASlogic/15/
END:VEVENT
END:VCALENDAR