spb-complexity

Contact owners and managers

1–30 of 177

0 selected

PDMI seminars, Dmitry M. Itsykson3

11/26/21

Воскресенье 26.12. Kirill Simonov (University of Bergen): "Fine-grained complexity of graph homomorphism for bounded cliquewidth"

Offline: room 106 Zoom: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 пн, 22

unread,

Воскресенье 26.12. Kirill Simonov (University of Bergen): "Fine-grained complexity of graph homomorphism for bounded cliquewidth"

Offline: room 106 Zoom: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 пн, 22

11/26/21

PDMI seminars, Dmitry M. Itsykson2

10/29/21

Пятница 29.10. Svyatoslav Gryaznov: "A variant of the VC-dimension with applications to depth-3 circuits"

https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Семинар по теории сложности

unread,

Пятница 29.10. Svyatoslav Gryaznov: "A variant of the VC-dimension with applications to depth-3 circuits"

https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Семинар по теории сложности

10/29/21

PDMI seminars, Dmitry M. Itsykson3

10/8/21

Суббота 09.10. Petr Smirnov (HSE - SPb): "Regular resolution lower bounds for Tseitin formulas via treewidth"

https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Sorry, this talk will take place

unread,

Суббота 09.10. Petr Smirnov (HSE - SPb): "Regular resolution lower bounds for Tseitin formulas via treewidth"

https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Sorry, this talk will take place

10/8/21

PDMI seminars, Dmitry M. Itsykson2

9/23/21

Пятница 24.09. Michal Garlik: "Some lower bounds for parity decision trees"

Zoom link: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Password (if needed):

unread,

Пятница 24.09. Michal Garlik: "Some lower bounds for parity decision trees"

Zoom link: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 Password (if needed):

9/23/21

Dmitry M. Itsykson

5/10/21

May 12–15 (online): St. Petersburg Days of Logic and Computability V [Orevkov 80]

Dear colleagues, The Fifth St. Petersburg Days of Logic and Computability — which was initially

unread,

May 12–15 (online): St. Petersburg Days of Logic and Computability V [Orevkov 80]

Dear colleagues, The Fifth St. Petersburg Days of Logic and Computability — which was initially

5/10/21

PDMI seminars, Dmitry M. Itsykson2

3/25/21

Пятница 26.03. Marc Vinyals (Technion): "The power of restarts in CDCL solvers"

Zoom channel: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 psswd: pdmi Семинар

unread,

Пятница 26.03. Marc Vinyals (Technion): "The power of restarts in CDCL solvers"

Zoom channel: https://zoom.us/j/95294301096?pwd=dXJXOWtqcjVZcy9qdXZZUTNFRjl0UT09 psswd: pdmi Семинар

3/25/21

PDMI seminars, Alexander V. Smal3

2/17/21

Пятница 19.02. Vladimir Lysikov (University of Copenhagen): "Weighted slice rank of tensors"

Добрый день! По просьбам участников начало доклада переносится на 18:00. Саша On Sun, 14 Feb 2021 at

unread,

Пятница 19.02. Vladimir Lysikov (University of Copenhagen): "Weighted slice rank of tensors"

Добрый день! По просьбам участников начало доклада переносится на 18:00. Саша On Sun, 14 Feb 2021 at

2/17/21

PDMI seminars, Dmitry M. Itsykson2

10/4/20

Среда 07.10. Анастасия Софронова: "Нижние оценки на задачи поиска для (1, +k)-ветвящихся программ"

Доклад в среду 07.10 отменяется. О новой дате будет сообщено дополнительно. сб, 3 окт. 2020 г. в 15:

unread,

Среда 07.10. Анастасия Софронова: "Нижние оценки на задачи поиска для (1, +k)-ветвящихся программ"

Доклад в среду 07.10 отменяется. О новой дате будет сообщено дополнительно. сб, 3 окт. 2020 г. в 15:

10/4/20

PDMI seminars, Dmitry M. Itsykson2

10/2/20

Пятница 02.10. Пётр Смирнов: "Квазиполиномиальные опровержения цейтинских формул в Cutting Planes"

Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=Q2RMak9XU2dQSFlZcm5xV3VzZzdPZz09 вт, 29

unread,

Пятница 02.10. Пётр Смирнов: "Квазиполиномиальные опровержения цейтинских формул в Cutting Planes"

Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=Q2RMak9XU2dQSFlZcm5xV3VzZzdPZz09 вт, 29

10/2/20

PDMI seminars, Alexander V. Smal2

9/25/20

Пятница 25.09. Alexander Golovnev (Georgetown University, USA): "Polynomial Data Structure Lower Bounds in the Group Model"

Добрый вечер! Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=

unread,

Пятница 25.09. Alexander Golovnev (Georgetown University, USA): "Polynomial Data Structure Lower Bounds in the Group Model"

Добрый вечер! Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=

9/25/20

PDMI seminars, Alexander V. Smal2

9/4/20

Пятница 04.09. Александр Смаль (ПОМИ): "Гипотеза XOR-KRW"

Добрый день! Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=

unread,

Пятница 04.09. Александр Смаль (ПОМИ): "Гипотеза XOR-KRW"

Добрый день! Ссылка для семинара: https://us02web.zoom.us/j/8141238054?pwd=

9/4/20

PDMI seminars, Alexander V. Smal2

8/28/20

Пятница 28.08. Артур Игнатьев (СПбГУ): "Новые оценки на полудуплексную коммуникационную сложность"

Добрый день! Ссылка для подключения: https://us02web.zoom.us/j/8141238054?pwd=

unread,

Пятница 28.08. Артур Игнатьев (СПбГУ): "Новые оценки на полудуплексную коммуникационную сложность"

Добрый день! Ссылка для подключения: https://us02web.zoom.us/j/8141238054?pwd=

8/28/20

PDMI seminars, Alexander V. Smal2

8/6/20

Пятница 07.08. Ярослав Алексеев (СПбГУ): "Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin"

Добрый вечер! Ссылка для доклада: https://us02web.zoom.us/j/8141238054?pwd=

unread,

Пятница 07.08. Ярослав Алексеев (СПбГУ): "Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin"

Добрый вечер! Ссылка для доклада: https://us02web.zoom.us/j/8141238054?pwd=

8/6/20

PDMI seminars, Alexander V. Smal3

6/13/20

Пятница 05.06. Дмитрий Соколов (СПбГУ, ПОМИ): "Нижние оценки на систему AC_0-Frege"

Добрый день! Видео доклада: https://www.youtube.com/watch?v=AkB1DZ7fzvE и продолжение: https://www.

unread,

Пятница 05.06. Дмитрий Соколов (СПбГУ, ПОМИ): "Нижние оценки на систему AC_0-Frege"

Добрый день! Видео доклада: https://www.youtube.com/watch?v=AkB1DZ7fzvE и продолжение: https://www.

6/13/20

PDMI seminars, … Alexander V. Smal4

6/13/20

Пятница 29.05. Артур Рязанов (ПОМИ РАН): "Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета"

Продолжение: https://www.youtube.com/watch?v=5OQ06Id_ed0 Саша On Sat, 30 May 2020 at 02:23, Alexander

unread,

Пятница 29.05. Артур Рязанов (ПОМИ РАН): "Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета"

Продолжение: https://www.youtube.com/watch?v=5OQ06Id_ed0 Саша On Sat, 30 May 2020 at 02:23, Alexander

6/13/20

PDMI seminars, … Alexander V. Smal3

5/29/20

Пятница 22.05. Артур Рязанов (ПОМИ РАН): "Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes"

Видео доклада: https://www.youtube.com/watch?v=RXQhFf6dFu8 Саша On Fri, 22 May 2020 at 11:38, Dmitry

unread,

Пятница 22.05. Артур Рязанов (ПОМИ РАН): "Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes"

Видео доклада: https://www.youtube.com/watch?v=RXQhFf6dFu8 Саша On Fri, 22 May 2020 at 11:38, Dmitry

5/29/20

Dmitry M. Itsykson

5/29/20

группа в телеграме

Дорогие получатели рассылки семинара по сложности! Все желающие могут присоединиться к группе

unread,

группа в телеграме

Дорогие получатели рассылки семинара по сложности! Все желающие могут присоединиться к группе

5/29/20

PDMI seminars, … Alexander V. Smal4

5/18/20

Пятница 08.05. Артур Рязанов (ПОМИ РАН): "Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы"

Добрый вечер! Видео доклада: https://www.youtube.com/watch?v=rz1LjaZSu7c Саша On Fri, 15 May 2020 at

unread,

Пятница 08.05. Артур Рязанов (ПОМИ РАН): "Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы"

Добрый вечер! Видео доклада: https://www.youtube.com/watch?v=rz1LjaZSu7c Саша On Fri, 15 May 2020 at

5/18/20

PDMI seminars, Alexander V. Smal2

5/11/20

Пятница 08.05. Н. Карпов (Indiana University): "Collaborative Top Distribution Identifications with Limited Interaction"

Добрый вечер! Появилась запись семинара: https://www.youtube.com/watch?v=MoXyWiYDbns Саша On Mon, 4

unread,

Пятница 08.05. Н. Карпов (Indiana University): "Collaborative Top Distribution Identifications with Limited Interaction"

Добрый вечер! Появилась запись семинара: https://www.youtube.com/watch?v=MoXyWiYDbns Саша On Mon, 4

5/11/20

PDMI seminars, Alexander V. Smal3

4/25/20

Среда 22.04. В.В. Подольский (МИАН, НИУ ВШЭ): "Вычисление функций голосования монотонными формулами маленькой глубины"

Добрый день! Появилась запись семинара. https://www.youtube.com/watch?v=5HwHGlX16f4 Саша On Wed, 22

unread,

Среда 22.04. В.В. Подольский (МИАН, НИУ ВШЭ): "Вычисление функций голосования монотонными формулами маленькой глубины"

Добрый день! Появилась запись семинара. https://www.youtube.com/watch?v=5HwHGlX16f4 Саша On Wed, 22

avs...@gmail.com

4/25/20

PDMI seminars, Dmitry M. Itsykson2

12/24/19

Пятница 27.12. Дмитрий Соколов: "Trade-offs Between Size and Degree in Polynomial Calculus"

Внимание! Время начала доклада в пятницу 27-го декабря меняется на 12-00. Семинар по теории сложности

unread,

Пятница 27.12. Дмитрий Соколов: "Trade-offs Between Size and Degree in Polynomial Calculus"

Внимание! Время начала доклада в пятницу 27-го декабря меняется на 12-00. Семинар по теории сложности

12/24/19

Пётр Смирнов

12/18/19

Пятница 20.12. Пётр Смирнов: «Автоматизация резолюционной системы доказательств NP-трудна»

Тема: Автоматизация резолюционной системы доказательств NP-трудна Время: пятница 20.12.2019 17:00

unread,

Пятница 20.12. Пётр Смирнов: «Автоматизация резолюционной системы доказательств NP-трудна»

Тема: Автоматизация резолюционной системы доказательств NP-трудна Время: пятница 20.12.2019 17:00

12/18/19

10/28/19

SATISFIABILITY, BRANCH-WIDTH AND TSEITIN TAUTOLOGIES

Уважаемые участники complexity-семинара, Дата и время: 01.11.19 16:00 Место: аудитория 106 На

unread,

SATISFIABILITY, BRANCH-WIDTH AND TSEITIN TAUTOLOGIES

Уважаемые участники complexity-семинара, Дата и время: 01.11.19 16:00 Место: аудитория 106 На

10/28/19

10/19/19

Пятница 25.10. Дмитрий Соколов: "(Semi)Algebraic proofs over $\{\pm 1\}$ variables"

Семинар по теории сложности вычислений Тема: (Semi)Algebraic proofs over $\{\pm 1\}$ variables Место:

unread,

Пятница 25.10. Дмитрий Соколов: "(Semi)Algebraic proofs over $\{\pm 1\}$ variables"

Семинар по теории сложности вычислений Тема: (Semi)Algebraic proofs over $\{\pm 1\}$ variables Место:

10/19/19

10/7/19

Пятница 11.10. Святослав Грязнов (ПОМИ РАН): "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"

Семинар по теории сложности вычислений Тема: Нижняя оценка на степень вывода слабого принципа Дирихле

unread,

Пятница 11.10. Святослав Грязнов (ПОМИ РАН): "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"

Семинар по теории сложности вычислений Тема: Нижняя оценка на степень вывода слабого принципа Дирихле

10/7/19

Anastasia Sofronova

9/16/19

Уважаемые участники complexity-семинара, приглашаю вас принять участие в reading group, которая будет

unread,

Уважаемые участники complexity-семинара, приглашаю вас принять участие в reading group, которая будет

9/16/19

Dmitry M. Itsykson

8/29/19

Fwd: [spb algo] понедельник, 11:15: Distributed and Streaming Linear Programming in Low Dimensions

---------- Forwarded message --------- От: Alexander S. Kulikov <alexander...@gmail.com>

unread,

Fwd: [spb algo] понедельник, 11:15: Distributed and Streaming Linear Programming in Low Dimensions

---------- Forwarded message --------- От: Alexander S. Kulikov <alexander...@gmail.com>

8/29/19

7/4/19

Среда 10.07. Д. Соколов (KTH): "A proof of the Sensitivity Conjecture & A tradeoff between length and width in PCR"

Семинар по теории сложности вычислений Тема: A proof of the Sensitivity Conjecture & A tradeoff

unread,

Среда 10.07. Д. Соколов (KTH): "A proof of the Sensitivity Conjecture & A tradeoff between length and width in PCR"

Семинар по теории сложности вычислений Тема: A proof of the Sensitivity Conjecture & A tradeoff

7/4/19

7/1/19

Среда 10.07. Navid Talebanfard (Institute of Mathematics CAS, Prague): "A separator theorem for hypergraphs and a CSP-SAT algorithm"

Семинар по теории сложности вычислений Тема: A separator theorem for hypergraphs and a CSP-SAT

unread,

Среда 10.07. Navid Talebanfard (Institute of Mathematics CAS, Prague): "A separator theorem for hypergraphs and a CSP-SAT algorithm"

Семинар по теории сложности вычислений Тема: A separator theorem for hypergraphs and a CSP-SAT

7/1/19

4/15/19

Среда 17.04. Д. Соколов: "Псевдо-ширина и замыкания"

Семинар по теории сложности вычислений Тема: Псевдо-ширина и замыкания Место: 1006 Время: 17.04.2019,

unread,

Среда 17.04. Д. Соколов: "Псевдо-ширина и замыкания"

Семинар по теории сложности вычислений Тема: Псевдо-ширина и замыкания Место: 1006 Время: 17.04.2019,

4/15/19

Search

Clear search

Close search

Google apps

Main menu