Monday, November 17, 2014

[DMANET] TTL 2015: Tools for Teaching Logic, Rennes (France), 9-12 Jun 2015

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

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