Skip to main content

Programme

Monday 17 September

1000-1055Registration/Tea/Coffee
1055-1100Hajo BroersmaWelcome to Durham
1100-1130Emgad BachooreConvex Recoloring of Leaf-Colored Trees
1130-1200Fouad ChedidA Scalable Parallelization of the Two-List Algorithm of Optimal Cost O(2n/2)
1200-1230Igor RazgonParameterized Directed Feedback Vertex Set and Multicut Problems in Directed Acyclic Graphs
1300Lunch
1400-1500Bruno CourcelleMonadic Second-Order Queries on Graphs: Vertex Labelling for Efficient Evaluation and Linear Delay Enumeration
Tea/Coffee
1530-1600Moham. Sohel RahmanNew Efficient Algorithms for LCS and Constrained LCS  Problem
1600-1630Michal VoracekComputing Constrained LCS for Degenerate Strings using Finite Automata
1630-1700Fran RosamondParameterized Complexity of the Clique Partition Problem
1830Dinner

Tuesday 18 September

0800Breakfast
0900-0930Zoltan MiklosOn The Parallel Complexity  of Structural CSP Decomposition Methods
0930-1000Colin SngPopular Matchings in the Weighted Capacitated House Allocation Problem
1000-1030Argimiro ArratiaProgram Schemes with Deep Pushdown Storage
Tea/Coffee
1100-1130Haris AzizComputational and Combinatorial Aspects of Multiple Weighted Voting Games
1130-1200Alexandre BorovikBlack Box Groups: Between Proof and Computation
1200-1230Michael DomThe Search for Consecutive Ones Submatrices: Faster and More General
1300Lunch
1400-1500Peter Bro MiltersenThe “Names in Boxes” Puzzle and the Problem of Efficiently Answering EVERY Data Base Query
Tea/Coffee
1530-1600Paul SantTrees, Towers and Colourings
1600-1630Elizabeth ScottAn Algorithm for Finding Connected Convex Subgraphs of an Acyclic Digraph
1630-1700Alexander TchernovAn Efficient Algorithm for r-Mino Recognising
1830Dinner

Wednesday 19 September

0800Breakfast
0900-0930Mike FellowsParameterized Complexity via Combinatorial Circuits
0930-1000Oliver KullmannMulticlique, Partitions, SAT, and Beyond
1000-1030Paul BonsmaSpanning Trees with Many Leaves: a New Lower Bound and a Faster FPT Algorithm
Tea/Coffee
1100-1200Mike PatersonOverhang Bounds
1300Lunch