# Programme

## Monday 18 April

Registration - Atrium, Computer Science building | ||

UG04, Learning CentreInvited Lecture: David S. JohnsonBin Packing: From Theory to Experiment and Back Again | ||

Reception in Computer Science building |

## Tuesday 19 April

All talks in UG04, Learning CentreRegistration - Atrium, Computer Science building | |||

Invited Lecture: Cliff JonesAI4FM - how to say "why" in proofs | |||

10:00 | David Manlove"Almost stable" matchings in the Roommates problem | ||

Coffee break | |||

10:50 | Phillip JamesTowards Domain Specific Languages for Verification | ||

11:15 | Andrew LawrenceModelling and Verifying Railway Control Systems Using Scade | ||

11:40 | Laurence E. DayTowards Modular Compilers for Effects | ||

12:05 | Stephan Reiff-MarganiecModelling Virtual Organisations: Structure and Reconfigurations | ||

Lunch - Atrium, Computer Science building | |||

Invited Lecture: Peter SelingerLogical methods in quantum information theory | |||

14:30 | Liang-Ting ChenA Final Vietoris Topology Coalgebra Construction | ||

Coffee break | |||

15:20 | Fredrik Nordvall ForsbergA categorical semantics for inductive-inductive definitions | ||

15:45 | Karim KansoA Light-Weight Approach to Integrate Automated and Interactive Theorem Proving | ||

16:10 | Florent BalestrieriThe Undecidability of Pure Stream Equations | ||

16:35 | Murdoch J. GabbayMetamathematics based on nominal terms: first-order logics over nominal sets |

## Wednesday 20 April

All talks in UG04, Learning CentreInvited Lecture: Prakash PanangadenEpistemic Strategies and Games on Concurrent Processes | |||

10:00 | Thomas DaviesAn Analysis of CSP Implementation Techniques | ||

Coffee break | |||

10:50 | James GateThe Expressibility of Fragments of Hybrid Graph Logic on Finite Digraphs | ||

11:15 | Peng HeVisual Hull from Imprecise Polyhedral Scene | ||

11:40 | Michal KonečnýNumerical proofs using Function Interval Arithmetic | ||

12:05 | Vashti GalpinStochastic HYPE: modelling stochastic hybrid systems | ||

Lunch - Atrium, Computer Science building | |||

Invited Lecture: Nigel SmartHomomorphic Encryption | |||

14:30 | Julian GutierrezConcurrent Logic Games on Partial Orders | ||

Coffee break | |||

15:20 | Gurchetan SinghImproving Verifiability in Electronic Voting | ||

15:45 | Loretta ManciniAnalysing some 3G mobile protocols | ||

16:10 | Antony McCabeCalculating the NTUmin value for Set-Systems Auctions | ||

16:35 | Matthew GwynneOn the hardness of (satisfiable) conjunctive normal forms | ||

AGM of the BCTCS UG40, Computer Science building | |||

Colloquium Dinner |

## Thursday 21 April

All talks in LG32, Learning CentreInvited Lecture: Carsten WittBio-Inspired Computation Meets Theoretical Computer Science | |||

Coffee break | |||

10:50 | Dirk SudholtAnalysis of an Iterated Local Search Algorithm for Vertex Colouring | ||

11:15 | Ioannis LignosReconfiguration of Hamiltonian Cycles | ||

11:40 | Konrad DabrowskiParameterized Complexity of Finding Induced Matchings | ||

12:05 | Ian Pratt-HartmannTopological Logics of Euclidean Spaces | ||

Lunch - Atrium, Computer Science building |