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

Marcos Mercandeli-Rodrigues Affiliation: Universidade de Brasília PhD Candidate in Mathematics at University of Brasília. Interests: Mathematical Logic, Theory of Computation, and Interactive Theorem Proving. Talks (LFMTP) Anti-Unification Completeness Analysis in PVS · Unification (UNIF) On Completeness of Absorptive Anti-Unification · Session 2 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: