The Coq mailing list

[Yannick Forster <yannick.forster AT inria.fr>]

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 ckeller AT lmf.cnrs.fr, 
yannick.forster AT inria.fr