9-12 Jun 2015
Rennes, France
TTL2015 4th INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC 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 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 TTL2015 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: 30 January 2015 Notification: 1 March 2015 Final camera-ready due: 29 March 2015 Conference: 9-12 June 2015