BLC Newsletter December 2003


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

President           Professor J B Paris FBA [Manchester]
Vice-President      Dr J M E Hyland [Cambridge]
Treasurer           Dr R Dyckhoff [St Andrews]
Secretary           Dr M Dzamonja [East Anglia]
                    Professor D Macpherson [Leeds]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

---------------------------------------------------------
Dear members,

I am enclosing some announcements, and would also like to
draw your attention to a 
mysterious photo sent to me by Basil Smith .
He offers
a prize to anyone who can nam all the logicians on the photo,
so keep working on it!
    Now to the announcements:

(1) A book announcement by Barry Cooper

(2) 2004 ASL European Summer Meeting, Torino, Italy, July 25-31, 2004.

(3) A workshop in set theory, Jerusalem , Israel, March 23-29, 2004.

    Wishing you all the best for the holidays, Mirna
----------------------------------
(1)
Information from the publisher:

COMPUTABILITY THEORY by S. Barry Cooper

Chapman Hall/CRC Mathematics Series  Volume: 26

ISBN: 1584882379
Publication Date: 11/17/2003
Number of Pages: 424

" Offers a concise introduction to the results and techniques of
contemporary computability theory
" Reflects modern developments in treatment and subject matter in this
fundamentally important area
" Provides an accessible guide to the direction of current research
" Includes discussions of Turing definability, complexity of computations,
and the relevance of computability theory to science

Written by a leading researcher, Computability Theory provides a concise,
comprehensive, and authoritative introduction to contemporary
computability theory, techniques, and results. The basic concepts and
techniques of computability theory are placed in their historical,
philosophical and logical context. This presentation is characterized by
an unusual breadth of coverage and the inclusion of advanced topics not to
be found elsewhere in the literature at this level.

The book includes both the standard material for a first course in
computability and more advanced looks at degree structures, forcing,
priority methods, and determinacy. The final chapter explores a variety of
computability applications to mathematics and science.

Computability Theory is an invaluable text, reference, and guide to the
direction of current research in the field. Nowhere else will you find the
techniques and results of this beautiful and basic subject brought alive
in such an approachable and lively way.

More information, orders:

http://www.crcpress.com/shopping_cart/products/
product_detail.asp?sku=C2379&par\ent_id=474&pc=

(2)

2004 ASL European Summer Meeting will be held in Torino, Italy,
July 25-31, 2004. Invited speakers include J.T. Baldwin,
T. Bartoszynski, A. Berarducci, A. Marcone, G. Mints,
M. Moellerfeld, F. Stephen, G. Sundholm, M. Valeriote and H. Woodin.
Tutorials will be offered by A. Kechris and S. Solecki,
T. Scanlon, R. Solomon and R. Willard.
   More information http://lc2004.unito.it/

(3)
On March 23-29 2004 a workshop in set theory will be held at the institute
for advanced studies in Jerusalem. The workshop is devoted to cardinal
arithmetic and its applications.  Series of talks will be given by
Foreman, Geschke, Gitik, Jensen, Juhasz, Kojman, Mitchell, Shelah,
Todorcevic, Woodin and Zapletal. Other lectures will be contributed by the
participants.
                                                                                
Application forms are available on the workshop's website:
                   http://www.as.huji.ac.il/midrasha04.htm
                                                                                
Graduate students and post-docs may use the form to apply for a scholarship
that will
cover a substantial part of the costs.
                                                                                
Please encourage your graduate students and post-docs to come to this
workshop and to apply as early as possible.

======================================================================

Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK

phone: +44-1603-592981
fax: +44-1603-593868




Home Index

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

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

Last modified: Tue Jan 20 15:56:50 GMT 2004