|
16:50
|
Connection to the school’s zoom and a greeting word from organizers
()
|
|
17:00
|
Forbidding Induced Subgraphs (Lecture 1)
- Prof.
Maria Chudnovsky
(Princeton University)
()
|
|
18:15
|
Representative Families and Algorithms (Lecture 1)
- Prof.
Fedor Fomin
(University of Bergen)
()
|
|
19:30
|
Highlights of Algorithmic Coding Theory (Lecture 1)
- Prof.
Madhu Sudan
(Harvard University)
()
|
|
|
17:00
|
Representative Families and Algorithms (Lecture 2)
- Prof.
Fedor Fomin
(University of Bergen)
()
|
|
18:15
|
Highlights of Algorithmic Coding Theory (Lecture 2)
- Prof.
Madhu Sudan
(Harvard University)
()
|
|
19:30
|
Forbidding Induced Subgraphs (Lecture 2)
- Prof.
Maria Chudnovsky
(Princeton University)
()
|
|
|
17:00
|
Highlights of Algorithmic Coding Theory (Lecture 3)
- Prof.
Madhu Sudan
(Harvard University)
()
|
|
18:15
|
Forbidding Induced Subgraphs (Lecture 3)
- Prof.
Maria Chudnovsky
(Princeton University)
()
|
|
19:30
|
Representative Families and Algorithms (Lecture 3)
- Prof.
Fedor Fomin
(University of Bergen)
()
|
|
|
17:00
|
A Few Words About the Proof Complexity
- Dr
Dmitry Sokolov
(St. Petersburg State University)
()
|
|
17:55
|
Karchmer--Raz--Wigderson Conjecture
- Dr
Ivan Mihajlin
(The Euler International Mathematical Institute)
()
|
|
18:50
|
Data Structures Meet Circuits and Cryptography
- Dr
Alexander Golovnev
(Georgetown University)
()
|
|
|
17:00
|
Forbidding Induced Subgraphs (Lecture 4)
- Prof.
Maria Chudnovsky
(Princeton University)
()
|
|
18:15
|
Representative Families and Algorithms (Lecture 4)
- Prof.
Fedor Fomin
(University of Bergen)
()
|
|
19:30
|
Highlights of Algorithmic Coding Theory (Lecture 4)
- Prof.
Madhu Sudan
(Harvard University)
()
|
|