Tools for Teaching Logic

The Third International Congress on Tools for Teaching Logic (TICTTL)
will focus on a variety of topics including: logic teaching software,
teaching formal methods, logic in the humanities, dissemination of
logic courseware and logic textbooks, methods for teaching logic at
different levels of instruction (secondary educuation, university
level, and postgraduate), presentation of postgraduate programs in
logic, e-learning, logic games, teaching argumentation theory and
informal logic, and pedagogy of logic.

We are inviting submissions on the topics above, 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 at the TICTTL
EasyChair website, submission instructions will be posted in later CFPs.