Groups
Sign in
Groups
spb-complexity
Conversations
Labels
About
Send feedback
Help
spb-complexity
Contact owners and managers
1–30 of 177
Mark all as read
Report group
0 selected
PDMI seminars
,
Dmitry M. Itsykson
3
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. Itsykson
2
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. Itsykson
3
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. Itsykson
2
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. Itsykson
2
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. Smal
3
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. Itsykson
2
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. Itsykson
2
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. Smal
2
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. Smal
2
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. Smal
2
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. Smal
2
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. Smal
3
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. Smal
4
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. Smal
3
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. Smal
4
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. Smal
2
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. Smal
3
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. Itsykson
2
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
Artur Ryazanov
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
PDMI seminars
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
PDMI seminars
10/7/19
Пятница 11.10. Святослав Грязнов (ПОМИ РАН): "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"
Семинар по теории сложности вычислений Тема: Нижняя оценка на степень вывода слабого принципа Дирихле
unread,
Пятница 11.10. Святослав Грязнов (ПОМИ РАН): "Нижняя оценка на степень вывода слабого принципа Дирихле с использованием метода pigeon dance"
Семинар по теории сложности вычислений Тема: Нижняя оценка на степень вывода слабого принципа Дирихле
10/7/19
Anastasia Sofronova
9/16/19
Reading group
Уважаемые участники complexity-семинара, приглашаю вас принять участие в reading group, которая будет
unread,
Reading group
Уважаемые участники 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
PDMI seminars
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
PDMI seminars
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
PDMI seminars
4/15/19
Среда 17.04. Д. Соколов: "Псевдо-ширина и замыкания"
Семинар по теории сложности вычислений Тема: Псевдо-ширина и замыкания Место: 1006 Время: 17.04.2019,
unread,
Среда 17.04. Д. Соколов: "Псевдо-ширина и замыкания"
Семинар по теории сложности вычислений Тема: Псевдо-ширина и замыкания Место: 1006 Время: 17.04.2019,
4/15/19