16th International Conference on Interactive Theorem Proving - ITP'25
Reykjavik, Iceland, 27 September - 3 October 2025
https://icetcs.github.io/frocos-itp-tableaux25/itp
For ITP'25, we open a call for self-nomination of external reviewers to
gather a pool of possible external reviewers that PC members may appeal
to in order to obtain complementary expertise when needed. The call is
open to any person who has a PhD in Computer Science with an expertise
related to ITP.
Note that being part of that pool does not mean that you will be
appealed to do reviews. The PC is also free to ask other external
reviewers. Persons who actually provided external reviews will be
thanked in the preamble of the proceedings.
Note that being part of that pool does not force you to accept external
reviews, but we expect you to answer quickly if you accept an external
review or not.
The relevant deadlines are
Paper submission deadline: March 19, 2025
Author notification: May 23, 2025
The same rules for conflict of interest as for the PC apply.
To self-nominate, send your name and affiliation, one sentence
motivation, your PhD graduation date, a link to your website and dblp
page, and a list of topics of expertise (including proof assistants), no
later than March 21 (anywhere on earth) to ckel...@lmf.cnrs.fr,
yannick.fors...@inria.fr
