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...
0:26:36
Joanna Ochremiak, Universitat Politecnica de Catalunya
https://simons.berkeley.edu/talks/joanna-ochremiak-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/joanna-ochremiak-11-09-2016
{Symmetry, Logic, Computation}
0:41:37
Andreas Blass, University of Michigan
https://simons.berkeley.edu/talks/andreas-blass-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/andreas-blass-11-09-2016
{Symmetry, Logic, Computation}
0:31:40
Bartek Klin, University of Warsaw
https://simons.berkeley.edu/talks/bartek-klin-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/bartek-klin-11-10-2016
{Symmetry, Logic, Computation}
0:35:19
Erich Grädel, RWTH Aachen University
https://simons.berkeley.edu/talks/erich-gradel-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/erich-gradel-11-10-2016
{Symmetry, Logic, Computation}
0:33:36
Yuri Gurevich, Microsoft Research
https://simons.berkeley.edu/talks/yuri-gurevich-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/yuri-gurevich-11-10-2016
{Symmetry, Logic, Computation}
0:34:53
Martin Otto, Technische Universität Darmstadt
https://simons.berkeley.edu/talks/martin-otto-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/martin-otto-11-10-2016
{Symmetry, Logic, Computation}
0:30:40
Johann Makowsky, Technion Israel Institute of Technology
https://simons.berkeley.edu/talks/johann-makowsky-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/johann-makowsky-11-10-2016
{Symmetry, Logic, Computation}
0:28:26
Hubie Chen, Universidad del País Vasco
https://simons.berkeley.edu/talks/hubie-chen-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/hubie-chen-11-10-2016
{Symmetry, Logic, Computation}
0:17:46
Prajakta Nimbhorkar, Chennai Mathematical Institute
https://simons.berkeley.edu/talks/prajakta-nimbhorkar-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/prajakta-nimbhorkar-11-10-2016
{Symmetry, Logic, Computation}
0:30:36
Matt Valeriote, McMaster University
https://simons.berkeley.edu/talks/matt-valeriote-11-10-2016
{Symmetry, Logic, Computation}
Visit talk page
https://simons.berkeley.edu/talks/matt-valeriote-11-10-2016
{Symmetry, Logic, Computation}