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