Past Research Activities

• DCPS, April 12, 2016 (San Antonio, Texas).
• DPRTCPS 2015, Dec 1, 2015 (San Antonio, Texas).
• PPDP 2015, July 14-16, 2015 (Siena, Italy).
• VPT 2015, April 11th, 2015 (London, UK).
• LOPSTR 2014, September 9-11, 2014 (Canterbury, UK).
• CICLOPS-WLPE 2014, July 17-18, 2014 (Vienna, Austria).
• ICLP 2014, 19-22 July, 2014 (Vienna, Austria).
• PADL 2014, January 20-21, 2014 (San Diego, CA, USA).
• ICLP 2013, 24-29 August, 2013 (Istanbul, Turkey).
• WFLP 2013, 11-13 September, 2013 (Kiel, Germany).
• LOPSTR 2012, 18-20 September, 2012 (Leuven, Belgium).
• ICLP 2012, September 4-8, 2012 (Budapest, Hungary).
• ICLP 2011, Lexington, Kentucky (USA), July 6-10, 2011
• TFP 2011, Madrid (Spain), 16-18 May, 2011
• PEPM'11, Austin, Texas (USA), Jan 24-25, 2011
• PPDP 2009, Coimbra (Portugal), September 7-9, 2009
• WLPE 2009, Pasadena, California (USA)
• PROLE'09, San Sebastián (Spain), September 9-11, 2009
• WLPE 2008, Udine (Italy), December 2008
• PROLE'08, Gijón (Spain), October 7-10, 2008
• 16th International Workshop on Functional and (Contraint) Logic Programming (WFLP'07), Paris (France), June 25, 2007 (PC member)
• VII Jornadas sobre Programación y Lenguajes (PROLE'07), as part of II Congreso Español de Informática (CEDI'07), Zaragoza (Spain), September 12-14, 2007 (PC member)
• 9th Symposium on Practical Applications of Declarative Languages (PADL'07), Nice (France), January 14-15, 2007 (PC member)
• 15th International Workshop on Functional and (Contraint) Logic Programming (WFLP'06), Madrid (Spain), 16-17 November, 2006 (PC member)   -   Some pictures
• 19th International Workshop on Implementation and Application of Functional Languages (IFL 2006), Budapest (Hungary), 4-6 September, 2006 (PC member)   -   Some pictures    (see also Olaf Chitil's and Ricardo Peña's pictures)
• VI Jornadas sobre Programación y Lenguajes (PROLE 2006), Sitges, Spain (PC member)   -   Some pictures
• 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), co-located with PPDP 2006, ICALP 2006 and CSFW 2006 (PC member)   -   Some pictures
• 22nd International Conference on Logic Programming (ICLP'06), Seattle, Washington, USA, August 17-20, 2006, as part of the Fourth Federated Logic Conference (PC member)
• The European Symposium on Programming (ESOP 2006), Vienna, Austria, March 25 - April 2, 2006, as part of the ETAPS'06 cluster of conferences (PC member)
• 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005), Dublin (Ireland), 19-21 September, 2005 (PC member)
• Workshop on Curry and Functional Logic Programming (WCFLP 2005) (an ACM SIGPLAN sponsored workshop at ICFP 2005), Tallinn (Estonia), September 29, 2005 (PC member)   -   Some pictures
• 7th International Symposium on Principles and Practice of Declarative Programming (PPDP 2005), Lisboa (Portugal), 11-13 July 2005, co-located with ICALP 2005 (PC member)
• V Jornadas sobre Programación y Lenguajes (PROLE 2005), Granada (Spain), as part of the I Congreso Español de Informática (CEDI 2005) (PC member)
• 16th International Workshop on Implementation and Application of Funtional Languages (IFL 2004), Lübeck, (Germany), Sept. 2004 (PC member)
• 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004), co-located with PPDP 2004, PEPM 2004 and SAS 2004 (PC member)
• 13th International Workshop on Functional and Logic Programming (WFLP 2004), held at the Federated Conference on Rewriting, Deduction, and Programming, RDP 2004 (PC member)
• Terceras Jornadas sobre Lenguajes de Programación (PROLE 2003), Alicante, Spain (PC member)
• ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2003), held at the Federated Computing Research Conference, FCRC 2003 (PC member)
• 12th International Workshop on Functional and Logic Programming, WFLP 2003 (PC chair)
• Federated Conference on Rewriting, Deduction and Programming, RDP 2003 (publicity chair)
• Miembro del comité técnico permanente de la Academia Nacional de Ciencias Computacionales (ANaCC) del Sistema Nacional de Institutos Tecnológicos (México), revisor de artículos del CIICC 2002
• International Symposium on Principles and Practice of Declarative Programming, PPDP 2000 (PC member)
• 9th International Workshop on Functional and Logic Programming (WFLP 2000), Benicassim, Spain (organizing committee member)