No registration tickets
Registration for ITP 2026 will be conducted via the official website www.itp2026.com. The registration system is not yet open.
Included in registration fee: Conference materials (e.g., program booklet, name badge); Access to all scientific sessions; Working lunches (November 9–11); Coffee breaks during the conference.
Note: Accommodation, transportation, and dinner are not included.
Payment methods:
(1) QR code payment: QR code to be announced soon
(2) Bank transfer:
Account name: Jinan University
Bank: ICBC Guangzhou Jinan University Branch
Account number: 3602 0158 1910 0000 858
Clearing code: 102581004252
Please specify "ITP2026 + Full Name + Affiliation" in the payment remarks.
(3) On-site payment: Credit/debit card payment via POS terminal available.
Cancellation policy:
1) Full refund if cancellation is made before September 30.
2) 50% refund if cancellation is made between October 1 and October 31.
3) No refund if cancellation is made after October 31.
Nov 08
2026
Nov 11
2026
2015-08-24 China 南京市
6th International Conference on Interactive Theorem Proving (ITP 2015)2013-07-22 France
4th International Conference on Interactive Theorem Proving