BLC Newsletter March 2009

Registered Charity No 275541

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) Logic web page set up by Wilfrid Hodges

(2) Nominations for Editor-in-Chief of ACM Transactions on 
Computational Logic (ToCL)

(3) Book: Andre Nies, Computability and Randomness, available
at half price (27.50)

(4) CSL deadline: 30 March


(1) Wilfrid Hodges has set up a logic page on the web at

It contains a variety of items under the following heads:

(1) Arabic logic and semantics
(2) General history of logic
(3) Semantics in natural language, mathematics, engineering
(4) Mathematical logic
(5) Cognitive aspects of logic
(6) Mathematics and music

The page also gives directions for reaching his house on Dartmoor, 
an excellent area for walking.  Logic visitors are always welcome.


(2) Nominations (including self nominations) are invited for the next
Editor-in-Chief of ACM Transactions on Computational Logic (ToCL): The position is for a term (renewable
once) of three years, starting on July 1, 2009.

Candidates should be well-established researchers in areas related
to computational logic, broadly conceived,  and should have sufficient
experience serving on conference program committees and journal editorial
boards.  Nominations, including a current curriculum vita and a brief
(one page) statement of vision for ToCL, should be sent to
Joseph Halpern , by May 1, 2009.

Final selection will be made by a Selection Committee, consisting of
Joseph Halpern (chair -- Cornell University), Kryzsztof Apt (CWI),
Prakash Panangaden (McGill University), and Gordon Plotkin (University of
Edinburgh). Nominations received after May 1, 2009, will be considered
up until the position is filled.


(3) Does anyone want to buy an OUP book, Andre Nies, Computability and 
Randomness, for half price (27.50)?  BLC gets copies of OUP books for 
free, they are sold for 1/2 price to members, and the money goes to BLC 
as donation. Please contact Natasha Alechina,


(4) 18th EACSL Annual Conference on Computer Science Logic,, deadline: 30 March.

Home Index


Page maintained by

Last modified: Sun Apr 12 14:37:26 BST 2009