ACV 11 sessions 24 Jul - 25 Jul ADU 2 sessions 19 Jul AIMACS 8 sessions 25 Jul AR4Space 4 sessions 25 Jul ARQNL 10 sessions 24 Jul ASPOCP 5 sessions 18 Jul CARLA 2 sessions 18 Jul CAV 22 sessions 26 Jul - 29 Jul CI-BD-SOQE 9 sessions 24 Jul - 25 Jul CMSB 10 sessions 24 Jul - 25 Jul CompBench 4 sessions 25 Jul CP 31 sessions 20 Jul - 23 Jul CPSATDP 11 sessions 18 Jul - 19 Jul CREST 7 sessions 24 Jul CSF 17 sessions 26 Jul - 29 Jul DefDesKR 4 sessions 18 Jul DIALOCO 6 sessions 19 Jul DL 17 sessions 17 Jul - 19 Jul DPSOLVE 5 sessions 18 Jul ELASP 4 sessions 18 Jul EULP 5 sessions 18 Jul FCS 7 sessions 25 Jul FLoC 8 sessions 20 Jul - 28 Jul FMQC 5 sessions 18 Jul FORCE 6 sessions 25 Jul FSCD 19 sessions 20 Jul - 23 Jul GALOP 8 sessions 18 Jul - 19 Jul GOE 2 sessions 19 Jul HCVS 4 sessions 25 Jul HYPER 16 sessions 24 Jul ICLP-DC-SS 5 sessions 18 Jul ICLP 23 sessions 20 Jul - 23 Jul IFIP16 4 sessions 18 Jul IJCAR 21 sessions 26 Jul - 29 Jul Isabelle 13 sessions 24 Jul - 25 Jul ITP 20 sessions 26 Jul - 29 Jul ITRS 4 sessions 18 Jul IWC 5 sessions 24 Jul JoeFest 4 sessions 19 Jul KR 42 sessions 20 Jul - 23 Jul LAMAS-SR 9 sessions 19 Jul LCC 8 sessions 18 Jul - 19 Jul Lean 7 sessions 25 Jul LFMTP 4 sessions 24 Jul LICS 34 sessions 20 Jul - 23 Jul LINDA 8 sessions 24 Jul LLM-Solve 7 sessions 19 Jul LLM4R 2 sessions 19 Jul LOGICNN 6 sessions 25 Jul LPOP 4 sessions 25 Jul LSFA 8 sessions 18 Jul - 19 Jul MartaFest 4 sessions 25 Jul MC 4 sessions 25 Jul ML4SP 6 sessions 18 Jul ModRef 8 sessions 19 Jul MoST 3 sessions 18 Jul MSFP 5 sessions 18 Jul MW1 11 sessions 19 Jul MW2 11 sessions 25 Jul NMR 15 sessions 17 Jul - 19 Jul OVERLAY 10 sessions 18 Jul - 19 Jul PAAR 4 sessions 25 Jul PC 10 sessions 18 Jul - 19 Jul PCCR 11 sessions 24 Jul - 25 Jul PEG 5 sessions 19 Jul PERR 4 sessions 24 Jul PIPs 4 sessions 19 Jul PoS 9 sessions 19 Jul QBF 4 sessions 19 Jul RajeevFest 4 sessions 24 Jul RCRA 4 sessions 18 Jul RocqWS SAIV 9 sessions 24 Jul - 25 Jul SAT 21 sessions 20 Jul - 23 Jul SD 12 sessions 24 Jul - 25 Jul SKILLED-LLMs 5 sessions 18 Jul SmP 7 sessions 18 Jul SMT 9 sessions 24 Jul - 25 Jul Soft 4 sessions 24 Jul ST4DM 3 sessions 18 Jul SteamingNeSy 4 sessions 18 Jul SYNT 8 sessions 25 Jul TEAL 8 sessions 25 Jul TERMGRAPH 4 sessions 19 Jul TGD 16 sessions 18 Jul ThEdu 5 sessions 19 Jul THEMA 7 sessions 24 Jul TLLA 11 sessions 18 Jul - 19 Jul TPTPTP 4 sessions 24 Jul UNIF 6 sessions 24 Jul Vampire 4 sessions 24 Jul VeriProP 4 sessions 25 Jul WHOOPS 5 sessions 19 Jul WiL 17 sessions 24 Jul - 25 Jul WPTE 4 sessions 19 Jul WST 4 sessions 25 Jul XLoKR-ExCoS 7 sessions 24 Jul