CAMELEON MEETING, June 14th 2007
Roger Stevens Building Lecture Theatre 1
CAMELEON (CAMbridgE LEeds Or Norwich) exists to further links between logicians at the three universities its name alludes to. It has funding from The London Mathematical Society and The St Luke's Institute.
11-12 Stan Wainer
12.10-1.10 Jamie Gabbay (Herriot-Watt)
1.15-2.15 lunch
2.30-3.30 Michael Rathjen
3.05-4.10 tea
4.15-5.15 Bob Gray.