If you want to take active part (20 minutes) in Discussion sessions or Software demonstratation you should send to, before May 9 an extended abstract of no more than four pages, using one of the templates that will be accessible through this page.
Notification of acceptance shall reach you before May 15. 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".
We also plan to prepare a Special Issue of the IGPL.