Research in applied science leads to reforms, research in pure science leads to revolutions (Sir J.J. Thomson)

Chair of Program Commitees (International Conferences and Workshops)

Chair of the program committee of the 16th International Workshop on Termination, WST 2018, (expected date: mid July, 2018; more details coming soon)

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

Co-chair of the program committee of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, (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 2001, Utrecht, The Netherlands, May 26, 2001

Member of Program Commitees (International Conferences and Workshops)

12th International Workshop on Rewriting Logic and its Applications, WRLA 2018 (part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018), Thessaloniki, Greece, April 14-15, 2018

15th International Workshop on Termination, WST 2016 (part of Computation Logic in the Alps, CLA 2016), Obergurgl, Austria, September 5-9, 2016

11th International Workshop on Rewriting Logic and its Applications, WRLA 2016 (part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016), Eindhoven, The Netherlands, April 2 - 3, 2016

26th International Conference on Rewriting Techniques and Applications, RTA 2015, (part of the Federated Conference on Rewriting, Deduction and Programming, RDP 2015), Warsaw, Poland, June 29 to July 1, 2015

9th International Conference on Language and Automata Theory and Applications, LATA 2015, Nice, France, March 2-6, 2015

Second International Workshop on Strategies in Rewriting, Proving and Programming, IWS 2012 (an IJCAR 2012 workshop), Manchester, UK, July 1, 2012

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

6th International Conference on Language and Automata Theory and Applications, LATA 2012, A Coruña, Spain, March 5-9, 2012

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

13th International Symposium on Principles and Practice of Declarative Programming, PPDP 2011 Odense, Denmark, July 20-22, 2011

4th International Conference on Algebraic Informatics, CAI 2011, Hagenberg, Austria, June 21-24, 2011

5th International Conference on Language and Automata Theory and Applications, LATA 2011, Tarragona, Spain, May 30 to June 3, 2011

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

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

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

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

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

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

9th International Workshop on Rule-Based Programming, RULE 2008 (collocated with RTA 2008), Hagenberg, Austria, July 18, 2008

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

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

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

8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006 , Beijing, China, September 20-22, 2006

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

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

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

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

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

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

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

Member of Program Commitees (National Conferences and Workshops)

XVII Jornadas sobre Programación y Lenguajes, PROLE 2017 (part of Jornadas SISTEDES 2017), Tenerife, Spain, July 19-21, 2017

XVI Jornadas sobre Programación y Lenguajes, PROLE 2016 (part of Congreso Español de Informática, CEDI 2016), Salamanca, Spain, September 14-16, 2016

XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, September 15 - 17, 2015

XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cádiz, Spain, September 16 - 19, 2014

V Taller de Programación Funcional, TPF 2013, Madrid, Spain, September 17, 2013

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

XII Jornadas sobre Programación y Lenguajes, PROLE 2012, Almería, Spain, September 17 - 19, 2012

III Taller de Programación Funcional, TPF 2011, A Coruña, Spain, September 5, 2011

II Taller de Programación Funcional, TPF 2010, Valencia, Spain, September 7, 2010

I Taller de Programación Funcional, TPF 2009, San Sebastián, Spain, September 8, 2009.

VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, Gijón, Spain, October 7 - 10, 2008

VII Jornadas sobre Programación y Lenguajes, PROLE 2007, Zaragoza, Spain, September, 2007

VI Jornadas sobre Programación y Lenguajes, PROLE 2006, Barcelona, Spain, October 4-6, 2006

V Jornadas sobre Programación y Lenguajes, PROLE 2005 , Granada, Spain, September 14-16, 2005

Program chair of the Cuartas Jornadas sobre Programación y Lenguajes, PROLE 2004 (Málaga, Spain, November 11-12, 2004)

II Jornadas sobre sobre Programación y Lenguajes PROLE 2002, Madrid, Spain, November 21-23, 2002

2000 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 2000, La Habana, Cuba, December 4-7, 2000

1999 Conference on Declarative Programming, APPIA-GULP-PRODE 1999, 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 2005 (Valencia, Spain, March 14-15, 2005)

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

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

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

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

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

Scientific magazines

El problema matemático que dio pie al nacimiento de los ordenadores. Canal Extremadura Radio: Principio de Incertidumbre September 17, 2016

Lo que Church y Turing ya sabían sobre mi portátil. Investigación y Ciencia 479:14-16, August 2016. (Investigación y Ciencia is the Spanish edition of Scientific American)

La informática cumple 80 años. En Crónicas del Intangible, El País Digital, May 23, 2016. (Crónicas del Intangible is coordinated by SISTEDES)

Courses and Tutorials

Use of Logical Models for Proving Operational Termination in General Models. Tutorial at the XVII Jornadas sobre Programación y Lenguages, PROLE 2017 San Cristóbal de La Laguna, Tenerife, Spain, July 21, 2017. (Slides)

Some Applications of Context-Sensitive Rewriting. Tutorial at the XVII Jornadas sobre Programación y Lenguages, PROLE 2017 San Cristóbal de La Laguna, Tenerife, Spain, July 20, 2017. (Slides)

Program termination: from well-founded orderings to logical models and back. Tutorial at the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016 (part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016), Eindhoven, The Netherlands, April 2 - 3, 2016. (Slides)

A Semantics-Directed Approach to Program Termination. Tutorial at the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI 2015. Portland, OR, USA, June 13, 2015. (Slides)

Termination of rewriting: proof and implementation. Tutorial at the Formal Methods and Declarative Languages Laboratory at the Computer Science Department of the University of Illinois at Urbana-Champaign, October 2013.

Termination of rewriting: theory and methods. Tutorial at the Formal Methods and Declarative Languages Laboratory at the Computer Science Department of the University of Illinois at Urbana-Champaign, September 2013.

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.

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

Invited talks - Conferences and workshops

From Logic to Computers. From Programs to Logic. Keynote conference at the 6th Iberian Mathematical Meeting, IMM 2016, October 6-8, 2016. (Abstract, Slides)

Matrix interpretations over the rationals and matrix interpretations over the naturals. Talk at the 12th workshop of the IFIP Working group 1.6 on Term Rewriting, Edinburgh, UK, July 2010.

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)

Invited talks - Institutional

The Soul of Computer Science. Invited talk at the School of Informatics of the Universidad Complutense de Madrid October 26, 2016. (Abstract, Slides)

Context-sensitive rewriting. Invited talk at the Formal Systems Laboratory at the Computer Science Department of the University of Illinois at Urbana-Champaign, May 2014.

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

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

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

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

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

Context-sensitive rewriting. Invited talk at the Lehr- und Forschungsgebiet Informatik II, RWTH Aachen. June 1997.

Special issues in journals

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

Editorial Boards

Member of the Editorial Board of the Journal of Computer and System Sciences (since July 2014).

Member of the Editorial Board of ERCIM News (from July 2003 to December 2008).

Software

MU-TERM:   Verify termination properties automatically

AGES:   Automatic GEneration of order-sorted first-order logical modelS

MultiSolver is a prototype of symbolic constraint solving system developed from the original constraint-solving subsystem of the termination tool mu-term. MultiSolver integrates multiple solvers coming from several approaches.

TRS Tool is a teaching-oriented tool that can be used to learn the basic notions and concepts of term rewriting.

DEBUSSY:   A Tool for the Abstract Diagnosis of Functional Programs

OnDemandOBJ:   An implementation of on-demand strategy annotations

R+D Responsibilities

Secretary of the Spanish Society of Sofware Engineering and Software Development Technologies, SISTEDES (since September 2014)

Member of the steering committee of the International School on Rewriting, ISR (since July 2010)

Independent Expert of the Future and Emerging Technologies (FET) Open Xtrack call of the European Commission (from February 2013 to February 2014)

Chair of the steering committee of the International Conference on Rewriting Techniques and Applications, RTA (from September 2011 to July 2012)

Member of the steering committee of the International Conference on Rewriting Techniques and Applications, RTA (from July 2010 to July 2013)

Member of the steering committee of the International Termination Competition (from July 2007 to June 2009)

Independent Expert of the Future and Emerging Technologies (FET) call of the European Commission (from February 2008 to May 2011)

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)

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)

Memberships

Member of the IFIP Working Group 1.6 on Term Rewriting (since July 2002)

Member of AAR, ACM, ALP, EAPLS, EASST, EATCS, and SISTEDES