Kings College,London
London Theoretical Computer Science Seminar
King's College London
Wednesday 25 October 2006


Morning sessions: Council Room
9:30 Coffee - Welcome
10:00 Claude Kirchner (INRIA and LORIA, Nancy) - "Rewriting (your) Calculus"
11:00 Coffee Break
11:30 Ian Mackie - "The power of linear functions"
12:00 Pasquale Malacaria - "When While is a security risk"
12:30 Soren Riis - "Reversible and irreversible information flows"

13:00 Lunch

Afternoon sessions: South Range Lecture Theater
14:00 Agi Kurucz - "A conditional equation system for non-Fregean natural language representation"
14:30 Martin Berger - "A Logical Analysis of Alising"
15:00 Steffen van Bakel - "The language X: term rewriting, continuations and classical types"
15:30 Coffee Break
16:00 Aziem Chawdhary - "Termination Analysers for Free"
16:20 Nikolaos Siafakas - "A fully labelled lambda calculus"
16:40 Ozan Kahramanogullari - "Deep Inference and Nondeterminism"


Everyone is cordially invited to attend, and there is no registration fee.


All the talks will take place at King's College London, Strand campus. The morning sessions will be in the Council Room and the afternoon sessions will be in the new South Range Lecture Theater. Both rooms are signposted from the main entrance at the Strand.

Maps and information

King's College London

Local organiser:

Maribel Fernandez (King's College London)

Steering Committee:

  • Philippa Gardner (Imperial College),
  • Ian Mackie (King's College London),
  • Peter O'Hearn (Queen Mary College).
  • Sponsored by the Department of Computer Science,
    King's College London