The awards will be decided by the programme committee. The programme committee members are not eligible for awards. The programme committee may decide not to give and/or split some of the awards.
The papers submitted for the best paper award must be original and not submitted elsewhere. At least one author of every paper receiving an award must attend the conference.
To qualify for the young researchers paper awards, all authors must be not older than 35 years at the time of the conference, that is, they should be born on or after June 23, 1977.
The best paper award evaluation procedure will be as follows:
All papers accepted to the poster session will appear in the conference proceedings, to be available at the conference. In addition, the final version of all papers selected for awards will be published in a book dedicated to the conference, together with papers by some invited and panel speakers. The book will be published after the conference. For more details see the submission page.
All questions about the best paper awards should be sent to the programme chair Andrei Voronkov at This e-mail address is being protected from spambots. You need JavaScript enabled to view it. .