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.