Workshops
Fall 2016

{Symmetry, Logic, Computation}

Nov. 7Nov. 10, 2016

Add to Calendar

Organizers:

Anuj Dawar (University of Cambridge; chair), Neil Immerman (University of Massachusetts, Amherst), Alexandra Silva (University College London)

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 underlies results about the expressive power of order-invariant query languages.  The study of symmetries has also played a key role in advancing the understanding of the tractability frontier in constraint satisfaction problems.  Recent work in automata with an infinite alphabet (factored by a suitable symmetry) has tied into work in semantics dealing with nominal computation.  This workshop will focus on exposing the common methods underlying various studies of symmetry in logic computation and also in related areas, such as symmetry in quantum information and the complexity of the graph isomorphism problem.

Invited Participants: 

Samson Abramsky (University of Oxford), Eric Allender (Rutgers University), Matthew Anderson (Union College), Libor Barto (Charles University), Morad Behandish (International Computer Science Institute), Sebastian Benthall (UC Berkeley), Christoph Berkholz (Humboldt-Universität zu Berlin), Alexis Bernadet (Dalhousie University), Siddharth Bhaskar (Indiana University Bloomington), Xiaoning Bian (Dalhousie University), Andreas Blass (University of Michigan), Mikolaj Bojanczyk (University of Warsaw), Andrei Bulatov (Simon Fraser University), Giovanni Caru (University of Oxford), Ben Caulfield (UC Berkeley), Hubie Chen (Universidad del País Vasco), Kenta Cho (Radboud University), Thomas Colcombet (IRIF), Vincent Danos (University of Edinburgh), Anupam Das (Ecole Normale Superieure de Lyon), Anuj Dawar (University of Cambridge), Nadish de Silva (University College London), Marek Elias (TU Eindhoven), Joanna Fawcett (University of Western Australia), Diego Figueria (CNRS), Nathanaël Fijalkow (University of Oxford), Cibele Freire (University of Massachusetts), Martin Furer (Pennsylvania State University), Charles Garfinkle (UC Berkeley), Mai Gehrke (Universität Paris Diderot), Alexandru Gheorghiu (University of Edinburgh), Erich Grädel (RWTH Aachen University), Yuri Gurevich (Microsoft Research), André Hernich (University of Liverpool), Wesley Holliday (UC Berkeley), Dominic Horsman (Durham University), Justin Hsu (University of Pennsylvania), Neil Immerman (University of Massachusetts Amherst), Bart Jacobs (University of Nijmegen), Lukasz Kaiser (Google and CNRS), Elham Kashefi (University of Edinburgh), Sandra Kiefer (RWTH Aachen), Erica Klarreich, Bartek Klin (University of Warsaw), Phokion Kolaitis (UC Santa Cruz and IBM Research - Almaden), Tomer Kotek (Vienna University of Technology), Andreas Krebs (Universität Tübingen), Marijana Lazic (Technische Universität Wien), Bert Lindenhovius (Tulane University), Janos Makowsky (Technion Israel Institute of Technology), Shane Mansfield (University of Oxford), Stefan Milius (Universität Erlangen-Nürnberg), Daniel Mills (University of Oxford), Mike Mislove (Tulane University), Antonio Montalban (UC Berkeley), Larry Moss (Indiana University Mathematics), Antoine Mottet (TU Dresden), Andrzej Murawski (University of Warwick), Prajakta Nimbhorkar (Chennai Mathematical Institute), Joanna Ochremiak (Universitat Politecnica de Catalunya), Martin Otto (Technische Universität Darmstadt), Prakash Panangaden (McGill University), Marco Pedicini (Roma Tre University), Daniela Petrisan (Universität Paris Diderot), Gordon Plotkin (University of Edinburgh), Markus Norman Rabe (UC Berkeley), Nick Ramsey (UC Berkeley), Ramyaa Ramyaa (New Mexico Institute of Mining and Technology), Colin Riba (ENS Lyon), Miguel Romero (University of Chile), Ben Rossman (University of Toronto), Stuart Russell (UC Berkeley), Matteo Sammartino (University College London), Abhisekh Sankaran (IIT Bombay, India), Thomas Scanlon (UC Berkeley), Dana Scott (Carnegie Mellon University), Peter Selinger (Dalhousie University), Simone Severini (University College London), Alexandra Silva (University College London), Ted Slaman (UC Berkeley), Rui Soares Barbosa (University of Oxford), Dawn Song (UC Berkeley), Howard Straubing (Boston College), Val Tannen (University of Pennsylvania), Balder ten Cate (Google/UC Santa Cruz), Eugenia Ternovska (Simon Fraser University), Jouko Väänänen (University of Helsinki), Matt Valeriote (McMaster University), Franck van Breugel (York University), Sam Van Gool (City College of New York), Sana Vaziri (UC Davis), Victor Vianu (UC San Diego), Greg Wilsenach (University of Cambridge), Carol Wood (Wesleyan University), Octavio Zapata (University College London), Standa Zivny (University of Oxford)