Member of the program committee of the XII Jornadas sobre Programación y Lenguajes, PROLE'12, ,
Almería, Spain, September 17 - 19, 2012

Member of the program committee of the Argentine Symposium on Software Engineering, ASSE'12
(part of the 41th Argentine Conference of Informatics, JAIIO'12 ),
La Plata, Argentina, August 27-31, 2012

Member of the program committee of the Second International Workshop on Strategies in Rewriting, Proving and Programming, IWS'12
(an IJCAR 2012 workshop),
Manchester, UK, July 1, 2012

Member of the program committee of the 9th International Workshop on Rewriting Logic and its Applications, WRLA'12
(part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 ),
Tallinn, Estonia, March 24 - 25, 2012

Member of the program committee of the 6th International Conference on Language and Automata Theory and Applications, LATA'12
A Coruña, Spain, March 5-9, 2012

Member of the program committee of the III Taller de Programación Funcional, TPF'11,
A Coruña, Spain, September 5, 2011

Member of the program committee of the 2nd International Workshop on the K Framework and its Applications, K 2011 ,
Cheile Gradistei, Romania, August 8-12, 2011

Member of the program committee of the 13th International Symposium on Principles and Practice of Declarative Programming, PPDP'11
Odense, Denmark, July 20-22, 2011

Member of the program committee of the 4th International Conference on Algebraic Informatics, CAI'11
Hagenberg, Austria, June 21-24, 2011

Member of the program committee of the 5th International Conference on Language and Automata Theory and Applications, LATA'11
Tarragona, Spain, May 30 to June 3, 2011

Member of the program committee of the 22th International Conference on Rewriting Techniques and Applications, RTA'11,
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2011 ),
Novi Sad, Serbia, May 30 to June 1, 2011

Member of the program committee of the 11th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'11
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2011 ),
Novi Sad, Serbia, May 29, 2011

Member of the program committee of the II Taller de Programación Funcional, TPF'10,
Valencia, Spain, September 7, 2010

Member of the program committee of the First International Workshop on Strategies in Rewriting, Proving and Programming, IWS'10
(part of the Federated Logic Conference, FLoC 2010 ),
Edinburgh, UK, July 9, 2010

Member of the program committee of the 8th International Workshop on Rewriting Logic and its Applications, WRLA'10
(part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2010 ),
Paphos, Cyprus, March 20 - 21, 2010

Member of the program committee of the I Taller de Programación Funcional, TPF'09,
San Sebastián, Spain, September 8, 2009

Member of the program committee of the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'09
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2009),
Brasilia, Brazil, June 28, 2009

Member of the program committee of the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS'08 ,
Bangalore, India, December 9-11, 2008

Member of the program committee of the VIII Jornadas sobre Programación y Lenguajes, PROLE'08,
Gijón, Spain, October 7 - 10, 2008

Member of the program committee of the 9th International Workshop on Rule-Based Programming, RULE'08
(collocated with RTA 2008),
Hagenberg, Austria, July 18, 2008

Member of the program committee of the 7th International Workshop on Rewriting Logic and its Applications, WRLA'08
(part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2008 ),
Budapest, Hungary, March 29 - April 6, 2008

Member of the program committee of the VII Jornadas sobre Programación y Lenguajes, PROLE'07,
Zaragoza, Spain, September, 2007

Member of the program committee of the 18th International Conference on Rewriting Techniques and Applications, RTA'07,
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2007 ),
Paris, France, June 26-28, 2007

Member of the program committee of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'07
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2007 ),
Paris, France, June 25, 2007

Member of the program committee of the VI Jornadas sobre Programación y Lenguajes, PROLE'06,
Barcelona, Spain, October 4-6, 2006

Member of the program committee of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC'06 ,
Beijing, China, September 20-22, 2006

Member of the program committee of the 6th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'06
(part of the 2006 Federated Logic Conference, FLoC 2006 ),
Seattle, USA, August 11, 2006

Member of the program committee of the 6th International Workshop on Rewriting Logic and its Applications, WRLA'06
(part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006 ),
Vienna, Austria, March 25-26, 2006

Member of the program committee of the V Jornadas sobre Programación y Lenguajes, PROLE'05 ,
Granada, Spain, September 14-16, 2005

Member of the program committee of the 6th International Workshop on Rule-Based Programming, RULE'05
(part of the 3rd Federated Conference on Rewriting, Deduction and Programming, RDP 2005 ),
Nara, Japan, April 23, 2005

Member of the program committee of the 5th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'05 ,
(part of the 3rd Federated Conference on Rewriting, Deduction and Programming, RDP 2005 ),
Nara, Japan, April 22, 2005

Chair of the program committee of the Cuartas Jornadas sobre Programación y Lenguajes, PROLE'04
(Málaga, Spain, November 11-12, 2004)

Member of the program committee of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'04
(part of the 2nd Federated Conference on Rewriting, Deduction and Programming, RDP 2004 ,
Aachen, Germany, June 2, 2004

Member of the program committee of the 5th International Workshop on Rewriting Logic and its Applications, WRLA'04
(part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2004 ,
Barcelona, Spain, March 27-28, 2004

Member of the program committee of the 14th International Conference on Rewriting Techniques and Applications, RTA'03,
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2003 ),
Valencia, Spain, June 9-11, 2003

Co-chair of the program committee of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS'03,
(part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2003 ),
Valencia, Spain, June 8, 2003

Member of the program committee of the II Jornadas sobre sobre Programación y Lenguajes PROLE'02,
Madrid, Spain, November 21-23, 2002

Co-chair of the program committee of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS'02,
(part of the 2002 Federated Logic Conference, FLoC 2002 ),
Copenhagen, Denmark, July 21, 2002

Co-chair of the program committee of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS'01,
Utrecht, The Netherlands, May 26, 2001

Member of the program committee of the 2000 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'00,
La Habana, Cuba, December 4-7, 2000

Member of the program committee of the 1999 Conference on Declarative Programming, APPIA-GULP-PRODE'99,
L'Aquila, Italy, September 6-9, 1999

Organizing chair of the 6th International School on Rewriting, ISR 2012
(Valencia, Spain, 16-20 July 2012)

Member of the organizing committe of the 1st Int'l Workshop on Automated Specification and Verification of Web Sites, WWV'05
(Valencia, Spain, March 14-15, 2005)

Chair of the organizing committe of the Federated Conference on Rewriting, Deduction and Programming, RDP'03
(Valencia, Spain, June 8-14, 2003)

Conference chair of the 14th International Conference on Rewriting Techniques and Applications, RTA'03
(Valencia, Spain, June 9-11, 2003)

Member of the organizing committee of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS'03
(Valencia, Spain, June 8, 2003)

Member of the organizing committee of the 9th International Workshop on Functional and Logic Programming, WFLP'00
(Benicassim, Spain, September 28-30, 2000)

Member of the organizing committee of the 1994 Joint Conference on Declarative Programming, GULP-PRODE'94,
(Peñíscola, Spain, September 19-22, 1994)

From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras.
Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, June 15, 2009.

Introduction to Term Rewriting: Techniques and Applications.
Course at the Summer School on Foundations of Information Technologies - FIT 2009, Novi Sad, Serbia, June 17-18, 2009.

Pares de dependencia e interpretaciones polinómicas en la demostración automática de la terminación de programas.
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain, December, 2006.

Context-sensitive rewriting techniques for programs with strategy annotations.
Tutorial at 4th International Workshop on Rewriting Logic and its Applications, WRLA'02. Pisa, Italy, September 19-21, 2002. (Slides: PDF)

Computational restrictions of rewriting in functional programming.
Talk at the 4th workshop of the IFIP Working group 1.6 on Term Rewriting, Copenhagen, Denmark, July 25, 2002. (Slides: PDF)

Context-Sensitive Rewriting in Programming.
AG Theoretische Informatik und Logik, Institut für Computersprachen, TU Wien, June, 2002. (Slides: PDF)

Program Analysis in (Narrowing-Based) Functional Logic Languages.
Seminaire "Sémantique et Interprétation Abstraite". École Normal Supérieure, Paris. June 1999.

Term rewriting with replacement restrictions.
Dipartimento di Matematica e Informatica. Università di Udine. May 1999.

Context-sensitive rewriting.
Lehr- und Forschungsgebiet Informatik II, RWTH Aachen. June 1997.

Reduction Strategies in Rewriting and Programming (special issue)
B. Gramlich and S. Lucas (editors)
© Elsevier
Journal of Symbolic Computation volume 40, issue 1, Elsevier, May 2005.
Available: Summary

Member of the ERCIM News editorial board (from July 2003 to December 2008).

SweetLogics . Ministerio de Educación y Ciencia, TIN 2010-21062-C02, 2011-2013.
(with Albert Rubio, Technical University of Catalonia)

TechnoLogics . Ministerio de Educación y Ciencia, TIN 2007-68093-C02, 2008-2010.
(with Albert Rubio, Technical University of Catalonia)

Doctoral School towards European Knowledge Society (DEUKS), CD_JEP-41099-2006 (RS), 2008-2009.
(coordinated by Marina Lenisa (Università di Udine, Italy) and Silvia Ghilezan (University of Novi-Sad, Serbia))

Analyzing termination of programs: from theory to practice. Acción Integrada Hispano Alemana, HA 2006-0007, 2007-2008.
(with Jürgen Giesl, RWTH Aachen)

FAST: Formal techniques for Applied Software Technology. Generalitat Valenciana, GV06/285, 2006-2007.

LER-Language Engineering and Rigorous Software Development, AML/19.0902/97/0666/II-0472-FA, 2005-2008.
(coordinated by University of Minho)

Programmable Strategies in Functional Programming: Logics and Optimizations. Acción Integrada Hispano Austríaca, HU 2003-0003, 2004-2005.
(with Bernhard Gramlich, TU Wien)

Computational Strategies in Declarative Programming. Acción Integrada Hispano Austríaca, HU 2001-0019, 2002-2003.
(with Bernhard Gramlich, TU Wien)

HADOS: Herramientas Avanzadas para el DesarrollO del Software. Generalitat Valenciana, GV01-424, 2002-2003.