• Advanced Compilation Techniques: Abstract Interpretation, Partial Evaluation, Program Specialization, Automatic Parallelization
• High-Performance and Distributed Computing: Parallelism, Concurrency, Scalable Architectures
• Declarative Programming: Logic Programming, Constraint Logic Programming, Concurrent Logic Programming, Functional Programming, Functional/Logic Programming
• Advanced Programming environments: Abstract Debugging, Program Execution Visualization

Some Other (Recent) Activities and Related Pointers:

• I have an invited talk at Europar 2004 (European Symposium on Parallelism, Aug. 31-Sept. 3, Pisa, Italy) on "Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System".
• My position slides for the ISTAG Working Group on Grand Challenges for IST.
• I gave an invited talk at SAS'03 (International Static Analysis Symposium, June 11-13, 2003, San Diego, California, part of the ACM 2003 Federated Computing Research Conference) on Program Development Using Abstract Interpretation (and The Ciao System Preprocessor).
• Invited talk (with Germán Puebla) at PEPM'03 (ACM Partial Evaluation and Semantics based Program Manipulation, June 11-13, 2003, San Diego, California, part of the ACM 2003 Federated Computing Research Conference) on Abstract Specialization and its Applications.
• My position slides at the ICLP'03 panel on teaching (C)LP.
• Slides for my introductory speech at the ICLP'03 panel on the next generation (C)LP language.
• Presentation of the UPM groups which are part of the Spanish official application to join ERCIM during the official application meeting (pdf slides, pdf printable version).
• Recent talk at the Spanish Senate on the issue of software patents (slides in Spanish, 2 per page, more information in ProInnova). See also the petition to the European Parlament on the issue of SW patents.
• Recent talk on the US degree system in view of the Bologna process (slides in Spanish, printing version).
• I recently gave an invited talk at the Danish EU Presidency sponsored conference on the convenience of creating a European Research Council. These are the slides I used (and a version for printing).
• We organized SAS 2002 in Madrid, and also hosting LOPSTR and AGP 2002.
• I gave an invited talk at ICALP 2002 on Program Debugging and Validation Using Semantic Approximations and Partial Specifications, illustrated using CiaoPP, the Ciao System preprocessor.
• I gave an invited talk at the ERCIM Working Group on Constraints and the CoLogNet Area on Constraint and Logic Programming Joint Workshop of the on Constraint Solving and Constraint Logic Programming
• Please consider submitting a paper to PPDP 2002 (PC member)
• I recently gave an invited talk at LPAR 2001 on Ciao, a next-generation, Multiparadigm (Constraint) Logic Programming System.
• Remember to attend SAS 2001 (PC member).
• Remember to attend ICLP/CP/LOPSTR 2001 (PC member)
• POPL 2000 Deadline July 17, 2000 (PC member)
• See our invited tutorial on the Ciao system at CL2000.
• Constructive Methods for Parallel Programming, CMPP 2000 (PC Member / Invited talk).
• 15th Workshop on Logic Programming and Constraint Systems (Co-located with ECAI2000).
• CP2000 WS on Analysis and Visualization of Constraint Programs and Solvers (Organizer/PC member)
• We gave an Invited talk on the CiaoPP system at ICLP99.
• 4th Fuji International Symposium on Functional and Logic Programming.
• HPCA5 Workshop on Parallel Computing for Irregular Applications.
• Recent tutorial on "Programming with Global Analysis" at the 1997 International Logic Programming Symposium
• Recent invited talk on "Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming" at EUROPAR'97 (paper.ps.gz, slides.ps.gz)
• Recent tutorial on "WWW Programming and Computational Logic Systems" at the 1997 International Conference on Logic Programming
• My position statements in the areas of constraints and parallelism for the ACM Workshop on Strategic Directions in Computing Research (MIT, June 14-15 1996).
• I coordinate the "Parallelism and Implementation Technologies Area" of the ESPRIT network of excellence in Computational Logic "COMPULOG-NET",
• I am Associate Editor of ACM Transactions on Programming Languages and Systems.
• I am the editor for the Implementation and Architecture area of Theory and Practice of Logic Programming. TPLP takes over the role as official journal of the Association for Logic Programming (formerly this role was played by the now extinct Journal of Logic Programming; see the reasons for this change).
• I am Associate Editor of The Journal of New Generation Computing.
• I am currently a member of the European Association for Programming Languages and Systems board. I have also been a member of Association for Logic Programming executive committee.
• I have also coordinated the ESPRIT Project "ParForCE" and I am the principal investigator at UPM for several other past and current research projects in the CLIP group.
• I gave a series of lectures in the distinguished visitor program of New Mexico State University.
• I taught at the European Summer School on Logic, Languages, and Computation ESSLLI'96. These are my course slides (postscript, 2 slides per page, postscript, 4 slides per page).
• I am a member of ACM ( SIGPLAN/ SIGARCH/ SIGART), IEEE (Computer Society), ALP, and EAPLS.