PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | 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 | WPTE | WST | XLoKR-ExCoS | Full Program

Alexey Ignatiev Affiliation: Monash University   Talks (RCRA) Efficient Interpretability Reasoning for Decision Trees · AI Reasoning, Explainability e LLMs (CP) Efficient Explanations for Rule Ensembles · SAT, MAXSAT, CP-SAT (SAT) Session Chair — Invited Talk 1 (SAT) Session Chair — Session K: Competitions (CAV) Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations · Software: Tools, Verification and Synthesis Pages in this Program Program Program on Saturday, 18 July 2026 RCRA on Saturday, 18 July 2026 RCRA Program Program on Monday, 20 July 2026 CP on Monday, 20 July 2026 CP Program Program on Tuesday, 21 July 2026 SAT on Tuesday, 21 July 2026 SAT Program Program on Thursday, 23 July 2026 SAT on Thursday, 23 July 2026 Program on Wednesday, 29 July 2026 CAV on Wednesday, 29 July 2026 CAV Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: