ELP group Valencia Salvador Lucas 1122022 The ELP

ELP group @ Valencia Salvador Lucas 1/12/2022

The ELP group at Valencia l ELP: Extensions of Logic Programming group, founded in 1987 by María Alpuente. l Current subjects: – Programming Languages (with special focus in Declarative Languages), and – Formal Approaches and Techniques in Software Engineering 1/12/2022

The ELP group at Valencia l People: – 28 researchers – 10 Ph. D at UPV: • • • 1/12/2022 María Alpuente Santiago Escobar César Ferri José Hernandez Marisa Lloréns Salvador Lucas Javier Oliver María José Ramírez Germán Vidal Alicia Villanueva

The ELP group at Valencia l People: – 8 Ph. D students from UPV – Foreign Ph. D students coming from • Argentina (1 Ph. D student) • Mexico (4 Ph. D students) • China (1 Ph. D student) – 4 External members of the group (Ph. D who are members of other Spanish or foreign Universities) 1/12/2022

Recent projects l We joined Co. Log. Net in 2003 l Co-founders of Spa. RCIM, the Spanish division of the European Consortium for Informatics and Mathematics (ERCIM) in 2003 l ICT for EU-India Cross Cultural Dissemination (2004 - 2007 with U. Genova / U. Udine) l Acción Integrada 2004 -2005 (with B. Gramlich, TU Wien) 1/12/2022

Recent projects l Recent national project (SELF 2005 -2007) Software Engineering and Lightweight Formalism with U. Málaga (E. Pimentel), U. Castilla-La Mancha (P. Julián) and U. C. Madrid (R. Peña). 1/12/2022

Publications ACM Computing Surveys ACM TOPLAS Theoretical Informatics and Applic. Information & Computation Information Processing Letters J. of Logic Programming J. of Symbolic Computation Theoretical Computer Science Automated Software Eng. Data & Knowledge Eng. New Generation Computing Theor. And Prac. Of Log. Prog. J. of Logic and Computation Applic. Alg. In Eng. Comm. Comp. J. Intelligent Systems 1/12/2022 ACM Press “ EDP Sciences Elsevier Science “ “ Kluwer North Holland Ohmsa Ltd. Oxford U. Press “ Springer-Verlag John Wiley

Usual venues for the group RTA AMAST LPAR ASIAN ETAPS LOPSTR FLOPS ICML RULE ICLP CADE ICALP ILP WRLA ICFP PADL WRS ACM Press IEEE Press Elsevier IFAC/IFIP Springer LNCS/LNAI ENTCS 1/12/2022 Fo. SSa. CS PPDP CL ESOP ICCL

Recent activities l PC members of AISC’ 06, ESOP’ 06, WRLA’ 06, IFL’ 05, IJCAI’ 05, LOPSTR’ 05, LPAR’ 05, PEPM’ 05, PPDP’ 05, PROLE’ 05, RULE’ 05, WFCLP’ 05, WRS’ 05, WWV’ 05 l Co-edited JSC special issue on Reduction Strategies in Rewriting and Programming (June 2005) l Member of IFIP WG 1. 6 on Term Rewriting l Local editor (for Spain) of ERCIM News l Steering committees: PEPM 1/12/2022

Ongoing work l Joint research with people from – Barcelona: Albert Rubio • Orderings for proving termination of programs – Bristol: Peter Flach • Inductive functional logic programming • Declarative Data Mining – Dusseldorff: Michael Leuschel • Partial evaluation, slicing, and transformation techniques – Kiel: Michael Hanus, Frank Huch • Operational semantics for Curry • Debugging techniques for Curry • Use of natural narrowing in Curry – Málaga: Francisco Durán, M. Mar Gallardo 1/12/2022 • New evaluation commands for Maude • On-demand strategy annotations for Maude • Model checking of tccp programs

Ongoing work l Joint research with people from – Paris: Claude Marché, Xavier Urbain • Termination of Membership Equational Programs – Siena: Moreno Falaschi • Declarative debugging of TRSs • Model checking of tccp programs – Sophia-Antipolis: Julien Forest • Termination of higher-order programs – Udine: Marco Comini, Demis Ballis • Declarative debugging of TRSs • Debugging of WWW sites – Urbana-Champaign: José Meseguer • Termination of Maude programs • Narrowing for Maude – Vienna: Bernhard Gramlich 1/12/2022 • Modularity of termination of programs

Current research framework l SELF summary: – Analysis, Optimization and Coordination of Software Components, including • Termination of software components • Reasoning about Web sites specifications, properties, and their evolution • Complexity, efficiency and implementation of strategic programming • Expressivity of strategic languages • Algebra of modules and components 1/12/2022

Current research framework l SELF summary: – Declarative Techniques for Rule-based Inductive Learning • • 1/12/2022 Integrated framework for declarative learning Synthesis and evaluation of models Declarative data mining Implementation and applications

Current research framework l SELF summary: – Software verification and debugging • • Efficient algorithms for model checking reactive systems Automatic verification of functional programs Program debugging and optimization Use of inductive learning techniques for automatic debugging of programs • Certified software 1/12/2022

Current research framework l SELF summary: – Program Analysis and Transformation • • • 1/12/2022 Fold/unfold Refactoring Partial evaluation and specialization Profiling Cost analysis and estimation Tracing and slicing

Hot research topics l Termination of programs: – – Object-oriented Concurrent Functional-logic l Basic techniques for termination problems – New techniques • Polynomial interpretations over the reals • More general interpretations – Supporting basic techniques • Analysis • Implementation issues l Improving the termination tool MU-TERM 1/12/2022

Hot research topics l Modeling and analyzing the WWW: – Description and modeling languages – Reasoning about the Web: definition of appropriate logic languages l Verification and debugging of Web sites: – Checking Web sites against formal specifications – Automatic correction of Web sites l Certified Web sites 1/12/2022

Hot research topics l Supporting / extending Maude: – Termination of Maude programs (including types, matching facilities, conditional rules, strategies…) – Extensions: on-demand evaluation, narrowing l Termination of Haskell programs l Interoperability of tools (COM, . NET, XML+WWW) 1/12/2022

U. P. Valencia - Report Salvador Lucas 1/12/2022