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

Temur Kutsia Affiliation: RISC Affiliation: Johannes Kepler Universität Affiliation: Research Institute for Symbolic Computation, Johannes Kepler University Affiliation: Research Institute for Symbolic Computation, JKU Talks (LFMTP) Anti-Unification Completeness Analysis in PVS · Unification (UNIF) Quantitative Generalization for Variadic Nominal Terms · Session 2 (UNIF) Session Chair — Session 4 Pages in this Program Program Program on Friday, 24 July 2026 LFMTP on Friday, 24 July 2026 LFMTP Program UNIF on Friday, 24 July 2026 UNIF Program

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