[FOM] 4th International Congress on Tools for Teaching Logic, 9-12 June 2015, Rennes / FR
botocudo at gmail.com
Sat Nov 8 09:02:30 EST 2014
4th INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC
June 9-12, 2015, Rennes, France
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 TTL2015 to present the paper or the tool.
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
More information about the FOM