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.
The deadline for submissions is
May the 9th.