Monday 17 September

1000-1055

Registration/Tea/Coffee
1055-1100 Hajo Broersma Welcome to Durham
1100-1130 Emgad Bachoore
Convex Recoloring of Leaf-Colored Trees
1130-1200 Fouad Chedid A Scalable Parallelization of the Two-List Algorithm of Optimal Cost O(2n/2)
1200-1230 Igor Razgon
Parameterized Directed Feedback Vertex Set and Multicut Problems in Directed Acyclic Graphs
1300

Lunch
1400-1500 Bruno Courcelle
Monadic Second-Order Queries on Graphs: Vertex Labelling for Efficient Evaluation and Linear Delay Enumeration


Tea/Coffee
1530-1600 Moham. Sohel Rahman
New Efficient Algorithms for LCS and Constrained LCS  Problem
1600-1630 Michal Voracek
Computing Constrained LCS for Degenerate Strings using Finite Automata
1630-1700 Fran Rosamond
Parameterized Complexity of the Clique Partition Problem
1830

Dinner

Tuesday 18 September

0800

Breakfast
0900-0930 Zoltan Miklos
On The Parallel Complexity  of Structural CSP Decomposition Methods
0930-1000 Colin Sng
Popular Matchings in the Weighted Capacitated House Allocation Problem
1000-1030 Argimiro Arratia
Program Schemes with Deep Pushdown Storage


Tea/Coffee
1100-1130 Haris Aziz
Computational and Combinatorial Aspects of Multiple Weighted Voting Games
1130-1200
Alexandre Borovik Black Box Groups: Between Proof and Computation
1200-1230 Michael Dom
The Search for Consecutive Ones Submatrices: Faster and More General
1300

Lunch
1400-1500 Peter Bro Miltersen
The "Names in Boxes" Puzzle and the Problem of Efficiently Answering EVERY Data Base Query


Tea/Coffee
1530-1600
Paul Sant
Trees, Towers and Colourings
1600-1630
Elizabeth Scott
An Algorithm for Finding Connected Convex Subgraphs of an Acyclic Digraph
1630-1700 Alexander Tchernov
An Efficient Algorithm for r-Mino Recognising
1830

Dinner

Wednesday 19 September

0800

Breakfast
0900-0930 Mike Fellows
Parameterized Complexity via Combinatorial Circuits
0930-1000 Oliver Kullmann
Multiclique, Partitions, SAT, and Beyond
1000-1030
Paul Bonsma
Spanning Trees with Many Leaves: a New Lower Bound and a Faster FPT Algorithm


Tea/Coffee
1100-1200 Mike Paterson
Overhang Bounds
1300

Lunch