Positions:
Program Committees:
-
14th Internation ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
(PPDP 2012)
-
Foundational and Practical Aspects of Resource Analysis
(FOPARA 2011)
-
X Jornadas sobre Programación y Lenguajes
(PROLE 2010)
-
Joint Conference on Declarative Programming
(APPIA-GULP-PRODE 1999)
-
Joint Conference on Declarative Programming
(APPIA-GULP-PRODE 2000)
-
The 19th Workshop on
Logic-based methods in Programming Environments
(WLPE 2009)
Organizing Commitees:
-
12th International Symposium on Trends in Functional Programming
(TFP 2011)
Research visits:
Conference (co-)chair:
-
XI Jornadas sobre Programación y Lenguajes (PROLE'11), Septiembre 2011,
A Coruña (España)
-
The 18th Workshop on
Logic-based methods in Programming Environments (WLPE'08), December 2008,
Udine (Italy)