BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541
http://www.cs.bham.ac.uk/~exr/blc
President Professor J M E Hyland [Cambridge]
Vice-President Professor T Williamson FBA FRSE [Oxford]
Treasurer Professor D Macpherson [Leeds]
Secretary Dr N Alechina [Nottingham]
Dr U Berger [Swansea]
Dr E Ritter [Birmingham]
Dr G Wilmers [Manchester]
---------------------------------------------------------
(1) British Logic Colloquium, Nottingham 4-6 September,
preliminary program and reminder of registration and accommodation
booking.
(2) Announcement, Mathematical Methods in Philosophy,
Bristol 19-21 September, grants for PhD students available
-----------------------------------------------------------
(1) British Logic Colloquium, Nottingham 4-6 September,
preliminary timetable:
[Not all contributed talks are included, deadline for proposing a talk
is the 31st of July, most titles are not yet available]
4 September
* from 13:00: late registration.
* 14:00 - 15:00 Mikhail Zakharyaschev
* 15:00 - 15:15 break
* 15:15 - 16:15 Dexter Kozen
* 16:15 - 16:30 break
* 16:30 - 17:30 James Brotherston: Classical BI: a logic for reasoning
about dualising resource
5 September
* 9:15- 10:15 Rob Goldblatt Lindenbaum's Lemma as an axiom for
infinitary logic
* 10:15 - 11:15 Ulrich Kohlenbach
* 11:15 - 11:30 break
* 11:30 - 12:30 Michael Moortgat
* 12:30 - 14:00 buffet lunch
* 14:00 - 15:00 Michael Benedikt
* 15:00 - 15:15 break
* 15:10 - 16:15 Hannes Leitgeb
* 16:15 - 16:45 discussion
6 September
* 10:00 - 11:00 Alan Weir: The Force of Reason: what makes logic
compelling?
* 11:00 - 11:30 discussion
* 11:30-12:30 Peter Milne
* 12:30 - 13:00 discussion
Please don't forget to register and book accommodation (details on the
web page, http://www.cs.nott.ac.uk/~nza/blc08/).
(2) Mathematical Methods in Philosophy
Bristol, England
Friday September 19th - Sunday September 21st 2008
This is the fourth in a series of meetings exploring mathematical
methods in epistemology, semantics, theories of truth, and philosophy of
mathematics in a British Academy funded research project. (See:
http://users.ox.ac.uk/%7Esfop0114/rg/index.html )
This meeting is further supported by the London Mathematical Society,
and the British Logic Colloquium (with further financial support from
the University of Bristol).
Located at the School of Mathematics, University of Bristol, England.
Confirmed Speakers:
* Riccardo Bruni (Firenze)
* Martin Fischer (Leuven)
* Harvey Friedman (Ohio State)
* Peter Koellner (Harvard)
* Ofra Magidor (Oxford)
* Jeff Paris (Manchester)
* Alexander Paseau (Oxford)
* Richard Pettigrew (Bristol)
* Gabriel Uzquiano (Oxford)
* Jouko Vnnen (ILLC Amsterdam, Helsinki)
* Andreas Weiermann (Ghent)
* Alan Weir (Glasgow)
There is a registration fee of 20 with a reduced fee of 10 for
students and postgraduates.
Meeting Webpage: http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol08.html
Further
timetabling and titles /etc/. will be placed on this page.
------------------------------- PLEASE NOTE: There are some grants for
postgraduates to cover the registration fees, travel and accommodation
costs from the London Mathematical Society. Please apply early by email to
the contact below, to avoid disappointment.
--------------------------------------------------------------
Contact: Philip Welch
email address (please replace "at" by the usual "@" symbol): p.welch at
bristol.ac.uk)
Please contact Helen Craven +44 117 928 7978
(helen.craven at bris.ac.uk)
for technical/admin questions or for help concerning the Conference
Visitor information including maps can be found here.
http://www.maths.bris.ac.uk/events/info/
Information about Bristol Hotels:
http://www.bristol.ac.uk/safe/Purchasing/webit611.html
_______________________________________________
blc mailing list
blc@cs.nott.ac.uk
http://www.cs.nott.ac.uk/mailman/listinfo/blc
Page maintained by E.Ritter@cs.bham.ac.uk