---

Scientific Activities

Classified by:

Committees

Organization

Research Visits

Invited talks

PhD students

PhD Committees

2012

• Co-chair - The International Workshop on Unification (UNIF 2012), Manchester, UK.
• PC member - 9th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2012), March 24th-25th, 2012, Tallinn, Estonia

2011

• PC member - 2nd International Workshop on the K Framework and its Applications (K 2011) August 8-12, 2011, Cheile Gradistei, Romania.
• Chair - 10th Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011) at Novi Sad, Serbia.
• PC member - 7th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2011) in Reykjavik, Iceland, June 9, 2011.
• PC member - 20th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), Odense, Denmark, July 19, 2011.
  Co-located with PPDP 2011 and LOPSTR 2011.

2010

• PC member - X Jornadas sobre Programación y Lenguajes (PROLE 2010) at Valencia, Spain
• PC member - 6th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2010) in Vienna, Austria, 2010
• PC member - 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, July 23-25
• PC member - 19th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), Madrid, Spain, January 17 co-located POPL 2010
• PC member - 21th Int'l Conference on Rewriting Techniques and Applications (RTA 2010) Edinburgh, 11-13 July
• PC member - 8th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2010), Paphos, Cyprus, March 20-21
• PC member - 5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010

2009

• PC member - The International Workshop on Unification (UNIF 2009), Montreal, Canada.
• PC member - 4th Int'l Workshop on Security and Rewriting Techniques (SecReT'09) at Port Jefferson, New York, USA, co-located CSF-22
• PC member - IX Jornadas sobre Programación y Lenguajes (PROLE 2009) at San Sebastián, Spain
• PC member - 14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) at Eindhoven (NL), November 2-3, 2009 (colocated with FM 2009)
• Chair - 18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009) at Brasilia, Brasil, 2009.
• PC member - 5th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'09) at Hagenberg, Austria, July 10, 2009
• PC member - 9th Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009) at Brasilia, Brasil, 2009.
• PC member - 20th Int'l Conference on Rewriting Techniques and Applications (RTA 2009) at Brasilia, Brasil, 2009.

2008

• Co-chair - 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) at Siena, Italy, July 4, 2008
• Co-chair - 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT'08) at CMU, Pittsburgh (USA), (co-located with LICS'08 and CSF'08), June 22, 2008

2007

• Co-chair - 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) at San Servolo island, Venice, (Italy), December 14, 2007
• PC Member - 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'07) at Paris (France), 25 June, 2007

2006

• PC Member - 2nd Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) at Paphos (Cyprus), 15-19 November, 2006
• PC Member - 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06) at Madrid (Spain), 16-17 November, 2006
• PC Member - 2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06) at Cyprus 15-19 November, 2006
• PC Member - 6th Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS'06) at Seattle (USA), August 11, 2006

2005

• PC Member - 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) at Valencia (Spain), March 2005

• Workshop Chair of 5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010
• Workshop Chair of 2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06) at Cyprus, November 2006
• Workshop Chair of 2nd Annual Conference of the ICT for EU-India Cross Cultural Dissemination Project (EU-INDIA'05) at Valencia (Spain), November 2005
• Workshop Chair of 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) at Valencia (Spain), March 2005
• Organizing Committee Member of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming, WFLP'03, Valencia (Spain), 12-13 June 2003
• Organizing Committee Member of the Federated Conference on Rewriting, Deduction and Programming, RDP'03, Valencia (Spain), 8-14 June 2003
• Organizing Committee Member of the 10th Int'l Workshop on Functional Logic Programming, WFLP'00 July 2000

• October 2009. Catherine Meadows, Naval Research Laboratory, Washington DC, USA.
• April-August 2009. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• August-September 2008. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• June 2008. Catherine Meadows, Naval Research Laboratory, Washington DC, USA.
• September 2007. Catherine Meadows, Naval Research Laboratory, Washington DC, USA.
• April-September 2007. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• April-August 2006. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• August 2006. Mark Oliver-Stehr, Stanford Research Institute.
• March 2006. David Basin, Department of Computer Science of ETH Zurich, Zurich, Switzerland.
• March 2006. Hubert Comon, Laboratoire Spécification et Vérification of École Normale Supérieure de Cachan, Cachan, France.
• November 2005. Catherine Meadows, Naval Research Laboratory, Washington DC, USA.
• October 2005. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• July 2005. Catherine Meadows, Naval Research Laboratory, Washington DC, USA.
• April-August 2005. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• February 2005. B.G. Sidharth, Birla Science Center , Hyderabad, India.
• March-August 2004. José Meseguer, Department of Computer Science of University of Illinois at Urbana-Champaign, Urbana, USA.
• February 2004. Bernhard Gramlich, Institut für Computersprachen of Technische Universität Wien, Viena, Austria.
• October 2003. Francisco Durán, Dpto. Lenguajes y Ciencias de la Computación of Universidad de Málaga, Málaga, Spain.
• July 2003. Michael Hanus, Institute of Computer Science and Applied Mathematics of Christian-Albrechts-Universität zu Kiel, Germany.
• July 2002. Moreno Falaschi, Dipartimento di Matematica e Informatica of Università di Udine, Udine, Italy.
• June 2002 Bernhard Gramlich, Institut für Computersprachen of Technische Universität Wien, Wien, Austria.
• October 2001 - January 2002. Rachid Echahed, Laboratoire Leibniz of Institut IMAG, Grenoble, France.
• April-August 2000. Michael Hanus, Institute of Computer Science and Applied Mathematics of Christian-Albrechts-Universität zu Kiel, Kiel, Germany.
• September 1999. Michael Hanus, Lehrstuhl für Informatik II of RWTH, Aachen, Germany.

• January 2010. Progress Report on the Maude-NPA , Protocol eXchange Seminar.
• November 2009. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties, Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga, Spain
• November 2009. Unification and Narrowing in Maude, Department of Computer Science, University of Leicester, UK
• November 2009. Verification and Certification using rewriting logic, Formal Methods for Components and Objects (FMCO'09), Eindhoven, Netherlands
• October 2009. Homomorphic Encryption in Maude-NPA, Protocol eXchange Seminar.
• February 2009. Verification and Certification using rewriting logic, ifm Workshop on Formal Methods and SOA (FMSOA'09), Düsseldorf, Alemania.
• January 2009. Variant Narrowing and Equational Unification, Protocol eXchange Seminar.
• October 2007. Applications of Narrowing and Rewriting Logic, Facultad de Informática, Universidad Coomplutense de Madrid.
• September 2007. Applications of Narrowing and Rewriting Logic, Department of Computer Science, University of Illinois at Urbana-Champaign.
• September 2007. Symbolic Model Checking of Infinite-State Systems Using Narrowing, Department of Computer Science, University of Illinois at Urbana-Champaign.
• May 2007. Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer, Protocol eXchange Seminar.
• August 2006. A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties, Stanford Research Institute, Menlo Park, CA,
• A Rewriting-Based Inference System for the NRL Protocol Analyzer, 22th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXII), Genova, Italy, May 24-27, 2006
• March 2006. A Rewriting-Based Inference System for the NRL Protocol Analyzer, ETH Zurich,
• March 2006. A Rewriting-Based Inference System for the NRL Protocol Analyzer, Laboratoire Spécification et Vérification.
• October 2005. A Rewriting-Based Inference System for the NRL Protocol Analyzer, University of Illinois at Urbana-Champaign.
• June 2005. Current Work on the NRL Protocol Tool, Protocol eXchange Seminar.
• May 2005. Abstract Diagnosis of Functional Programs, University of Illinois at Urbana-Champaign.
• April 2005. Natural Narrowing for General Term Rewriting Systems, University of Illinois at Urbana-Champaign.
• September 2004. Natural rewriting and narrowing for general term rewriting systems, 2nd Workshop on Coq and Rewriting.
• July 2003. Abstract Diagnosis of Functional Programs, Institute of Computer Science and Applied Mathematics.
• June 2002. Redundancy of Arguments Reduced to Induction, Institut für Computersprachen.
• October 2001. Redundant Analyses in Term Rewriting, Laboratoire Leibniz.

• Sonia Santiago

• José Iborra (co-supervised with María Alpuente) Link PDF
• Mauricio Alba-Castro (co-supervised with María Alpuente) Link