DEPARTMENT OF MATHEMATICS

British Logic Colloquium 2001

Programme

Timetable

The annual conference and meeting of the British Logic Colloquium will take place at the University of Manchester from Thursday 6 September to Saturday 8 September 2001, starting after lunch on the Thursday and finishing before lunch on the Saturday.

The following will give invited talks:

There will also be a session for contributed talks on the Friday afternoon.



Provisional Programme
Thursday 6 September to Saturday 8 September 2001

Thursday Friday Saturday
9-10-MacphersonWelch
10-11-KolmanPotter
11-11.30-CoffeeCoffee
11.30-12.30-WilliamsonWainer
12.30-2LunchLunchLunch
2-3WilkieGabbay-
3-4BorovikContributed Talks-
4-4.30TeaTea-
4.30-5.30MöllerContributed Talks-
5.40-BLC meeting followed by receptionHodges-
7.30-DinnerConference Dinner in Rusholme-



Titles of Talks

Return to BLC 2001 homepage