Fourth International Conference on Tools for Teaching Logic
9-12 Jun 2015, Rennes (France)
http://ttl2015.irisa.fr/

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

The organizing committee invites you to take part in the Fourth
International Conference on Tools for Teaching Logic, which will be held
in Rennes on June 9-12, 2015.

There will be lectures, discussion sessions, round tables and software
demonstrations. You are kindly invited to take active part in
discussion sessions and to exhibit your teaching or professional
software. We invite submission on all aspects of teaching logics,
including the following:

Main topics:

1. Teaching logic in sciences and humanities

2. Teaching logic at different levels of instruction (secondary education, university level, and postgraduate)

3. Didactic software

4. Facing some difficulties concerning what to teach

5. International postgraduate programs

6. e-Learning Logic: Resources and Challenges.

7. Teaching Argumentation Theory, Critical Thinking and Informal Logic

8. Teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others

9. Dissemination of logic courseware and logic textbooks

10. Teaching Logic Thinking