Research activities:
Program committees
Organizing committees
Invited talks and tutorials
Special issues in journals
Editorial Boards
Research projects
Software
Ph.D. Students
I+D Responsibilities
Memberships

Program committees

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 committees

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)

Invited talks, courses and tutorials

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.

Special issues in journals

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


Editorial Boards

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

Research projects

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.

Software

MU-TERM:   A Tool for Proving Termination Properties

DEBUSSY:   A Tool for the Abstract Diagnosis of Functional Programs

OnDemandOBJ:   An implementation of on-demand strategy annotations

Ph.D. Students

Sonia Flores

Rafael Navarro

Former students

Beatriz Alarcón

Santiago Escobar

Raúl Gutiérrez

I+D Responsibilities

Adjunct to the Computer Science and Information Technology area of ANEP (the National Evaluation and Prospect Agency) in the Spanish Ministry of Science and Education (from January 2006 to August 2009)

Memberships

Chair of the steering committee of the International Conference on Rewriting Techniques and Applications, RTA (since September 2011)
Member of the steering committee of the International Conference on Rewriting Techniques and Applications, RTA (since July 2010)
Member of the steering committee of the International School on Rewriting, ISR (since July 2010)
Member of the IFIP Working Group 1.6 on Term Rewriting (since July 2002)

Member of ACM, EAPLS, EASST, and EATCS

Previous memberships

Member of the steering committee of the International Termination Competition (from July 2007 to June 2009)
Member of the steering committee of PROLE (from October 2005 to October 2008)
Member of the executive committee of SpaRCIM (from July 2003 to December 2008)


S. Lucas