Institute for Logic, Language and Computation

26-30 September 2006, Second International Congress on Tools for Teaching Logic, Salamanca, Spain

Date: 26-30 September 2006
Location: Salamanca, Spain
Deadline: 15 May 2006


Most of us share the feeling that the teaching of an interdisciplinary field spanning logic,linguistics and computer science should be available in such a way that will facilitate further interdisciplinary research.

Nevertheless, we are aware that the needs are different in those fields of study which have already been stablished. The overall concern is in the teaching of logic, but with special regard in addressing innovations and the systematization of educational activity.We believe that the role of logic in the shaping of the epistemology of this XXI creature should be crucial; Information technology is rapidly changing the world we live in, and logic is helping us to produce, distribute and process information, as well as to understand how coded information can modify people's state of knowlege.

At the University of Salamanca the First International Congress on Tools for Teaching Logic took place in June 2000. A number of logicians from different countries in Europe,the US and South America gathered there to focus on education on the interfaces between philosophy, linguistics, mathematics, computer science and related disciplines.

The organizing committee invites you to take part in the Second International Congress on Tools for Teaching Logic, which will be held in Salamanca on September 26-30, 2006. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software. We invite submission of papers on all aspects of teaching logics, including the following:

Main topics
1. Issues, Means and Objectives in Teaching Logic.
2. Teaching the Role of Logic in Science and Humanities.
3. Teaching Logic Research in a Postgraduate Programme.
4. Software for Teaching Logic and Reasoning.
5. e-Learning Logic: Resources and Challenges.

Proposals of new topics on TOOLS FOR TEACHING LOGIC are welcome. The deadline for submissions is May the 15th. Details about the submission procedure will be announced in the second call for papers.

Even if you are not taking such an active part you must register before June the 30th.

Other important dates: Submission of Papers: May 15, 2006
Notification of Acceptance: June 15,2006
Final Camera-Ready Submission Due: July 3, 2006

For more information, see

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X