BLC Newsletter - May 2016


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.blc-logic.org

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 (p.oliva@qmul.ac.uk)

Contents:
---------

1) Publishing of BLC members list on BLC website (members’ area)
2) Dana Scott talks in London, 26-27 May and 1 June 2016
3) Bristol-Münich Truth and Rationality Workshop, 10-12 June 2016
4) Logic Colloquium 2016, 31 July to 6 August 2016

-------------------------------------------------------------------------------------

1) Publishing of BLC members list on BLC website (members’ area)

As agreed in last year’s AGM, the list of BLC members will be made available on the
BLC website, at the members’ only area. If you would not like your name listed there
please contact Paulo Oliva (p.oliva@qmul.ac.uk) or Charlotte Kestner (charlotte.kestner@googlemail.com)
in the next two weeks.

-------------------------------------------------------------------------------------

2) Dana Scott talks in London, 26-27 May and 1 June 2016

Dana Scott’s tour of the UK is coming to an end with four talk in London this and next week:

• Imperial: Thursday 26 May (2pm)
 Computer Science Department, Imperial College
 Title: "Stochastic Lambda Calculus”

• BCS Lecture: Thursday 26 May (5.30pm) 
 BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
 Title: "Lambda Calculus: Then and Now”
 Book at: http://www.bcs.org/category/18788

• UCL: Friday 27 May (11am)
 Room 405 (4th floor) in 66-72 Gower Street, WC1E 6EA
 Title: "Types and Type-Free Lambda Calculus”

• Queen Mary: Wednesday 1 June (3pm)
 Maths, Queen Mary University of London, Mile End Road, London E1 4NS 
 Title: "Why Mathematical Proof?” 
 Book at: https://www.eventbrite.co.uk/e/what-is-a-mathematical-proof-professor-dana-scott-tickets-25535117223

-------------------------------------------------------------------------------------

3) Bristol-Münich Truth and Rationality Workshop, 10-12 June 2016

University of Bristol

The Bristol-München Truth Workshop will take place on the 10th, 11th and 12th of June
and will feature a range of talks from philosophers and mathematicians around the theme
of ‘truth and semantic paradox.’ In particular, this will feature many early-career
researchers presenting their current work in this area, with many talks from researchers
at both Bristol and the MCMP. We invite anyone with an interest in attending these
talks to do so.

Speakers

• Dora Achourioti (Amsterdam) 
• Timo Behringer (München)
• Catrin Campbell-Moore (Cambridge/Bristol)
• Martin Fischer (München)
• Kentaro Fujimoto (Bristol)
• Monika Gruber (Vienna)
• Volker Halbach (Oxford)
• Leon Horsten (Bristol)
• Richard Kaye (Birmingham)
• Alexander Jones (Bristol)
• Carlo Nicolai (München)
• Lavinia Picolo (München)
• Thomas Schindler (Cambridge)
• Johannes Stern (München)
• Philip Welch (Bristol)

More information can be found at:

http://www.bristol.ac.uk/philosophy/research/foundational-studies/events/bristol-munchen-truth-workshop-2016/

-------------------------------------------------------------------------------------

4) Logic Colloquium 2016, 31 July to 6 August 2016

University of Leeds

There is still time to register for the upcoming Logic Colloquium at Leeds.

Gödel lecture:

• Stevo Todorcevic - University of Toronto and CNRS Paris

British Logic Colloquium Lecture:

• Laurent Bienvenu - CNRS et Université Paris Diderot

Other plenary lectures:

• Benno van den Berg - University of Amsterdam
• Richard Garner - Macquarie University
• Rob Goldblatt - Victoria University of Wellington
• Itay Kaplan - The Hebrew University of Jerusalem
• Toniann Pitassi - University of Toronto
• Farmer Schlutzenberg - University of Münster
• Dima Sinapova - University of Illinois at Chicago
• Henry Towsner - University of Pennsylvania
• Timothy Williamson - University of Oxford
• Boris Zilber - University of Oxford

Tutorials

• Topic: Univalent foundations 
 Speaker: Thierry Coquand - University of Gothenburg
• Topic: Computable model theory 
 Speaker: Uri Andrews - University of Wisconsin-Madison

For further information see:

http://www.lc2016.leeds.ac.uk