London Theory Day

London Theory Day
Imperial College London
Friday, Apri 11, 2008

Programme

Morning session: Room 144
9:30 Coffee - Welcome
10:00 Yde Venema (ILLC, Amsterdam): Flat Modal Fixpoint Logics
11:00 Coffee Break
11:30 David Clark (King's): Non-Interference for Deterministic Interactive Programs
12:00 Hongseok Yang (Queen Mary): Scalable Shape Analysis for Systems Programs
12:30 James Brotherston (Imperial): An Introduction to Cyclic Proof

13:00 Lunch

First Afternoon session: Room 144
14:00 Dirk Pattinson (Imperial): Sequent Systems for Coalgebraic Logics
14:30 Marco Carbone (Queen Mary): Web Services Choreography and Session Types
15:00 Ozan Kahramanogullari (Imperial): Interaction and Depth against Nondeterminism in Deep Inference Proof Search
15:15 Coffee Break

PhD Session: Room 144
16:00 Chunyan Mu (King's): Quantifying information flow for security via probabilistic semantics
16:15 Han Chen (Queen Mary): Security: what's the worst that can happen
16:30 Alex Summers (Imperial): The Computational Content of Classical Natural Deduction
16:45 Temitope Onunkun (King's): A program analysis approach to secure refinement in B

Participation

Everyone is cordially invited to attend, and there is no registration fee. Just turn up on the date.

Maps and Location

All the talks will take place at the South Kensington Campus of Imperial College London. The lectures will be in Room 144 on Level 1 of the Huxley Building, which is signposted from the to the entrance to the Computing Department at 180 Queen's Gate. Entering Huxley from the main entrance at 180 Queen's Gate, take the stairs on the far left to Level 1 one level down (!).

Local organiser:

Dirk Pattinson (Imperial College London)

Steering Committee:

Philippa Gardner (Imperial College),

Maribel Fernandez (King's College London),

Peter O'Hearn (Queen Mary College).

Sponsored by the Department of Computer Science,
Imperial College London