BLC Newsletter - December 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) 4th International Conference on Tools for Teaching Logic (TTL 2015)
2) The 4th Reasoning Club Meeting, 30-31 March 2015
3) Job Advert: EPS-05513 Lecturer in Pure Mathematics (1 posts), University of Manchester
4) Model theory Conference South Africa 2015 (call for abstracts)
5) British Postgraduate Model Theory Conference 2015


1) 4th International Conference on Tools for Teaching Logic (TTL 2015)  

June 9-­12, 2015, Rennes, France  

Call for Papers

Tools for Teaching Logic  seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction  (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.


Submitted papers in PDF format should not be longer than 8 pages and must be submitted electronically using the EasyChair system. A demonstration is expected to accompany papers describing software tools. At least one author of each accepted paper must be registered and attend TTL 2015 to present the paper or the tool.   


All accepted papers will be published electronically in the LIPICS style by University of Rennes 1 with  an ISBN (a USB key will be provided to the conference participants). After the conference, a special issue containing extended versions of the best accepted papers is going to be published in the IfCoLog Journal of Logics and their Applications. 


Papers presentations will be presented in parallel sessions along the week. Half-a-­day slot will be dedicated to demo tools.  


Paper submission: 30 January 2015;  
Notification: 1 March 2015;  
Final camera­ready due: 29 March 2015  
Conference: 9­-12 June 2015


2) The 4th Reasoning Club Meeting

The 4th annual meeting of the Reasoning Club

will be held in the School of Mathematics, Manchester University on the 30th and 31st of March 2015.

The Keynote Speakers are
- Richard Booth (Luxembourg),
- Leon Horsten (Bristol),
- Federico Luzzi (Aberdeen)
- Sara Uckelman (Durham).

In addition it is planned to have ten 40 minute contributed talks by Ph.D.students and early Postdocs., for whom grants will be available to cover the cost of accommodation and subsistence.

Please see for information on abstract submission and (free) registration.

Jeff Paris & Alena Vencovska, Meeting Organizers.


3) Job Advert: EPS-05513 Lecturer in Pure Mathematics (1 posts) - School of Mathematics, University of Manchester

Lecturer in Pure Mathematics

Closing date : 30/01/2015
Reference : E&PS-05513
Faculty / Organisational unit : Engineering & Physical Sciences
School / Directorate : School of Mathematics
Division : Pure Mathematics
Employment type : Permanent
Location : Oxford Road, Manchester
Salary : £34,233 to £47,328 per annum
Hours per week : Full time

General Informal enquiries can be made to Professor Peter Duck, Head of School:
Telephone: 0161 275 5831


4) Model theory Conference South Africa 2015 (Call for abstracts)

9-13 March 2015

University of Stellenbosch, South Africa

We invite abstracts from any area of model theory. Deadline for abstracts is January 5th. Deadline for registration is 15th of February.



- Charles Steinhorn (Vassar College)
- Anand Pillay (University of Notre Dame)
- Joel Nagloo (CUNY)

For more information please contact the organisers on


5) British Postgraduate Model Theory Conference 2015

7-9 January 2015, University of Oxford

The fifth British Postgraduate Model Theory (BPGMT) Conference will be held in Oxford, 7-9 January 2015. It is chiefly aimed at postgraduate students and postdoctoral researchers in model theory and related areas, but anybody interested is welcome! The conference is sponsored by the London Mathematical Society and The British Logic Colloquium.

The conference will feature talks by participants and invited speakers.

Invited speakers:
- Zoe Chatzidakis
- David Evans
- Martin Ziegler
- Boris Zilber

Please visit the webiste for more details.