Some Research Pointers

• The 27th International Conference on Logic Programming (ICLP 2011). July 6-10, 2011. Lexington, Kentucky, USA. Program Committee member
• The 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011). January 24-25, 2011. Austin, Texas, USA. Program Committee member
• The Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010). Perpignan, France, 13 September 2010. Associated to SAS 2010. Program Committee member.
• International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2009). Eindhoven, The Netherlands, November 3, 2009. Associated to FM2009. Program Committee member.
• The 9th International School on Foundations of Security Analysis and Design (FOSAD 2009). Bertinoro, Italy 31 August - 5 September 2009. Lecturer.
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09). Coimbra, Portugal, September 9-11 2009. Program Committee member.
• IX Jornadas sobre Programación y Lenguajes (PROLE'09). San Sebastian, Spain, 8 - 11 September 2009. Program Committee member.
• 3rd International Workshop on Proof Carrying Code and Software Certification. August 15 2009. Los Angeles, USA. Program Committee member.
• The The 19th Workshop on Logic-based methods in Programming Environments (WLPE'09) . Pasadena, California, USA, around July 14-17 2009. Program Committee member.
• The ACM SIGPLAN Workshop on Partial Evaluation and Sematics-Based Program Manipulation (PEPM'09). Savannah, Georgia, USA. January 19 - 20 2009, Program Co-Chair, with Germán Vidal. Collocated with POPL'09.
• The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR). Steering Committee member.
• Trustworthy Global Computing 2008 (TGC'08). Barcelona, Spain, November 3-4 2008. Program Committee member.
• VIII Jornadas sobre Programación y Lenguajes (PROLE'08). Gijón, Spain, 7 - 10 October 2008. Program Committee member.
• The XVIII International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08). Valencia, Spain, 17-18 July 2008. Program Committee member.
• The 17th European Symposium on Programming (ESOP'08). A main conference of ETAPS'08. 29 March -6 April 2008 Budapest. Program Committee member.
• The 23rd International Conference on Logic Programming (ICLP'07). Porto, Portugal, 8 - 13 September 2007. Program Committee member.
• VII Jornadas sobre Programación y Lenguajes (PROLE'07). Zaragoza, 12 - 14 de Septiembre de 2007. Program Committee member.
• The 9th International ACM Symposium on Principles and Practice of Declarative Programming (PPDP'07). Wroclaw, Poland, 14 - 16 July 2007. Program Committee member.
• The Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). Nice, France, January 14-15, 2007. Program Committee member.
• The 17'th Workshop on Logic-Based Methods in Programming Environments (WLPE'07). Porto, Portugal, September 13, 2007. Program Committee member.
• The ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM'07). Nice, France, January 15-16, 2007. Program Committee member.
• The XV International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06). Venice, Italy, 12-14 July 2006. Program chair.
• The First International Workshop on Emerging Applications of Abstract Interpretation (EAAI). March 26 2006, Vienna, Austria. Invited speaker.
• The ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM'06). Charleston, South Carolina, January 9-10, 2006. Program Committee member.
• The 12th International Static Analysis Symposium (SAS'05). London, United Kingdom, 7-9 September 2005. Program Committee member.
• The XIV International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05). London, United Kingdom, 7-9 September 2005. Program Committee member. Collocated with SAS'05.
• V Jornadas sobre Programación y Lenguajes (PROLE'05), Granada, September 2005. Program Committee member.
• The 11th International Static Analysis Symposium (SAS04). Verona, Italy. August 26-28 2004. Program Committee member.
• The ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04). Verona, Italy. August 24-25 2004. Program Committee member.
• The Journal of Applied Logic. Member of the Editorial Board.
• The Seventh Functional and Logic Programming Symposium (FLOPS'04). Japan, 5-10 April 2004. Program Committee member.
• The 13th European Symposium on Programming (ESOP'04). A main conference of ETAPS'04 Barcelona, March 27 - April 4, 2004. Program Committee member.
• The International Conference on Logic Programming (ICLP'03). Mumbai, India, 9 - 13 December 2003. Program Committee member.
• The XII International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03). Uppsala, Sweden, 25-27 August 2003. Program Committee member. Part of PLI'03
• The 10th International Static Analysis Symposium (SAS03). San Diego, California, USA. June 11-13 2003. Program Committee member. Part of ACM 2003 FCRC.
• Las Segundas Jornadas de Lenguajes de Programacion (PROLE02), El Escorial, Madrid, 21-23 November 2002. Program Committee member.
• The 9th International Static Analysis Symposium (SAS02). Spain, September 2002. Madrid, 17 - 20 September 2002. Conference Chair and Program Co-Chair.
• The XI International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'02). Madrid, 18 - 20 September 2002. Program Committee member.
• Joint CoLogNet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems. Madrid, Spain, 19-20 September 2002. Member of the organizing Committee.
• The 12th Workshop on Logic Programming Environments. Workshop associated to ICLP02, Jun 29 - Aug 1 2002, Copenhagen, Denmark.
• The 11th Workshop on Logic Programming Environments. Member of the organizing and program committee. Workshop associated to ICLP01, Nov 26 - Dec 1 2001, Paphos, Cyprus.
• Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA01). Program Committee member. Gijón, Spain, 14-16 November 2001.
• Optimization and Implementation of Declarative Programming Languages and their Interaction Program Committee member. Workshop associated to ICLP99, Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
• The 10th Workshop on Logic Programming Environments. Member of the organizing and program committee. Workshop associated to ICLP99, Nov 29 - Dec 4, Las Cruces, New Mexico, USA.
• International Logic Programming Symposium (ILPS'97). Member of the program committee. Port Jefferson, NY, USA, October 1997.
• Tools and Environments for (Constraint) Logic Programming. Workshop coordinator. Associated to (ILPS'97). Port Jefferson, NY, USA, October 1997.
• Programming Language Implementation and Logic Programming (PLILP'94). Member of the organizing committee. Madrid, Spain, September 94.
• European Association for Programming Languages and Systems (EAPLS). Member.
• The Association for Logic Programming (ALP) . Member.

Participation in Research Projects

Ongoing and Upcoming Projects:

• HATS (March 1, 2009 - Feb 28, 2013) [ EU ICT FET Programme. Integrated Project. Grant agreement #231620 ]
  "Highly Adaptable and Trustworthy Software using Formal Methods"
  
• MOBIUS (Sep. 1, 2005 - Aug 31, 2009) [ EU IST FET Programme. Integrated Project IST-15905 ]
  "Mobility, Ubiquity and Security"
  
• PROMESAS (Jan. 2006 - Dec. 2009) [CAM S-0505/TIC/0407]
  "Methods for the development of high-quality, safe, and reliable software"
  (Programa en metodos para el desarrollo de software fiable, de alta calidad y seguro)
• MERIT / COMVERS (Oct. 2005 - Oct. 2008) [MEC TIN2005-09207-C03-01]
  "Resource-Aware, Verifiable Mobile Computing"
  (Computación móvil verificable y consciente de los recursos)

Research Networks, Training Networks, Working Groups:

• CoLogNet (1 Jan 2002 - 31 Jun 2005) [ EU IST Programme Network of Excellence IST-2001-33123]
  "The EU Network of Excellence in Computational Logic"
  
• AGENTLINK (1998 - 2001) [ESPRIT Network of Excellence P 27225]
  "The Agent-Based Computing Network"
• ERCIM Working Group on Constraints
• The School of Computer Science has several current agreements at the institutional level with other European universities for exchanges under the SOCRATES and ATHENS programs.

Completed Projects:

• ASAP (November 1, 2002 - January 31, 2006) [ EU IST FET Programme Project Number IST-2001-38059 ]
  "Advanced Specialization and Analysis for Pervasive Systems"
  In collaboration with the Universities of Bristol (UK), Roskilde (Denmark), and Southampton (UK).
• CUBICO (Dec. 2002 - Dec. 2005) [MCYT TIC 2002-0055]
  "Optimized Compilation Techniques for Pervasive Computation"
  (Computación UBIcua mediante técnicas de Compilación Optimizante).
• AMOS (1 March 2002 - 31 May 2004) [ EU IST Programme Project Number IST-2001-34717 ]
  "Automated Matching of Open Source code"
  (Localización automática de código abierto)
  In collaboration with CONECTA (Italy).
• ADELA (January 2001 - March 2003). [Acción Integrada MCYT HI2000-0043]
  "Advanced Development Environments for Logic Programs".
  (Entornos Avanzados de Desarrollo de Programas Lógicos).
  In collaboration with the Universities of Parma and Pisa (Italy).
• EDIPIA (Dec. 1999 - Dec. 2002) [MCYT TIC 99-1151]
  "An Integrated Program Development Environment based on Abstract Interpretation"
  (Entorno de Desarrollo Integrado de Programas basado en la Interpretación Abstracta).
• POCIMA (Nov. 2000 - May. 2001) [Funded by Motorola]
  "Porting Ciao to Mac OS X"
  (Adaptación de Ciao al sistema operativo Mac OS X).
  
• COMPULOG NET II/III (1994 - 1999) [ESPRIT Network of Excellence P 7230/22554]
  "The Computational Logic Network"
• RadioWeb (Jan. 1998 - Jan. 2000) [ESPRIT EP 25562]
  "Automatic Generation of Web Sites for the Radio Broadcasting Industry"
• ELLA (Jun. 1996 - Jun. 1999) [CICYT TIC 96-1012-C02-01]
  "Extensions to Logic Languages for Advanced Applications"
• ECCOSIC (Mar. 1998 - Mar. 1999) [Fulbright U.S.-Spain Science and Technology Exchange Program]
  "Efficient Concurrent Constraint Framework for Symbolic and Internet/WWW Computing"
• DiSCiPl (Nov. 1996 - Jun. 1999) [ESPRIT LTR 22532]
  "Debugging Systems for Constraint Programming"
• ParForce (Aug. 1992 - Jan. 1996) [ESPRIT BR 6707 / TIC93-0976-CE]
  "Parallel Formal Computing Environment"
• IPL-D (Jun. 1993 - Jun. 1996) [CICYT TIC 93-0737-C02-01]
  "Parallel Implementation of Declarative Languages"
• ACCLAIM (Sep. 1992 - Aug. 1995) [ESPRIT BR 7195 / TIC93-0975-CE]
  "Advanced Concurrent Constraint Languages: Application, Implementation, and Methodology"

Universities where I have stayed:

• University of Roskilde, Department of Communication, Journalism and Computer Science, John Gallagher
• University of New Mexico, Department of Computer Science, Deepak Kapur
• University of Melbourne & Monash University. Peter Stuckey & M. García de la Banda
• École Normale Supérieure (Paris), Laboratoire d'Informatique, Patrick Cousot.
• Liköpings Universitet, Institutionen för datavetenskap, Jan Maluszynski
• University of Bristol, Department of Computer Science, John Gallagher

Seminars at Other Universities

• Abstraction Carrying Code. Copenhagen Programming Language Seminar. 11 November 2004.
• Abstraction Carrying Code. Datalogi Research Seminars. University of Roskilde. 21 October 2004.
• Abstract Specialization and its Applications. Computer Science Colloquia, University of New Mexico. 14 October 2003.
• CiaoPP: A Tool for Debugging and Optimization Based on Global Analysis. Computer Science Seminar, University of Parma. 28 February, 2002.
• Advanced Debugging, Optimization, and Analysis Techniques in Ciaopp: The Ciao System Preprocessor. Seminar of the Theoretical Computer Science Group. Department of Computer Science. University of Kent at Canterbury. 20 March 2000.
• An Introduction to Logic Programming. Universidad Rey Juan Carlos. 29 January 1998.
• Incremental Analysis, Abstract Multiple Specialization, and its Application to Logic Program Parallelization. Université de Versailles Saint-Quentin. 16 December 1997.
• Programming with Global Analysis. Seminar on Logic Languages, Constraints, and Optimization. Département de Mathématiques et d'Informatique, École Normale Supérieure, Paris. 25 November 1997.
• Advanced Compilation Techniques for Logic Programs based on Abstract Interpretation and Program Transformation. Seminar on Semantics and Abstract Interpretation. Département de Mathématiques et d'Informatique, École Normale Supérieure, Paris. 7 November 1997.
• Optimized Algorithms for Incremental Analysis of Logic Programs. Seminar on Declarative Systems. Dept. of Computer Science, University of Bristol. 19 Sep 1996.
• Implementation of Multiple Specialization in Logic Programs. Seminar on Logic Programming. Dept. of Computer Science, University of Bristol. 17 Feb 1995.