[FOM] 4th International Congress on Tools for Teaching Logic, 9-12 June 2015, Rennes / FR

[Joao Marcos]

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 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 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