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 amysterious 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
Page maintained by E.Ritter@cs.bham.ac.uk
Last modified: Tue Jan 20 15:56:50 GMT 2004