http://logicae.usal.es/TICTTL/
June 1-4 2011, Salamanca, Spain
Third International Congress on Tools for Teaching Logic

The congress 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 education, university level, and postgraduate), presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, pedagogy of logic.

Call for papers

- Submission of Papers: December 8th, 2010
- Notification of Acceptance: February 1st, 2011
- Final Camera-Ready Submission Due: March 1st, 2011

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 TICTTL EasyChair website . Submissions need not be formatted in LNCS style! However, accepted full papers must be formatted in LNCS style, and must respect the page limit.

Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler