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 | 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

Işıl Dillig Talks (FLoC) Trustworthy Neuro-Symbolic Programming with Informal Specifications · Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (CAV) Trustworthy Neuro-Symbolic Programming with Informal Specifications · Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (CSF) Trustworthy Neuro-Symbolic Programming with Informal Specifications · Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (IJCAR) Trustworthy Neuro-Symbolic Programming with Informal Specifications · Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (ITP) Trustworthy Neuro-Symbolic Programming with Informal Specifications · Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications Pages in this Program Program Program on Tuesday, 28 July 2026 FLoC on Tuesday, 28 July 2026 FLoC Program CAV on Tuesday, 28 July 2026 CAV Program CSF on Tuesday, 28 July 2026 CSF Program IJCAR on Tuesday, 28 July 2026 IJCAR Program ITP on Tuesday, 28 July 2026 ITP Program

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