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