From June 1 to June 4 2011 we will organize the Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain. Previously, these events have also been organized in Salamanca, in 2000 and in 2006, and the webpages of these past events are http://aracne.usal.es/congress/congress.html and http://logicae.usal.es/SICTTL/. The webpage of TICTTL is http://logicae.usal.es/TICTTL/.
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 educuation, university level, and postgraduate), presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, pedagogy of logic.
Organizing Committee
Patrick Blackburn
Hans van Ditmarsch
María Manzano
Fernando Soler
Invited speakers and keynote software demonstrations
The following are the confirmed invited speakers or keynote software demonstrators. Full confirmation still depends on the ability of the Organizing Committee to obtain funds in due time.
Enrique Alonso, Universidad Autonoma de Madrid
Rod Girle, University of Auckland
David Gries, Cornell
Jim Henle, Smith College
Antonia Huertas, Universitat Oberta de Catalunya
Jan Jaspars, Netherlands
Raymundo Morado, Universidad Autonoma de Mexico
Keith Stenning, University of Edinburgh
Programme Committee
Jesús Alcolea Banegas
Atocha Aliseda
Colin Allen
Andrew Arana
Carlos Areces
Dave Barker-Plummer
Johan van Benthem
Krysia Broda
Begoña Carrascal
Susanna Epp
María José Frápolli Sanz
Dov Gabbay
Francisco José García Peñalvo
David Gries
Marcia Groszek
Jan Jaspars
Joost Joosten
Tamara Lakins
Fenrong Liu
Josje Lodder
Itala Loffredo D'Ottaviano
Huberto Marraud González
Concepción Martínez Vidal
Ángel Nepomuceno-Fernández
Manuel Ojeda-Aciego
R. Ramanujam
Bernard Sufrin
Luis Vega Reñón
Richard Zach
Call for Papers
Submission of Papers: 8th December 2010
Notification of Acceptance: 1st February 2011
Final Camera-Ready Submission Due: 1st March 2011
We are inviting submissions on the conference topics listed 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.
The proceedings of TICTTL include invited papers, accepted full papers, and accepted 2-page short papers. The invited papers and full papers will be published prior to the conference as a volume in the LNAI-FOLLI series, a subseries of Springer's Lecture Notes in Computer Science. The short papers will be available prior to the conference on the conference website and will be included in the conference booklet.
Submissions need not be formatted in LNCS style! However, accepted full papers must be formatted in LNCS style, and must respect the page limit.
--------------------------------------------------------------------------------
