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;VALUE=DATE-TIME:20211213T120000Z
DTEND;VALUE=DATE-TIME:20211213T133000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/1
DESCRIPTION:Title: Arithmetic under negated induction\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;VALUE=DATE-TIME:20220221T150000Z
DTEND;VALUE=DATE-TIME:20220221T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/2
DESCRIPTION:Title: Resolution\, heavy width and pseudorandom generators\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;VALUE=DATE-TIME:20220307T150000Z
DTEND;VALUE=DATE-TIME:20220307T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/3
DESCRIPTION:Title: On Semi-Algebraic Proofs and Algorithms\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;VALUE=DATE-TIME:20220314T150000Z
DTEND;VALUE=DATE-TIME:20220314T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/4
DESCRIPTION:Title: Nisan-Wigderson generators in Proof Complexity: New lower bounds\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;VALUE=DATE-TIME:20220321T150000Z
DTEND;VALUE=DATE-TIME:20220321T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/5
DESCRIPTION:Title: A Walk with Goodstein\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;VALUE=DATE-TIME:20220404T140000Z
DTEND;VALUE=DATE-TIME:20220404T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/6
DESCRIPTION:Title: Proof complexity of CSP on algebras with linear congruence\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;VALUE=DATE-TIME:20220425T140000Z
DTEND;VALUE=DATE-TIME:20220425T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/7
DESCRIPTION:Title: Simulations in QBF Proof Complexity\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;VALUE=DATE-TIME:20220411T140000Z
DTEND;VALUE=DATE-TIME:20220411T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/8
DESCRIPTION:Title: Proof complexity of CSP on algebras with linear congruence\, Part 2
\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;VALUE=DATE-TIME:20220516T140000Z
DTEND;VALUE=DATE-TIME:20220516T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/9
DESCRIPTION:Title: In search of the first-order part of Ramsey's theorem for pairs\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;VALUE=DATE-TIME:20220523T140000Z
DTEND;VALUE=DATE-TIME:20220523T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/10
DESCRIPTION:Title: On the Conjectures of Razborov and Rudich\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;VALUE=DATE-TIME:20221017T140000Z
DTEND;VALUE=DATE-TIME:20221017T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/11
DESCRIPTION:Title: Elementary analytic functions in VTC^0\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;VALUE=DATE-TIME:20221121T150000Z
DTEND;VALUE=DATE-TIME:20221121T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/12
DESCRIPTION:Title: On the parameterized complexity of Δ0 truth\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;VALUE=DATE-TIME:20221024T140000Z
DTEND;VALUE=DATE-TIME:20221024T153000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/13
DESCRIPTION:Title: Elementary analytic functions in VTC^0\, Part 2\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;VALUE=DATE-TIME:20221114T150000Z
DTEND;VALUE=DATE-TIME:20221114T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/14
DESCRIPTION:Title: Integrating Machine Learning into Saturation-based ATPs\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;VALUE=DATE-TIME:20221212T150000Z
DTEND;VALUE=DATE-TIME:20221212T163000Z
DTSTAMP;VALUE=DATE-TIME:20240328T161301Z
UID:IMCASlogic/15
DESCRIPTION:Title: Towards P != NP from Extended Frege lower bounds\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