Tuesday 6th

1730-1900

Welcome Reception

Wednesday 7th

BLC

0900

Cakes and Coffee

0930

Alex Wilkie

Diophantine properties of definable sets: applications of model theory to number theory 

1040

Coffee

1110

Maurizio Lenzerini

Metaquerying in Ontology-based Data Access

1220

Antonin Delpeuch & Alex Simpson

Relating point-free and algorithmic randomness

1250

Lunch

1400

Orna Kupferman

From Reachability to Temporal Specifications in Game Theory

1510

Coffee

1540

Jules Hedges & Mehrnoosh Sadrzadeh

Quantification and Scope in Categorical Compositional Distributional Semantics

1610

Alexandra Silva

Cantor meets Scott:: Domain-Theoretic Foundations for Probabilistic Network Programming

1720

BLC AGM

Thursday 8th

BLC

0910

Panel Discussion

Soluble versus Insoluble : The Legacy of Alan Turing

1040

Coffee

1110

Panel Discussion

1240

Lunch

1400

Diego Figuera

Semantically Tractable Conjunctive Queries

1510

Coffee

1540

Sylvy Anscombe

Measure and dimension in model theory

1650-1720

Johannes Marti

Duality for Non-monotonic Consequence Relations and Antimatroids

1900

Dinner

Friday 9th

GDP70

0930

Phil Scott

Some Recent Directions in MV and Effect Algebras

1000

Eugenio Moggi

Models, Over-approximations and Robustness

1030

Coffee

1100

Philippa Gardner

Reasoning about Concurrent Programs

1130

Peter D. Mosses

Modular SOS for Control Operators

1200 

Leslie Lamport

It Isn't So Hard to Prophesize

1230

Lunch

1400

Paul Blain Levy

Trace semantics of well-founded processes via commutativity

1430

Glynn Winskel

Strategies with Parallel Causes

1500

Robert Harper

Computational Higher Type Theory

1530

Marcelo Fiore

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

1600

Coffee