If you want to take active part, you should send to SICTTL@usal.es, before May the 31th, an extended abstract of no more than four pages, using one of the templates that will be accessible through this page. We invite submission on all aspects of teaching logics as well as software demonstratation.

Notification of acceptance shall reach you before June the 15th. Accepted extended abstracts shall be reproduced and distributed at the Congress.
Go to
announcement to see a list of the Main Topics, or propose a new topic on TOOLS FOR TEACHING LOGIC, but please be "constructive and helpful in your approach".

PRELIMINARY INSTRUCTIONS

We ask you to limit the final version of your contribution paper to 4 pages at most [11pt, A4 paper, one column]. System descriptions should also be no longer than 4 pages [11pt, A4 paper, one column].
To yield a uniform layout for the workshop proceedings, we encourage you to use LaTeX [
.tex ] or Word [.doc]
Note that the SUBMISSION DATE IS May 30 and the final version is due July 3, 2006.
In addition to the workshop proceedings, we plan to publish a special issue in the IGPL Journal. Shortly after the congress, authors will be contacted by the editors for special issue, inviting them to send a longer contribution. Details on the publication schedule for the special issue as well as formatting instructions will be announced at the congress.