4th International Conference on Tools for Teaching Logic 9-12 June 2015, Rennes, France

“We all know people who are very bright but who do not always shine when it comes to being logical. They have the ability to think logically —that is, clearly and effectively— but that ability does not habitually manifest itself. The likelihood is that it has never been properly developed, pointing to a deficiency in their education. Indeed, logic is the very backbone of a true education, and yet it is seldom taught as such in American schools. To my mind, logic is the missing piece of the American educational system, the subject that informs every other subject from English to history to science and math.” 
Being Logical: A Guide to Good Thinking, D.Q. McInernyhttp://ttl2015.irisa.fr/

4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015) 
June 9-­12, 2015, Rennes, France 
http://ttl2015.irisa.fr/

Call for Papers

TOPICS

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.

INSTRUCTIONS FOR AUTHORS

Submitted papers in PDF format should not be longer than 8 pages and must be submitted electronically using the EasyChair system:https://easychair.org/conferences/?conf=ttl2015. 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. A half-day slot will be dedicated to demo tools.

IMPORTANT DATES

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

Last events

• 1st TTL: Salamanca, 2000
• 2nd TTL: Salamanca, 2006
• 3rd TTL: Salamanca, 2011