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:35:45

Symmetric Circuits and Fixed-Point Logics

Matthew Anderson, Union College
https://simons.berkeley.edu/talks/matthew-anderson-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:28:11

One Eilenberg Theorem to Rule Them All

Stefan Milius, Universität Erlangen-Nürnberg
https://simons.berkeley.edu/talks/stefan-milius-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:31:40

A Finite Alternation Result for Reversible Boolean Circuits

Peter Selinger, Dalhousie University
https://simons.berkeley.edu/talks/peter-selinger-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:29:43

Graph Isomorphism Via Non-Local Games

Simone Severini, University College London
https://simons.berkeley.edu/talks/simone-severini-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:22:55

Extending Symmetric Circuits

Gregory Wilsenach, University of Cambridge
https://simons.berkeley.edu/talks/gregory-wilsenach-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:21:32

Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps

Christoph Berkholz, Humboldt-Universität zu Berlin
https://simons.berkeley.edu/talks/christoph-berkholz-11-08-2016
{Symmetry, Logic, Computation}
Visit talk page
0:29:35

Combinatorial Properties of the Weisfeiler-Leman Algorithm

Sandra Kiefer, RWTH Aachen
https://simons.berkeley.edu/talks/sandra-kiefer-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page
0:31:28

Approximating Graph Isomorphism through Linear Maps

Anuj Dawar, University of Cambridge
https://simons.berkeley.edu/talks/anuj-dawar-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page
0:28:57

Power and Limits of LP and SDP Relaxations

Stanislav Zivny, University of Oxford
https://simons.berkeley.edu/talks/stanislav-zivny-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page
0:28:33

Reducts of Finitely Bounded Homogeneous Structures, and Lifting Tractability from Finite-Domain Constraint Satisfaction

Antoine Mottet, TU Dresden
https://simons.berkeley.edu/talks/antoine-mottet-11-09-2016
{Symmetry, Logic, Computation}
Visit talk page