1-4 June 2011
Salamance, Spain
FINAL FINAL FINAL Call for papers FINAL FINAL FINAL 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. FINAL FINAL FINAL Call for papers FINAL FINAL FINAL - 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 http://www.easychair.org/conferences/?conf=ticttl2011 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