Chair of the program committee of the
16th International Workshop on Termination, WST 2018
(part of the
Federated Logic Conference, FLoC 2018),
Oxford, UK, July, 18-19, 2018
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
15th International
Workshop on Rewriting Logic and its Applications, WRLA 2024,
Luxembourg (Luxembourg), April 6-7, 2024, part of
ETAPS 2024
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022,
Haifa (Israel), August 2-5, 2022, part of FLoC 2022
14th International
Workshop on Rewriting Logic and its Applications, WRLA 2022,
Munich (Germany), April 2-3 2022, part of
ETAPS 2022
17th International Workshop on Termination, WST 2020
Pittsburgh, PA, United States, July 16, 2021.
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019,
Dortmund, Germany, June 24-30, 2019.
28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018,
Frankfurt am Main, Germany, September 4-6, 2018
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
12th International Conference on Language and Automata Theory and Applications, LATA 2018,
Ramat Gan, Israel, April 8-12, 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
XXIII Jornadas sobre Programación y Lenguajes, PROLE 2024,
XXII Jornadas sobre Programación y Lenguajes, PROLE 2023,
(part of
Jornadas SISTEDES 2023 )
Ciudad Real, Spain, September 12-14, 2023
XXI Jornadas sobre Programación y Lenguajes, PROLE 2022,
(part of
Jornadas SISTEDES 2022 )
Santiago de Compostela, Spain, September 7-9, 2022
XIX Jornadas sobre Programación y Lenguajes, PROLE 2019
(part of
Jornadas SISTEDES 2019),
Cáceres, Spain, September 2-6, 2019
XVIII Jornadas sobre Programación y Lenguajes, PROLE 2018
(part of
Jornadas SISTEDES 2018),
Sevilla, Spain, September 17-19, 2018
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
Chair of Program Commitees (International Conferences and Workshops)
Member of Program Commitees (International Conferences and Workshops)
Member of Program Commitees (National Conferences and Workshops)
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 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)
Books
Also available: Amazon
La máquina que cambió el mundo. Génesis, desarrollo y evolución del ordenador. ISBN 978-84-669-3636-1 (printed) and 978-84-669-3637-8 (electronic). Ediciones Complutense, June 17, 2019.
Reviews (in Spanish): Investigación y Ciencia 521:93-94, February 2020.
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
Program Termination: what, how, and when. Invited talk
at the
School of Informatics
of the Universidad del País Vasco (EHU-UPV), San Sebastián,
December 14, 2018.
Dedicated to the memory of Zohar Manna, on the occasion of the 50th anniversary of his PhD thesis "Termination of algorithms", the first PhD thesis devoted to termination.
(Slides)
Use of Logical Models for Proving Operational Termination in General Models. Invited talk at the Séminaire du Laboratoire d'Informatique et de Mathématiques, Université de La Réunion, St. Denis, La Réunion, December 8, 2017. (Slides)
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
InfChecker: Infeasibility Checker for Conditional Rewrite Systems
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
Awards
LOPSTR 2018 best paper award to Proving Program Properties as First-Order Satisfiability
R+D Responsibilities
Member of
the steering committee of
PROLE (October 2005 - October 2008 ; since September 2017)
Secretary of the Spanish Society of Sofware Engineering and Software Development Technologies, SISTEDES (from September 2014 to September 2018)
Member of the steering committee of the International School on Rewriting, ISR (from July 2010 to July 2018)
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 executive committee of
SpaRCIM (from July 2003 to December 2008)
Memberships
Member of the IFIP Working Group 1.6 on Rewriting (since July 2002)
