BLC Newsletter - June 2018

Registered Charity No 275541

President        Prof. Philip Welch [Bristol]
Vice-President   Prof. Volker Halbach [Oxford]
Treasurer        Dr Charlotte Kestner [Lancashire]
Secretary        Dr Paulo Oliva [London]
                 Dr. Martin Escardo [Birmingham]
                 Dr. Jonathan Kirby [East Anglia]
                 Dr. Renate Schmidt [Manchester]

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


1) Logicians in Turkey
2) Master in Pure and Applied Logic (University of Barcelona / Polytechnical University of Catalunya)
3) DAS KONTINUUM - 100 years later
4) 1st Workshop on Proof Theory and its Applications


1) Logicians in Turkey

An increasing cause for concern is the situation of a number of our Turkish colleagues, some of whom have been dismissed from academic posts, and in particular those such as Ozlem Beyarslan, Ayse Berkman, and Tuna Altimel who have been summoned to court hearings for having signed a Peace Petition which was widely circulated in Turkey. Our colleagues there have asked for signs of support from outside of Turkey to let the authorities know that these processes are not going unnoticed. One suggestion from them has been that Observers be sent from outside to attend court hearings - as the title intends, purely in an observing capacity.

A donor has offered to completely fund the travel and other expenses of such a potential observer(s). The Committee has considered carefully the question of whether our remit can extend to supporting the mission of such an Observer. The Constitution speaks of supporting educational activities in the UK but also of making contact with like-minded organisations and groups internationally. We have come to the decision that the BLC can support such an undertaking: the logic community, like many an academic enterprise is fundamentally and immutably international in scope. The deprivation of a group of individual academics within our international community is detrimental, even if indirectly so, on our ability to conduct effective research with our colleagues, in this case with those in Turkey.  We feel that supporting our Turkish colleagues by this gesture is one way of supporting logic, and indeed truth, internationally.

2) Master in Pure and Applied Logic - last call for registration

The biannual two-year 'Master in Pure and Applied Logic' programme for
2018-2020, jointly organized by the University of Barcelona and by the
Polytechnical University of Catalunya, is still having a few vacancies and open for registration.

The Barcelona Logic Master caters in the most central aspects of
advanced logic. Professors related to the Barcelona Master in Pure and
Applied Logic come from various prominent Universities and Research
Institutes in the area of Barcelona.

As a novelty to next-year's edition we offer two Best Student Stipends of one-thousand euros each to be awarded by the end of the academic year 2018-2019/beginning of the next academic year.

Interested students can find more information at

Questions or inquiries relating to the master can be sent to Ramon Jansana:


3) DAS KONTINUUM - 100 years later

Conference:  “DAS KONTINUUM - 100 years later”

School of Mathematics, University of Leeds,
11th September (arrival) – 15th September (departure) 2018.

The conference will feature recent research in predicativity. It will
bring together mathematicians, computer scientists, and philosophers of
mathematics working in areas related to the legacy of Hermann Weyl, on
this centennial anniversary of the publication of Das Kontinuum.

Speakers include:

Peter Aczel  (University of Manchester, UK)
Bahareh Afshari (University of Gothenburg, Sweden)
Arnon Avron (Tel-Aviv University, Israel)
Andrea Cantini (University of Florence, Italy)
Laura Crosilla (University of Birmingham, UK)
Michael Detlefsen (University of Notre Dame, USA)
Dagfinn Føllesdal (Stanford University, University of Oslo Norway)
Geoffrey Hellman (University of Minnesota, USA)
Gerhard Jäger (University of Berne, Switzerland)
Graham E. Leigh (University of Gothenburg, Sweden)
Øystein Linnebo (Univeristy of Oslo, Norway)
Maria Emilia Maietti (University of Padua, Italy)
Per Martin-Löf (University of Stockholm, Sweden)
Takako Nemoto (Japan Advanced Inst. of Science & Tech., Japan)
Stephen Simpson (Vanderbilt, Nashville, USA)
Nik Weaver (Washington University, St. Louis, USA)

Keep an eye on for updated details.

The conference is funded by grants from the London Mathematical Society,
the Leeds School of Mathematics, the John Templeton Foundation and the
Analysis Trust.

Bursaries: (1) The London Mathematical Society kindly supports
attendance by a number of UK-based graduate students. (See below for how
to apply).

(2) The London Mathematical Society also makes available limited funding
to enable the participation of parents and carers who, without
additional support, could not attend. For further information see:

(3) The Analysis Trust have generously offered to fund a number of
student bursaries to support graduate students attending the conference.
The bursary will cover up to 50% of the cost of accommodation and board
but cannot be used to pay for travel expenses.

Those wishing to apply for a Student Bursary should request it in their
registration e-mail, and ask their supervisor to send a brief supporting
statement. It is advisable to apply as soon as possible.

For details and registration visit:


Laura Crosilla (Birmingham), Michael Rathjen (Leeds), Stan Wainer
(Leeds), Jack Woods (Leeds). 


4) 1st Workshop on Proof Theory and its Applications

Inaugural meeting of The Proof Society
Ghent, September 6-7, 2018
Deadline for registration:  1 July 2018

Colocated with the workshop is the
1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
Deadline for registration: 15 July 2018

Important dates
- workshop registration deadline           1 July 2018
- summer school application deadline      15 July 2018
- summer school                     2-5 September 2018
- workshop                          6-7 September 2018

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion.

The mission of The Proof Society is to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating it most important goals; to actively promote proof to increase its visibility and representation.

Invited Speakers
The following researchers have accepted to speak at the workshop:

Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)


To register follow the instructions on the website.  Limited number of slots for contributed talks are available, submissions of contributed abstracts are collected via registration.  Deadline for registration is 1 July 2018.

Programme Committee

Bahareh Afshari, University of Gothenburg
Matthias Baaz, TU Wien
Arnold Beckmann, Swansea University (Chair)
Lev Beklemishev, Steklov Mathematical Institute
Balthasar Grabmayr, Humboldt University Berlin
Rosalie Iemhoff, Utrecht University
Joost Joosten, University of Barcelona
Antonina Kolokolova, Memorial University of Newfoundland
Norbert Preining, Accelia Inc.
Andreas Weiermann, Ghent University

Local organizing committee

Arnold Beckmann, Swansea University
David Belanger, Ghent University
David Fernandez-Duque, Ghent University
Lenny Neyt, Ghent University
Rafal Urbaniak, Ghent University
Andreas Weiermann, Ghent University (Chair)


To unsubscribe from the BLC mailing list please contact Paulo Oliva