--- a/index.html	Fri Apr 17 01:59:00 2020 +0100
+++ b/index.html	Tue Oct 27 18:43:10 2020 +0000
@@ -178,6 +178,8 @@
 <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC)
 <A HREF="https://itp19.cecs.pdx.edu">ITP'19</A> (member of PC)
 <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)
 <P>
 
 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised