Playlist: 31 videos

{Symmetry, Logic, Computation}

Many aspects of logical structure in computation involve the study of symmetry in some form, and this study often deploys algebraic tools, such as permutation groups. In descriptive complexity theory and in database theory, the study of symmetry...

Remote video URL
1:7:25
Mikolaj Bojanczyk, University of Warsaw
https://simons.berkeley.edu/talks/mikolaj-bojanczyk-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:25:29
Howard Straubing, Boston College
https://simons.berkeley.edu/talks/howard-straubing-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:30:53
Neil Immerman, University of Massachusetts
https://simons.berkeley.edu/talks/neil-immerman-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:30:52
Andrzej Murawski, University of Warwick
https://simons.berkeley.edu/talks/andrzej-murawski-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:28:24
Nathanaël Fijalkow, University of Oxford
https://simons.berkeley.edu/talks/nathanael-fijalkow-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:35:26
Daniela Petrisan, Université Paris Diderot
https://simons.berkeley.edu/talks/daniela-petrisan-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:31:26
Colin Riba, ENS Lyon
https://simons.berkeley.edu/talks/colin-riba-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:28:5
Sam Van Gool, City College of New York
https://simons.berkeley.edu/talks/sam-van-gool-11-07-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:55:19
Benjamin Rossman, University of Toronto
https://simons.berkeley.edu/talks/benjamin-rossman-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
Remote video URL
0:28:16
Cibele Freire, University of Massachusetts
https://simons.berkeley.edu/talks/cibele-freire-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page