4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
June 9-12, 2015, Rennes, France
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
<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 IfCoLogJournal
of Logics and their Applications
<http://www.collegepublications.co.uk/journals/ifcolog/>.
* 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
Abstract submission: 13 February 2015;
Paper submission: 20 February 2015;
Notification: 6 April, 2015;
Final camera ready due: 20 April, 2015;
Conference: 9-12 June 2015.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
