PROGRAM AUTHORS KEYWORDS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | Without Group | WPTE | WST | XLoKR-ExCoS | Full Program

S. Akshay Affiliation: IIT Bombay Affiliation: Indian Institute of Technology Bombay Pages in this Program Program Program on Monday, 20 July 2026 LICS on Monday, 20 July 2026 LICS Program Program on Wednesday, 22 July 2026 SAT on Wednesday, 22 July 2026 SAT Program Program on Saturday, 25 July 2026 MC on Saturday, 25 July 2026 MC Program Program on Tuesday, 28 July 2026 CAV on Tuesday, 28 July 2026 CAV Program Program on Wednesday, 29 July 2026 IJCAR on Wednesday, 29 July 2026 IJCAR Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: