|
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:
- Sasha Borovik (UMIST),
- Dov Gabbay (KCL)
- Wilfrid Hodges (QMW)
- Oren Kolman,
- Dugald Macpherson (Leeds),
- Faron Möller (Swansea),
- Michael Potter (Cambridge),
- Stan Wainer (Leeds),
- Philip Welch (Bristol/Vienna),
- Alex Wilkie (Oxford)
- Timothy Williamson (Oxford)
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 | - | Macpherson | Welch |
10-11 | - | Kolman | Potter |
11-11.30 | - | Coffee | Coffee |
11.30-12.30 | - | Williamson | Wainer |
12.30-2 | Lunch | Lunch | Lunch |
2-3 | Wilkie | Gabbay | - |
3-4 | Borovik | Contributed Talks | - |
4-4.30 | Tea | Tea | - |
4.30-5.30 | Möller | Contributed Talks | - |
5.40- | BLC meeting followed by reception | Hodges | - |
7.30- | Dinner | Conference Dinner in Rusholme | - |
Titles of Talks
- Sasha Borovik (UMIST),
Classification of Simple Groups of Finite Morley Rank and Even Type:
final chapters
- Dov Gabbay (KCL)
The Logic of Deletion
- Wilfrid Hodges (QMW)
The History of British Logic
- Oren Kolman,
Syntactic Aspects of Slenderness
- Dugald Macpherson (Leeds),
Asymptotics of Definable Sets in Finite Structures
- Faron Möller (Swansea),
Expressive Power of Computation Tree Logics
- Michael Potter (Cambridge),
Is Arithmetic Conservative?
- Stan Wainer (Leeds),
Provable Recursiveness and Complexity
- Philip Welch (Bristol/Vienna),
Turing Machines with an infinite amount of time
- Alex Wilkie (Oxford)
O-Minimality
- Timothy Williamson (Oxford)
Unrestricted Quantification and Logical Consequence
Return to BLC 2001 homepage
|