BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260403T225406Z DTSTART;TZID=America/Toronto:20150609T050000 DTEND;TZID=America/Toronto:20150609T050000 SUMMARY:4th International Conference on Tools for Teaching Logic UID:20260404T003341Z-iCalPlugin-Grails@philevents-web-f5d4878dd-4s97k TZID:America/Toronto LOCATION:Rennes\, France DESCRIPTION:

SECOND CALL FOR PAPERS

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. \;
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 camera­\;ready due: 29 March 2015 \;
Conference: 9­\;-12 June 2015

ORGANIZER: METHOD:PUBLISH END:VEVENT END:VCALENDAR