Jose F. Morales
Jose F. Morales
Affiliation: UPM, IMDEA
Affiliation: Instituto IMDEA Software & UPM
Talks
(ICLP)
Towards Relating Ciao Assertions and LPTP Theorems · Block 6 (8 TC)
(ICLP)
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks · Block 8 (2 TPLP)
(ICLP)
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming · Block 9 (8 TC)
Pages in this Program
Program
Program on Tuesday, 21 July 2026
ICLP on Tuesday, 21 July 2026
ICLP Program
Program on Wednesday, 22 July 2026
ICLP on Wednesday, 22 July 2026
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑