Logic List Mailing Archive

3rd International Congress on Tools for Teaching Logic

1-4 June 2011
Salamanca, Spain

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


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