Bienvenidos !!!

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 !!!

Claudio Conforti

sábado, 28 de agosto de 2010

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



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.





--------------------------------------------------------------------------------

No hay comentarios:

Publicar un comentario en la entrada

Gracias por dejarme tu comentario