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:20260422T225723Z
UID:IMCASlogic/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 /">Arithmetic under negated induction</a>\nby Tin Lok Wong (National Unive
 rsity of Singapore) as part of IM CAS logic seminar\n\n\nAbstract\nArithme
 tic generally does not admit any non-trivial quantifier elimination. I wil
 l talk about one exception\, where the negation of an induction axiom is i
 ncluded in the theory. Here the Weak Koenig Lemma from reverse mathematics
  arises as a model completion.\nThis work is joint with Marta Fiori-Carone
 s (Novosibirsk)\, Leszek Aleksander Kolodziejczyk (Warsaw) and Keita Yokoy
 ama (Sendai).\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dmitry Sokolov (St Petersburg State University and PDMI RAS)
DTSTART:20220221T150000Z
DTEND:20220221T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/2
 /">Resolution\, heavy width and pseudorandom generators</a>\nby Dmitry Sok
 olov (St Petersburg State University and PDMI RAS) as part of IM CAS logic
  seminar\n\n\nAbstract\nFollowing the paper of Alekhnovich\, Ben-Sasson\, 
 Razborov\, Wigderson we call a pseudorandom generator hard for a propositi
 onal proof system P if P cannot efficiently prove the (properly encoded) s
 tatement that $b$ is outside of the image for any string $b \\in \\{0\, 1\
 \}^m$.\nIn ABRW04 the authors suggested the "functional encoding" of the c
 onsidered statement for Nisan-Wigderson generator that allows the introduc
 tion of "local" extension variables and gave a lower bound on the length o
 f 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 talk\, w
 e discuss a "heavy width" measure for Resolution that allows us to show a 
 lower bound on the length of Resolution proofs of the considered statement
  for the Nisan-Wigderson generator with a superpolynomial number of local 
 extension variables. It is a solution to one of the open problems from ABR
 W04.\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Robert Robere (McGill University)
DTSTART:20220307T150000Z
DTEND:20220307T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/3
 /">On Semi-Algebraic Proofs and Algorithms</a>\nby Robert Robere (McGill U
 niversity) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Erfan Khaniki (IM CAS)
DTSTART:20220314T150000Z
DTEND:20220314T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/4
 /">Nisan-Wigderson generators in Proof Complexity: New lower bounds</a>\nb
 y Erfan Khaniki (IM CAS) as part of IM CAS logic seminar\n\nAbstract: TBA\
 n
LOCATION:https://researchseminars.org/talk/IMCASlogic/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Fernández-Duque (Ghent University and CAS)
DTSTART:20220321T150000Z
DTEND:20220321T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/5
 /">A Walk with Goodstein</a>\nby David Fernández-Duque (Ghent University 
 and CAS) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Azza Gaysin (Charles University)
DTSTART:20220404T140000Z
DTEND:20220404T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/6
 /">Proof complexity of CSP on algebras with linear congruence</a>\nby Azza
  Gaysin (Charles University) as part of IM CAS logic seminar\n\nAbstract: 
 TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leroy Chew (TU Wien)
DTSTART:20220425T140000Z
DTEND:20220425T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/7
 /">Simulations in QBF Proof Complexity</a>\nby Leroy Chew (TU Wien) as par
 t of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Azza Gaysin (Charles University)
DTSTART:20220411T140000Z
DTEND:20220411T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/8
 /">Proof complexity of CSP on algebras with linear congruence\, Part 2</a>
 \nby Azza Gaysin (Charles University) as part of IM CAS logic seminar\n\nA
 bstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leszek Kołodziejczyk (University of Warsaw)
DTSTART:20220516T140000Z
DTEND:20220516T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/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 logic semi
 nar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rahul Santhanam (University of Oxford)
DTSTART:20220523T140000Z
DTEND:20220523T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 0/">On the Conjectures of Razborov and Rudich</a>\nby Rahul Santhanam (Uni
 versity of Oxford) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emil Jerabek (Czech Academy of Sciences)
DTSTART:20221017T140000Z
DTEND:20221017T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 1/">Elementary analytic functions in VTC^0</a>\nby Emil Jerabek (Czech Aca
 demy of Sciences) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Moritz Müller (University of Passau)
DTSTART:20221121T150000Z
DTEND:20221121T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 2/">On the parameterized complexity of Δ0 truth</a>\nby Moritz Müller (U
 niversity of Passau) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emil Jerabek (Czech Academy of Sciences)
DTSTART:20221024T140000Z
DTEND:20221024T153000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 3/">Elementary analytic functions in VTC^0\, Part 2</a>\nby Emil Jerabek (
 Czech Academy of Sciences) as part of IM CAS logic seminar\n\nAbstract: TB
 A\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Martin Suda (CVUT)
DTSTART:20221114T150000Z
DTEND:20221114T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 4/">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://researchseminars.org/talk/IMCASlogic/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ján Pich (University of Oxford)
DTSTART:20221212T150000Z
DTEND:20221212T163000Z
DTSTAMP:20260422T225723Z
UID:IMCASlogic/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/IMCASlogic/1
 5/">Towards P != NP from Extended Frege lower bounds</a>\nby Ján Pich (Un
 iversity of Oxford) as part of IM CAS logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/IMCASlogic/15/
END:VEVENT
END:VCALENDAR