Third International Congress on Tools for Teaching Logic
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
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.
RAIL 
Leave a Reply