# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1710267730 0
# Node ID 443333562eaa08097a3825a3c7486ae2b7fba0ad
# Parent  552a6b834d43cd287bbfefb495ce8985cd3c1fd4
updated

diff -r 552a6b834d43 -r 443333562eaa index.html
--- a/index.html	Fri Feb 23 11:59:17 2024 +0000
+++ b/index.html	Tue Mar 12 18:22:10 2024 +0000
@@ -185,6 +185,7 @@
 <A HREF="https://ijcar2020.org">IJCAR'20</A> (member of PC)
 <A HREF="http://easyconferences.eu/itp2021bid/">ITP'21</A> (member of PC)
 <A HREF="http://www.cs.cmu.edu/~mheule/CADE28/">CADE'21</A> (member of PC)
+<A HREF="https://www.viam.science.tsu.ge/itp2024/">ITP'24</A> (member of PC)
 <P>
 
 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised