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.
Hans van Ditmarsch
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
Jesús Alcolea Banegas
Johan van Benthem
María José Frápolli Sanz
Francisco José García Peñalvo
Itala Loffredo D'Ottaviano
Huberto Marraud González
Concepción Martínez Vidal
Luis Vega Reñón
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.
Este blog no tiene ninguna otra finalidad que compartir y ayudar a reflexionar sobre lógica y filosofía de la lógica, filosofía de las matemáticas, de la ciencia etc.
El blog es absolutamente gratuito. Mando los artículos a quienes lo soliciten y me envíen su mail . Es importante difundir nuestras reflexiones, discusiones, investigaciones y logros en el campo de las disciplinas que nos apasionan .
Gracias por seguir el blog !!!