BLC Newsletter July 2008


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


           


Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Sat Jul 19 17:25:28 GMTST 2008