TTL 2015 - 4th International Conference on Tools for Teaching Logic

The Fourth International Conference on Tools for Teaching Logic aims to bring together logic teachers, educational researchers, software developers and anyone interested in innovation for learning logic.
Topics of interest
The conference will focus on a variety of topics including:
Teaching logic in sciences and humanities
Teaching logic at different levels of instruction (secondary education, university level, and postgraduate)
Didactic software
What to teach: Facing some difficulties
International postgraduate programs
e-Learning Logic: Resources and Challenges.
Teaching Argumentation Theory, Critical Thinking and Informal Logic
Teaching specific topics: modal logic, computability and logic, etc.
Dissemination of logic courseware and logic textbooks
Teaching Logic Thinking
We are inviting submissions on the conference topics, or on any other aspect of teaching logic or logic teaching software. We prefer 6 or 8 page submissions. Submissions must not exceed 8 pages. It is expected that each accepted paper be presented at the conference by one of its authors. Papers must be submitted electronically, in pdf-format, at the ……………………. Submissions need not be formatted in LNCS style! However, accepted full papers must be formatted in LNCS style, and must respect the page limit.