Algebraic and Model Theoretical Methods in Constraint Satisfaction

Videos from BIRS Workshop

, Technische Universität Wien
- 10:05
Tutorial 1: Constraint satisfaction problems on infinite domains
Watch video | Download video: 201411240904-Pinsker.mp4 (175M)
, University of St Andrews
- 11:25
Tutorial 2: Endomorphisms and synchronization: Synchronization, Part 1
Watch video | Download video: 201411241031-Cameron.mp4 (149M)
, Technische Universität Wien
- 15:12
Tutorial 1: Constraint satisfaction problems on infinite domains, Part 2
Watch video | Download video: 201411241410-Pinsker.mp4 (178M)
, University of Waterloo
- 16:24
Tutorial 3: Universal algebra and CSP
Watch video | Download video: 201411241533-Willard.mp4 (140M)
, Technische Universität Wien
- 10:01
Tutorial 1, Constraint satisfaction problems on infinite domains, Part 3
Watch video | Download video: 201411250905-Pinsker.mp4 (181M)
, University of St Andrews
- 11:18
Tutorial 2: Endomorphisms and synchronization: Graphs and transformation monoids, Part 2
Watch video | Download video: 201411251021-Cameron.mp4 (179M)
, Linköping University
- 11:40
Algebraic Algorithms for the Inference Problem in Propositional Circumscription
Watch video | Download video: 201411251121-Wrona.mp4 (49M)
, Uppsala University
- 14:27
Simple homogeneous structures
Watch video | Download video: 201411251331-Koponen.mp4 (168M)
, Durham University
- 15:54
On constant-factor approximable finite-valued CSPs
Watch video | Download video: 201411251501-Krokhin.mp4 (205M)
, École Polytechnique
- 16:54
Continuity of homomorphisms to the clone of projections
Watch video | Download video: 201411251631-Pongracz.mp4 (60M)
, University of St Andrews
- 10:00
Tutorial 2: Endomorphisms and synchronization: The almost synchronizing conjecture, Part 3
Watch video | Download video: 201411260902-Cameron.mp4 (182M)
, Middlesex University
- 10:48
Distance Constraint Satisfaction Problems
Watch video | Download video: 201411261023-Martin.mp4 (57M)
, Charles University
- 11:20
Towards dichotomy for planar boolean CSP
Watch video | Download video: 201411261048-Dvorak.mp4 (152M)
, Vanderbilt University
- 11:44
Linear Datalog and k-permutability = symmetric Datalog
Watch video | Download video: 201411261121-Kazda.mp4 (65M)
, Rutgers, The State University of New Jersey
- 09:57
Classifying homogeneous structures
Watch video | Download video: 201411270902-Cherlin.mp4 (138M)
, Charles University
- 11:27
The basic CSP reductions revisited
Watch video | Download video: 201411271100-Barto.mp4 (82M)
, Ecole des Hautes Etudes en Sciences Sociales
- 11:56
Restricted Dualities and First-Order Definable Colorings
Watch video | Download video: 201411271131-OssonadeMendez.mp4 (73M)
, Vanderbilt University
- 14:42
Absorption and directed Jonsson terms
Watch video | Download video: 201411271335-McKenzie.mp4 (290M)
, Charles University
- 15:29
Ramsey classes with algebraical closure and forbidden homomorphisms
Watch video | Download video: 201411271500-Hubicka.mp4 (80M)
, University of Oxford
- 16:14
Necessary Conditions for Tractability of Valued CSPs
Watch video | Download video: 201411271533-Zivny.mp4 (124M)
, Vanderbilt University
- 16:44
Optimal strong Maltcev conditions for congruence meet-semidistributivity
Watch video | Download video: 201411271618-Moore.mp4 (92M)
, TU Dresden
- 09:59
Challenges in Infinite-Domain Constraint Satisfaction
Watch video | Download video: 201411280902-Bodirsky.mp4 (171M)
, University Pompeu Fabra
- 10:59
Descriptive Complexity of approximate counting CSPs
Watch video | Download video: 201411281032-Dalmau.mp4 (86M)