BLC Newsletter - June 2014

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]
                  Dr Peter Schuster [Leeds]

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


1) XXth European Symposium of Medieval Logic and Semantics, University of Cambridge (12-16 June)
2) Research position "Coalgebraic Logic Programming for Type Inference”,  Dundee (deadline 16 June)
3) Workshop "Inner and Outer Model Theory", University of Bristol (7 July)
4) FLoC workshop on proof complexity - Call for Participation (12/13 July)


1) XXth European Symposium of Medieval Logic and Semantics: Medieval Theory of Relations

University of Cambridge
12-16 June 2014

Organisers: J. Marenbon (Trinity), T. Street (Clare Hall), R. Strobino (Clare Hall)

Conference website:


2) Research position "Coalgebraic Logic Programming for Type Inference”,  Dundee (deadline 16 June)

School of Computing
University of Dundee

Postdoctoral Researcher in
Coalgebraic Logic Programming for Type Inference
Fixed-term position for 2 years (extension possible).
Start date: between 1 July 2014 and 1 October 2014;
Salary scale: between £29,837 and £33,5562 per annum. 

Closing Date for applications: 16 June 2014.

More details are available below and

For further inquiries please email Katya Komendantskaya 


3) Workshop "Inner and Outer Model Theory", University of Bristol

Sunday July 6th and Monday July 7th, 2014.

Confirmed Speakers:

Andrew Brooke-Taylor: On large cardinal indestructibility
Mirna Dzamonja: Combinatorial versions of SCH
Vera Fischer: Combinatorics and projective wellorders of the reals
Peter Holy: Condensation does not imply Square
Radek Honzik: The tree propery at every other cardinal below aleph_omega
Daisuke Ikegami: The theory of universally Baire sets in 2^{\omega_1}
Philipp Lücke: Simple definitions for complicated subsets of H(omega_2)
Boban Velickovic: tba
Matteo Viale: Generic absoluteness and forcing axioms: the easy and the hard way

If you are interested in attending the workshop, please contact Peter Holy (
There is limited financial support available for UK graduate students.
This meeting is funded by the EPSRC and the LMS.


4) FLoC workshop on proof complexity - Call for Participation, Vienna, July 12/13 2014

The workshop will be part of the Vienna Summer of Logic and will be affiliated with the
conferences SAT'14 and CSL/LICS'14.

Scope: Proof complexity is the study of the complexity of theorem proving procedures.
The central question in proof complexity is: given a theorem F (e.g. a propositional
tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules),
what is the size of the smallest proof of F in the system P?  Moreover, how difficult is
it to construct a small proof? Many ingenious techniques have been developed to try to
answer these questions, which bare tight relations to intricate theoretical open problems
from computational complexity (such as the celebrated P vs. NP problem), mathematical
logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving.

Invited Speakers:

Albert Atserias (UPC Barcelona)
Jakob Nordstrom (KTH Royal Institute of Technology)
Pavel Pudlak (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)

The preliminary programme of the workshop is available at

Registration and Accommodation: Registration details can be found on

Accommodation can be booked via The workshop will start Saturday
morning, so participants should arrive on Friday, 11 July. If you plan to arrive on 11 July, please
select July 12 as start date and then fill in the field 'Special Requirements' stating that you
need the room from July 11.

Program Committee:

 Arnold Beckmann (Swansea University)
 Eli Ben-Sasson (Technion, Haifa) 
 Olaf Beyersdorff (University of Leeds) - chair
 Jan Johannsen (LMU Munich) - chair
 Massimo Lauria (KTH Royal Institute of Technology, Stockholm)


 Olaf Beyersdorff (University of Leeds)
 Jan Johannsen (LMU Munich)