Child pages
  • 13th Wessex Theory Seminar
Skip to end of metadata
Go to start of metadata

13th Wessex Theory Seminar

The thirteenth meeting of the Wessex Theory Seminar took place on Thursday 6th October 2011 at Imperial College London.

Venue: Room 217/218 (Ground Floor, Queen's Gate Entrance), Department of Computing, Imperial College London.

Programme

12:00 Lunch (Coco Momo / Senior Common Room)
13:00 Alexander Kurz: Regular languages with binders
14:00 Coffee
14:30 Dirk Pattinson: Towards Coinductive Fixpoint Logics
15.15 James Brotherston: Craig interpolation in displayable logics (paper)
16:00 Coffee Break
16.30 Dexter Kozen: Kleene Algebra with Tests and the Static Analysis of Programs (slides)
17:30 – Pub/Dinner

Attendance

From Aarhus:
Erik Ernst

From Bath:
Guy McCusker
John Power
Cai Wingfield

From Birkbeck:
Szabolcs Mikulas

From Bratislava:
Kamil Kubon

From Cornell:
Dexter Kozen

From Imperial:
Faris Abou-Sahel
James Brotherston
Abbas Edalat
Ian Hodkinson
Bjoern Lellman
Rob Myers
Dirk Pattinson
Marek Sergot
Herbert Wicklicky
Florian Widman

From King's:
Christian Urban

From Leicester:
Alex Kurz

From Southampton:
Corina Cirstea
Ross Horne
Toby Wilkinson

From Queen Mary:
Edmund Robinson

From UCL:
Robin Hirsch

See all Wessex sites involved and meetings so far.

  • No labels