CASC-J13 deadlines

3 views

Skip to first unread message

Geoff Sutcliffe

unread,

Mar 23, 2026, 2:18:45 PMMar 23

to TPTP World

Hi CASC people,

The deadlie to submit problems for TPTP v9.3.0, which will be used for CASC-J13, is 15th April. The deadline for submittig systems for problem rating is 1st May. Other deadlines are evolving in the CASC-J13 website ...

https://tptp.org/CASC/J13/

Cheers,

Geoff

Reply all

Reply to author

Forward

0 new messages