[FOM] Tools for Teaching Logic 2015 - EXTENDED DEADLINE

[Joao Marcos]

Due to several requests for deadline extension, here are the *new* and *final*
IMPORTANT DATES:

Abstract submission: Feb 13
Paper submission: Feb 20
Notification: Apr 6
Final camera­-ready due: April 20
Conference: June 9­-12

* * *

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