you want to take active part (20 minutes) in Discussion sessions or Software
demonstratation you should send to email@example.com,
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.