BLC Newsletter - April 2016

Registered Charity No 275541

President        Professor H Dugald MacPherson [Leeds]
Vice-President   Professor Philip Welch [Bristol]
Treasurer        Dr Charlotte Kestner [Lancashire]
Secretary        Dr Paulo Oliva [London]
                 Dr Ulrich Berger [Swansea]
                 Professor Alexandre Borovik [Manchester]
                 Professor Volker Halbach [Oxford]

** Please send any items you would like included in the next newsletter to Paulo Oliva (


1) Visit of Dana Scott to UK, 7 - 28 May 2016
2) CFR: Plural Foundations, Leeds, 17 June 2016
3) Hilbert-Bernays Summer School on Logic and Computation, 24-30 July 2016


1) Visit of Dana Scott to UK, 7 - 28 May

Professor Dana S. Scott (Prof. Emeritus, Carnegie Mellon University, and Visiting Scholar, UC Berkeley)
will visit the UK on a lecture tour in May 2016. A Turing Award-winner and recipient of many other
international awards, Professor Scott is a highly distinguished mathematical logician who, in a long
career, has made fundamental contributions to set theory, model theory and the theory of computation.
During his visit, which is supported by grants from the London Mathematical Society and the BLC,  he will
give seminar talks and several distinguished lectures, among them the Löb Lecture in Leeds and the
Mordell Lecture in Cambridge. His itinerary takes in the Universities below. Lecture titles are provisional;
at each site, a contact-name is given, from whom further information may be obtained nearer the date.

OXFORD 7-11 May.

Philosophy of Mathematics Seminar, 9 May 16.30. 
  Title: "Why Mathematical Proof?"
Computer Science Seminar, 10 May 14.00. 
  Title: "Stochastic Lambda Calculus"
Logic Seminar, 11 May 11.00. 
   Title: "Can Modalities Save Naive Set Theory?” 
Contact: Dan Isaacson 

BIRMINGHAM 11-15 May. 

Seminar title and date to be announced.
Contact: Martin Escardo 

LEEDS 15-19 May. 

Mathematical Logic Seminar, 17 May 16.00.
    Title: "Types and Type-Free Lambda Calculus"
The Löb Lecture, 18 May 16.30.
    Title: "Why Mathematical Proof?"
Contact: Stan Wainer 

CAMBRIDGE 19-24 May.

The Mordell Lecture, 20 May 17.00.
    Title: "Why Mathematical Proof?"
PSSL Workshop 21-22 May.
    Title: "Stochastic Lambda Calculus" 
Contact: Peter Johnstone 

LONDON 24-29 May. 

UCL, 27 May. 
   Title: "Types and Type-Free Lambda Calculus" 
Imperial, 26 May.
    Title: "Stochastic Lambda Calculus"
BCS lecture 26 May evening. 
    Title: "Lambda Calculus: Then and Now" 
Queen Mary, 1 June.
    Title:  To be announced. 
Contact: Alexandra Silva 
        Philippa Gardner 
        Ivan Tomasic 


2) CFR: Plural Foundations, Leeds, 17 June 2016

The Plural Foundations conference will showcase and explore the uses of logics of
plural quantification in the philosophical foundations of mathematics.

I am pleased to announce that registration is now open:


Neil Barton (Kurt Gödel Research Center)
Francesca Boccuni (University San Raffaele, Milan)
Berta Grimau (University of Glasgow)
Øystein Linnebo (University of Oslo)

The workshop is generously supported by the Mind Association, the Society for Women
in Philosophy, the ERC Nature of Representation Project and the Centre for Metaphysics
and Mind. It is organised in accordance with the BPA/ SWIP guidelines.

Registration from under-represented groups is particularly encouraged. 

The Analysis Trust have made available bursaries to enable graduate students from
outside Leeds to attend. To apply for one of these, please contact Jade Fletcher by
31st March, providing details of your research and a current CV:

Please direct any enquiries (including about accessibility or childcare availability) to
Simon Hewitt:


3) Hilbert-Bernays Summer School on Logic and Computation, July 24-30, 2016

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays
Summer School on Logic and Computation" 24th July – 30th July 2016.

This summer school offers a unique opportunity for undergraduate and
graduate students to experience compelling lectures on Logic and

Encouraged by previous years of success, in particular the edition 2015
which is been a great success, we offer students from all over the world
the possibility to sign up this 1-week (3 ECTS) Summer School
course covering topics such as:

- From Hilbert to Gentzen and beyond
- Proof mining
- lambda-calculus
- Computational contents of proofs

Students may anticipate a high professional outcome in a dedicated
international environment along with extra-curricular activities.

The summer school receives financial support of the DAAD, the German
Academic Exchange Service, with funds of the Foreign Office (Auswärtiges
Amt - AA), to give a number of grants for foreign students to cover
travel and living expanses.

Deadline for registration and grant applications: 30 April 2016

Further information about the summer school can be found at

We kindly ask you to distribute this information to interested students
and please feel free to send any queries you or your students might have

The summer school is also endorsed by the following scientific
- Académie Internationale de Philosophie des Sciences (AIPS)
- Association for Symbolic Logic (ASL)
- Deutsche Vereinigung für Mathematische Logik und für
Grundlagenforschung der Exakten Wissenschaften (DVMLG)
- European Association for Computer Science Logic
- Gesellschaft für Analytische Philosophie (gap)
- Kurt Gödel Society