The organizing committee invites you to take part in the First International Congress on Tools for Teaching Logic, which will be held in Salamanca on June 14-17, 2000.

There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

Main topics:
1. Issues and Objectives in Teaching Logic.
2. The Teaching of Logic in Science and Humanities.
3. An Epistemological Approach to Teaching Logic.
4. Teaching Logical/Mathematical Thinking and Proofs in High School.
5. Teaching Logic Using the Web (Resources and Challenges).
6. Educational and Professional Logic Software.
[Proposals of new topics on TOOLS FOR TEACHING LOGIC are welcome.]

The deadline for submissions is May the 9th.
Even if you are not taking such an active part you must register before May the 15th.