We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

IM CAS logic seminar

External homepage

logic

Audience:	Researchers in the topic
Seminar series time:	Monday 14:00-15:30 in your time zone, UTC
Organizer:	Neil Thapen*
	*contact for this listing

Upcoming talks

Past talks

Your time			Speaker	Title
Mon	Dec 12	15:00	Ján Pich	Towards P != NP from Extended Frege lower bounds
Mon	Nov 21	15:00	Moritz Müller	On the parameterized complexity of Δ0 truth
Mon	Nov 14	15:00	Martin Suda	Integrating Machine Learning into Saturation-based ATPs
Mon	Oct 24	14:00	Emil Jerabek	Elementary analytic functions in VTC^0, Part 2
Mon	Oct 17	14:00	Emil Jerabek	Elementary analytic functions in VTC^0
Mon	May 23	14:00	Rahul Santhanam	On the Conjectures of Razborov and Rudich
Mon	May 16	14:00	Leszek Kołodziejczyk	In search of the first-order part of Ramsey's theorem for pairs
Mon	Apr 25	14:00	Leroy Chew	Simulations in QBF Proof Complexity
Mon	Apr 11	14:00	Azza Gaysin	Proof complexity of CSP on algebras with linear congruence, Part 2
Mon	Apr 04	14:00	Azza Gaysin	Proof complexity of CSP on algebras with linear congruence
Mon	Mar 21	15:00	David Fernández-Duque	A Walk with Goodstein
Mon	Mar 14	15:00	Erfan Khaniki	Nisan-Wigderson generators in Proof Complexity: New lower bounds
Mon	Mar 07	15:00	Robert Robere	On Semi-Algebraic Proofs and Algorithms
Mon	Feb 21	15:00	Dmitry Sokolov	Resolution, heavy width and pseudorandom generators
Mon	Dec 13	12:00	Tin Lok Wong	Arithmetic under negated induction

Embed this schedule

Export series to