Research Events

• The International Termiantion Competition, (Chair of the Steering Comittee).
  Edinburgh, UK, July.
  As part of the Federated Logic Conference (FLoC 2010).
  

• The 5th International Joint Conference on Automated Reasoning (IJCAR), (Program Comittee Member).
  Edinburgh, UK, July 16-19.
  As part of the Federated Logic Conference (FLoC 2010).
  

• The 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), (Program Comittee Member).
  Hagenberg, Austria, July 26-28.
  

• The 11th International Workshop on Termination (WST), (Program Comittee Member).
  Edinburgh, UK, July 14-15.
  As part of the Federated Logic Conference (FLoC 2010).
  

• The 1st International Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (EMSQMS), (Program Comittee Member).
  Edinburgh, UK, July 20.
  As part of the Federated Logic Conference (FLoC 2010).
  

• The International Termiantion Competition , (Chair of the Steering Comittee).
  

2008

• The 4th International Joint Conference on Automated Reasoning (IJCAR), (Program Comittee Member).
  Sydney, Australia, August 10-15.
  
• Las VIII Jornadas sobre Programación y Lenguajes (PROLE 2008). (Program Comittee Member).
  Gijon, Spain, October 7-10.
  

2007

• The 14th International Conference onLogic for Programming Artificial Intelligence and Reasoning (LPAR). (Program Comittee Member).
  Yerevan, Armenia, October 15-19.
  
• The 8th International Workshop on First-Order Theorem Proving (FTP), (Program Comittee Member).
  Liverpool, UK, September 12-13.
  
• Las VII Jornadas sobre Programación y Lenguajes (PROLE 2007). (Program Comittee Member).
  Zaragoza, Spain, September 12-14.
  As part of the II Congreso Español de Informática (CEDI 2007), September 12-14.
  
• The 4th International Workshop on Higher-Order Rewriting (HOR 2007). (Program Comittee Member).
  Paris, France, June 25, 2007
  As part of the Federated Conference on Rewriting, Deduction and Programming (RDP'07), June 25-29.
  This year, HOR enjoys additionally the status of a "small workshop" of the TYPES project

2004

• The Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004) . (Program Comittee Member).
  Turku, Finland, July 14-17. Co-located with ICALP 2004.
• The Internatinal Conference on Foundations of Software Science and Computation Structures (FOSSACS'04). (Program Comittee Member).
  Barcelon, Spain, March 29 - April 2.
  As part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2004), March 27 - April 4.

2003

• The 19th International Conference on Automated Deduction (CADE-19). (Program Comittee Member).
  Miami, Florida, USA, July 28 - August 2.
• The 6th International Workshop on Termination (WST'03). (Program Chair).
  Valencia, Spain.
  As part of the Federated Conference on Rewriting, Deduction and Programming (RDP'03), June 8-14.
• The 4th International Workshop on First-Order Theorem Proving (FTP), (Program Comittee Member). Valencia, Spain, June 12-14.
  As part of the Federated Conference on Rewriting, Deduction and Programming (RDP'03), June 8-14.

2002

• The 14th International Conference on Rewriting Techniques and Applications (RTA 2002). (Program Comittee Member).
  Copenhagen, Denmark, July 22-24.
  As part of the Third Federated Logic Conference (FLoC'02).

2001

• The Fifth International Workshop on Termination (WST'01). (Program Comittee Member).
  Utrecht, The Netherlands. May 20-21.

2000

• The 12th International Conference on Rewriting Techniques and Applications (RTA 2000). (Program Comittee Member).
  University of East Anglia, Norwich, U.K.