BLC Newsletter - December 2014
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]
Dr Peter Schuster [Leeds]
** Please send any items you would like included in the next newsletter to Paulo Oliva (p.oliva@qmul.ac.uk)
Contents:
---------
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
http://ttl2015.irisa.fr/
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 eLearning 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.
* INSTRUCTIONS FOR AUTHORS
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.
* PUBLICATIONS
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.
* CONFERENCE FORMAT
Papers presentations will be presented in parallel sessions along the week. Half-a-day slot will be dedicated to demo tools.
* IMPORTANT DATES
Paper submission: 30 January 2015;
Notification: 1 March 2015;
Final cameraready due: 29 March 2015
Conference: 9-12 June 2015
-------------------------------------------------------------------------------------
2) The 4th Reasoning Club Meeting
The 4th annual meeting of the Reasoning Club
http://www.kent.ac.uk/secl/philosophy/jw/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 http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/ 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
https://www.jobs.manchester.ac.uk/universityofmanchesterinternal/displayjob.aspx?jobid=8805
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:
Email: peter.duck@manchester.ac.uk
Telephone: 0161 275 5831
-------------------------------------------------------------------------------------
4) Model theory Conference South Africa 2015 (Call for abstracts)
9-13 March 2015
http://math.sun.ac.za/boxall-conference
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.
Registration:
https://docs.google.com/forms/d/1OHUMKqcdKNG1EYTr1rfAtat60lIX9vyfG3GVU18nI7Q/viewform
CONFIRMED SPEAKERS:
- Charles Steinhorn (Vassar College)
- Anand Pillay (University of Notre Dame)
- Joel Nagloo (CUNY)
For more information please contact the organisers on stellenboschmodeltheory@gmail.com
-------------------------------------------------------------------------------------
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 http://www2.maths.ox.ac.uk/bpgmt2015/program for more details.